ZLaws

zio.test.laws.ZLaws
See theZLaws companion class
object ZLaws

Attributes

Companion
class
Source
ZLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ZLaws.type

Members list

Type members

Classlikes

abstract class Law1[-Caps[_]](label: String) extends ZLaws[Caps, Any]

Constructs a law from a pure function taking a single parameter.

Constructs a law from a pure function taking a single parameter.

Attributes

Source
ZLaws.scala
Supertypes
class ZLaws[Caps, Any]
class Object
trait Matchable
class Any
Self type
Law1[Caps]
abstract class Law1ZIO[-Caps[_], -R](label: String) extends ZLaws[Caps, R]

Constructs a law from an effectual function taking a single parameter.

Constructs a law from an effectual function taking a single parameter.

Attributes

Source
ZLaws.scala
Supertypes
class ZLaws[Caps, R]
class Object
trait Matchable
class Any
Self type
Law1ZIO[Caps, R]
abstract class Law2[-Caps[_]](label: String) extends ZLaws[Caps, Any]

Constructs a law from a pure function taking two parameters.

Constructs a law from a pure function taking two parameters.

Attributes

Source
ZLaws.scala
Supertypes
class ZLaws[Caps, Any]
class Object
trait Matchable
class Any
Self type
Law2[Caps]
abstract class Law2ZIO[-Caps[_], -R](label: String) extends ZLaws[Caps, R]

Constructs a law from an effectual function taking two parameters.

Constructs a law from an effectual function taking two parameters.

Attributes

Source
ZLaws.scala
Supertypes
class ZLaws[Caps, R]
class Object
trait Matchable
class Any
Self type
Law2ZIO[Caps, R]
abstract class Law3[-Caps[_]](label: String) extends ZLaws[Caps, Any]

Constructs a law from a pure function taking three parameters.

Constructs a law from a pure function taking three parameters.

Attributes

Source
ZLaws.scala
Supertypes
class ZLaws[Caps, Any]
class Object
trait Matchable
class Any
Self type
Law3[Caps]
abstract class Law3ZIO[-Caps[_], -R](label: String) extends ZLaws[Caps, R]

Constructs a law from an effectual function taking three parameters.

Constructs a law from an effectual function taking three parameters.

Attributes

Source
ZLaws.scala
Supertypes
class ZLaws[Caps, R]
class Object
trait Matchable
class Any
Self type
Law3ZIO[Caps, R]