Invariant

zio.test.laws.ZLawsF.Invariant
See theInvariant companion class
object Invariant

Attributes

Companion
class
Source
ZLawsF.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Invariant.type

Members list

Type members

Classlikes

abstract class Law1[-CapsF[_[_]], -Caps[_]](label: String) extends Invariant[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.

Attributes

Source
ZLawsF.scala
Supertypes
class Invariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law1[CapsF, Caps]
abstract class Law1ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Invariant[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.

Attributes

Source
ZLawsF.scala
Supertypes
class Invariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law1ZIO[CapsF, Caps, R]
abstract class Law2[-CapsF[_[_]], -Caps[_]](label: String) extends Invariant[CapsF, Caps, Any]

Constructs a law from a pure function taking two parameters.

Constructs a law from a pure function taking two parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Invariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law2[CapsF, Caps]
abstract class Law2ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Invariant[CapsF, Caps, R]

Constructs a law from an effectual function taking two parameters.

Constructs a law from an effectual function taking two parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Invariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law2ZIO[CapsF, Caps, R]
abstract class Law3[-CapsF[_[_]], -Caps[_]](label: String) extends Invariant[CapsF, Caps, Any]

Constructs a law from a pure function taking three parameters.

Constructs a law from a pure function taking three parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Invariant[CapsF, Caps, Any]
class Object
trait Matchable
class Any
Self type
Law3[CapsF, Caps]
abstract class Law3ZIO[-CapsF[_[_]], -Caps[_], -R](label: String) extends Invariant[CapsF, Caps, R]

Constructs a law from an effectual function taking three parameters.

Constructs a law from an effectual function taking three parameters.

Attributes

Source
ZLawsF.scala
Supertypes
class Invariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law3ZIO[CapsF, Caps, R]