zio-test/zio.test.laws/LawsF

LawsF

object LawsF
class Object
trait Matchable
class Any
LawsF.type

Type members

Classlikes

object Contravariant
object Covariant
object Invariant

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]