zio-test/zio.test.laws/ZLawsF2/Divariant

Divariant

object Divariant
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

abstract class ComposeLaw[-CapsBothF[_[_, _]], -Caps[_]](label: String) extends Divariant[CapsBothF, Caps, Caps, Any]

Constructs a law from a pure function taking one parameterized value and two functions that can be composed.

Constructs a law from a pure function taking one parameterized value and two functions that can be composed.

abstract class Law1[-CapsBothF[_[_, _]], -CapsLeft[_], -CapsRight[_]](label: String) extends Divariant[CapsBothF, CapsLeft, CapsRight, Any]

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

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