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

Inverse

zio.prelude.Inverse
See theInverse companion trait
object Inverse

Attributes

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

Members list

Value members

Concrete methods

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

Summons an implicit Inverse[A].

Summons an implicit Inverse[A].

Attributes

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

Constructs an Inverse instance from an associative binary operator, an identity element, and an inverse binary operator.

Constructs an Inverse instance from an associative binary operator, an identity element, and an inverse binary operator.

Attributes

def makeFrom[A](identity: Identity[A], inverse: (A, A) => A): Inverse[A]

Constructs an Inverse instance from an identity instance and an inverse function.

Constructs an Inverse instance from an identity instance and an inverse function.

Attributes

Implicits

Implicits

implicit def DeriveInverse[F[_], A](implicit derive: Derive[F, Inverse], inverse: Inverse[A]): Inverse[F[A]]

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

implicit def Tuple2Inverse[A : Inverse, B : Inverse]: Inverse[(A, B)]

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

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

Attributes

implicit def Tuple3Inverse[A : Inverse, B : Inverse, C : Inverse]: Inverse[(A, B, C)]

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

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

Attributes

implicit def Tuple4Inverse[A : Inverse, B : Inverse, C : Inverse, D : Inverse]: Inverse[(A, B, C, D)]

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

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

Attributes

implicit def Tuple5Inverse[A : Inverse, B : Inverse, C : Inverse, D : Inverse, E : Inverse]: Inverse[(A, B, C, D, E)]

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

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

Attributes

implicit def Tuple6Inverse[A : Inverse, B : Inverse, C : Inverse, D : Inverse, E : Inverse, F : Inverse]: Inverse[(A, B, C, D, E, F)]

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

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

Attributes

implicit def Tuple7Inverse[A : Inverse, B : Inverse, C : Inverse, D : Inverse, E : Inverse, F : Inverse, G : Inverse]: Inverse[(A, B, C, D, E, F, G)]

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

Generated with