Covariant

object Covariant
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

abstract class ComposeLaw[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[CapsF, 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 FlattenLaw[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[CapsF, Caps, Any]

Constructs a law from a parameterized value wrapped in two additional layers that can be flattened.

Constructs a law from a parameterized value wrapped in two additional layers that can be flattened.

abstract class Law1[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[CapsF, 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 Law1ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Covariant[CapsF, 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[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[CapsF, Caps, Any]

Constructs a law from a pure function taking two parameters.

Constructs a law from a pure function taking two parameters.

abstract class Law2ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Covariant[CapsF, 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[-CapsF[_[_]], -Caps[_]](label: String) extends Covariant[CapsF, Caps, Any]

Constructs a law from a pure function taking three parameters.

Constructs a law from a pure function taking three parameters.

abstract class Law3ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Covariant[CapsF, Caps, R]

Constructs a law from an effectual function taking three parameters.

Constructs a law from an effectual function taking three parameters.