zio-test
API
Generated with
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

Concise view

Type members

Classlikes

object Contravariant

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Covariant

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Invariant

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self 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