zio-test/zio.test.laws/LawsF/Invariant

Invariant

object Invariant
class Object
trait Matchable
class Any

Type members

Types

type Law1[-CapsF[_[_]], -Caps[_]] = Law1[CapsF, Caps]
type Law1M[-CapsF[_[_]], -Caps[_]] = Law1M[CapsF, Caps, Any]
type Law2[-CapsF[_[_]], -Caps[_]] = Law2[CapsF, Caps]
type Law2M[-CapsF[_[_]], -Caps[_]] = Law2M[CapsF, Caps, Any]
type Law3[-CapsF[_[_]], -Caps[_]] = Law3[CapsF, Caps]
type Law3M[-CapsF[_[_]], -Caps[_]] = Law3M[CapsF, Caps, Any]