LawfulF

zio.test.laws.`package`.LawfulF
object LawfulF

Attributes

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

Members list

Type members

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