zio-test
API
Generated with
zio-test/zio.test/zio.test.laws/ZLawsF/Invariant

Invariant

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

Attributes

Companion
class
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

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

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

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

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

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

Supertypes
class Invariant[CapsF, Caps, R]
class Object
trait Matchable
class Any
Self type
Law3ZIO[CapsF, Caps, R]
Generated with