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

Idempotent

zio.prelude.Idempotent
See theIdempotent companion trait
object Idempotent

Attributes

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

Members list

Value members

Concrete methods

def apply[A](implicit idempotent: Idempotent[A]): Idempotent[A]

Summons an implicit Idempotent[A].

Summons an implicit Idempotent[A].

Attributes

def make[A](f: (A, A) => A): Idempotent[A]

Constructs an Idempotent instance from a associative binary operator.

Constructs an Idempotent instance from a associative binary operator.

Attributes

def makeFrom[A](associative: Associative[A]): Idempotent[A]

Constructs an Idempotent instance from a associative instance.

Constructs an Idempotent instance from a associative instance.

Attributes

Implicits

Implicits

implicit def DeriveIdempotent[F[_], A](implicit derive: Derive[F, Idempotent], idempotent: Idempotent[A]): Idempotent[F[A]]

Derives a Idempotent[F[A]] given a Derive[F, Idempotent] and a Idempotent[A].

Derives a Idempotent[F[A]] given a Derive[F, Idempotent] and a Idempotent[A].

Attributes

implicit def MapIdempotent[K, V : Idempotent]: Idempotent[Map[K, V]]

Derives a Idempotent[Map[K, V]] given a Idempotent[V].

Derives a Idempotent[Map[K, V]] given a Idempotent[V].

Attributes

implicit def OptionIdempotent[A : Idempotent]: Idempotent[Option[A]]

Derives a Idempotent[Option[A]] given a Idempotent[A]

Derives a Idempotent[Option[A]] given a Idempotent[A]

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

implicit def Tuple2Idempotent[A : Idempotent, B : Idempotent]: Idempotent[(A, B)]

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

implicit def Tuple3Idempotent[A : Idempotent, B : Idempotent, C : Idempotent]: Idempotent[(A, B, C)]

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

implicit def Tuple4Idempotent[A : Idempotent, B : Idempotent, C : Idempotent, D : Idempotent]: Idempotent[(A, B, C, D)]

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

implicit def Tuple5Idempotent[A : Idempotent, B : Idempotent, C : Idempotent, D : Idempotent, E : Idempotent]: Idempotent[(A, B, C, D, E)]

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

implicit def Tuple6Idempotent[A : Idempotent, B : Idempotent, C : Idempotent, D : Idempotent, E : Idempotent, F : Idempotent]: Idempotent[(A, B, C, D, E, F)]

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

implicit def Tuple7Idempotent[A : Idempotent, B : Idempotent, C : Idempotent, D : Idempotent, E : Idempotent, F : Idempotent, G : Idempotent]: Idempotent[(A, B, C, D, E, F, G)]

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

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

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Derives a Idempotent for a product type given a Idempotent for each element of the product type.

Attributes

Generated with