zio-test
API
Generated with
zio-test/zio.test/zio.test.laws/ZLawsF2/Divariant

Divariant

zio.test.laws.ZLawsF2.Divariant
See theDivariant companion class
object Divariant

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Divariant.type

Members list

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.

Attributes

Supertypes
class Divariant[CapsBothF, Caps, Caps, Any]
class Object
trait Matchable
class Any
Self type
ComposeLaw[CapsBothF, Caps]
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.

Attributes

Supertypes
class Divariant[CapsBothF, CapsLeft, CapsRight, Any]
class Object
trait Matchable
class Any
Self type
Law1[CapsBothF, CapsLeft, CapsRight]
Generated with