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

LawsF

zio.test.laws.`package`.LawsF
object LawsF

Attributes

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

Members list

Type members

Classlikes

object Contravariant

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object Covariant

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Covariant.type
object Invariant

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Invariant.type

Types

type Contravariant[-CapsF[_[_]], -Caps[_]] = Contravariant[CapsF, Caps, Any]
type Covariant[-CapsF[_[_]], -Caps[_]] = Covariant[CapsF, Caps, Any]
type Invariant[-CapsF[_[_]], -Caps[_]] = Invariant[CapsF, Caps, Any]
Generated with