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

Identity

zio.prelude.Identity
See theIdentity companion trait
object Identity

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Identity.type

Members list

Value members

Concrete methods

def apply[A](implicit Identity: Identity[A]): Identity[A]

Summons an implicit Identity[A].

Summons an implicit Identity[A].

Attributes

def fromIdentityEitherCovariant[F[_] : Covariant, A]: Identity[F[A]]

Constructs an Identity instance from an IdentityEither instance and a Covariant instance.

Constructs an Identity instance from an IdentityEither instance and a Covariant instance.

Attributes

def make[A](identity0: A, op: (A, A) => A): Identity[A]

Constructs an Identity instance from an associative binary operator and an identity element.

Constructs an Identity instance from an associative binary operator and an identity element.

Attributes

def makeFrom[A](identity0: A, associative: Associative[A]): Identity[A]

Constructs an Identity instance from an associative instance and an identity element.

Constructs an Identity instance from an associative instance and an identity element.

Attributes

Implicits

Implicits

implicit def DeriveIdentity[F[_], A](implicit derive: Derive[F, Identity], identity: Identity[A]): Identity[F[A]]

Derives an Identity[F[A]] given a Derive[F, Identity] and an Identity[A].

Derives an Identity[F[A]] given a Derive[F, Identity] and an Identity[A].

Attributes

implicit def EitherIdentity[E, A : Identity]: Identity[Either[E, A]]

Derives an Identity[Either[E, A]] given an Identity[A].

Derives an Identity[Either[E, A]] given an Identity[A].

Attributes

implicit def Tuple10Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple11Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple12Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple13Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple14Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple15Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple16Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity, P : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple17Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity, P : Identity, Q : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple18Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity, P : Identity, Q : Identity, R : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple19Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity, P : Identity, Q : Identity, R : Identity, S : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple20Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity, P : Identity, Q : Identity, R : Identity, S : Identity, T : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple21Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity, P : Identity, Q : Identity, R : Identity, S : Identity, T : Identity, U : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple22Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity, J : Identity, K : Identity, L : Identity, M : Identity, N : Identity, O : Identity, P : Identity, Q : Identity, R : Identity, S : Identity, T : Identity, U : Identity, V : Identity]: Identity[(A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple2Identity[A : Identity, B : Identity]: Identity[(A, B)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple3Identity[A : Identity, B : Identity, C : Identity]: Identity[(A, B, C)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple4Identity[A : Identity, B : Identity, C : Identity, D : Identity]: Identity[(A, B, C, D)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple5Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity]: Identity[(A, B, C, D, E)]
implicit def Tuple6Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity]: Identity[(A, B, C, D, E, F)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple7Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity]: Identity[(A, B, C, D, E, F, G)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple8Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity]: Identity[(A, B, C, D, E, F, G, H)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

implicit def Tuple9Identity[A : Identity, B : Identity, C : Identity, D : Identity, E : Identity, F : Identity, G : Identity, H : Identity, I : Identity]: Identity[(A, B, C, D, E, F, G, H, I)]

Derives an Identity for a product type given an Identity for each element of the product type.

Derives an Identity for a product type given an Identity for each element of the product type.

Attributes

Generated with