LawsF

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

Attributes

Source
package.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
LawsF.type

Members list

Type members

Classlikes

object Contravariant

Attributes

Source
package.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object Covariant

Attributes

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

Attributes

Source
package.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Invariant.type

Types

type Contravariant[-CapsF[_[_]], -Caps[_]] = Contravariant[CapsF, Caps, Any]

Attributes

Source
package.scala
type Covariant[-CapsF[_[_]], -Caps[_]] = Covariant[CapsF, Caps, Any]

Attributes

Source
package.scala
type Invariant[-CapsF[_[_]], -Caps[_]] = Invariant[CapsF, Caps, Any]

Attributes

Source
package.scala