zio-test/zio.test.laws/ZLaws

ZLaws

object ZLaws
Companion:
class
class Object
trait Matchable
class Any
ZLaws.type

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.

abstract class Law1M[-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.

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.

abstract class Law2M[-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.

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.

abstract class Law3M[-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.