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

ZLawsF

zio.test.laws.ZLawsF$
object ZLawsF

ZLaws[CapsF, Caps, R] describes a set of laws that a parameterized type F[A] with capabilities CapsF is expected to satisfy with respect to all types A that have capabilities Caps. Laws can be run by providing a GenF that is capable of generating F[A] values given a generator of A values and a generator of values of some type A. Laws can be combined using + to produce a set of laws that require both sets of laws to be satisfied.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ZLawsF.type

Members list

Concise view

Type members

Classlikes

abstract class Contravariant[-CapsF[_[_]], -Caps[_], -R]

ZLawsF for contravariant type constructors.

ZLawsF for contravariant type constructors.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ComposeLaw[CapsF, Caps]
class Law1[CapsF, Caps]
class Law1ZIO[CapsF, Caps, R]
class Law2[CapsF, Caps]
class Law2ZIO[CapsF, Caps, R]
class Law3[CapsF, Caps]
class Law3ZIO[CapsF, Caps, R]
Self type
Contravariant[CapsF, Caps, R]
object Contravariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class Covariant[-CapsF[_[_]], -Caps[_], -R]

ZLawsF for covariant type constructors.

ZLawsF for covariant type constructors.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ComposeLaw[CapsF, Caps]
class FlattenLaw[CapsF, Caps]
class Law1[CapsF, Caps]
class Law1ZIO[CapsF, Caps, R]
class Law2[CapsF, Caps]
class Law2ZIO[CapsF, Caps, R]
class Law3[CapsF, Caps]
class Law3ZIO[CapsF, Caps, R]
Self type
Covariant[CapsF, Caps, R]
object Covariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
abstract class Invariant[-CapsF[_[_]], -Caps[_], -R]

ZLawsF for invariant type constructors.

ZLawsF for invariant type constructors.

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Law1[CapsF, Caps]
class Law1ZIO[CapsF, Caps, R]
class Law2[CapsF, Caps]
class Law2ZIO[CapsF, Caps, R]
class Law3[CapsF, Caps]
class Law3ZIO[CapsF, Caps, R]
Self type
Invariant[CapsF, Caps, R]
object Invariant

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Generated with