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

Members list

Concise view

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

Graph
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

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