Covariant

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

Attributes

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

Members list

Type members

Types

type ComposeLaw[-CapsF[_[_]], -Caps[_]] = ComposeLaw[CapsF, Caps]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Source
package.scala