zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/Invariant

Invariant

zio.prelude.Invariant
See theInvariant companion object
trait Invariant[F[_]]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Contravariant[F]
trait Covariant[F]
trait ForEach[F]
trait NonEmptyForEach[F]
Show all
Self type

Members list

Value members

Abstract methods

def invmap[A, B](f: Equivalence[A, B]): Equivalence[F[A], F[B]]

Concrete methods

final def compose[G[_]](implicit g: Invariant[G]): Invariant[{ type lambda = [A] =>> F[G[A]]; }#<none>]

Compose two invariant functors.

Compose two invariant functors.

Attributes

def compositionLaw[A, B, C](fa: F[A], f: Equivalence[A, B], g: Equivalence[B, C])(implicit equal: Equal[F[C]]): Boolean
def identityLaw1[A](fa: F[A])(implicit equal: Equal[F[A]]): Boolean
Generated with