Divariant

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

Attributes

Companion
class
Source
ZLawsF2.scala
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

Source
ZLawsF2.scala
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

Source
ZLawsF2.scala
Supertypes
class Divariant[CapsBothF, CapsLeft, CapsRight, Any]
class Object
trait Matchable
class Any
Self type
Law1[CapsBothF, CapsLeft, CapsRight]