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

PartialInverse

zio.prelude.PartialInverse
See thePartialInverse companion trait
object PartialInverse

Attributes

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

Members list

Value members

Concrete methods

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

Summons an implicit PartialInverse[A].

Summons an implicit PartialInverse[A].

Attributes

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

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

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

Attributes

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

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

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

Attributes

Implicits

Implicits

implicit def DerivePartialInverse[F[_], A](implicit derive: Derive[F, PartialInverse], inverse: PartialInverse[A]): PartialInverse[F[A]]

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

implicit def Tuple2PartialInverse[A : PartialInverse, B : PartialInverse]: PartialInverse[(A, B)]

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

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

Attributes

implicit def Tuple3PartialInverse[A : PartialInverse, B : PartialInverse, C : PartialInverse]: PartialInverse[(A, B, C)]

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

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

Attributes

implicit def Tuple4PartialInverse[A : PartialInverse, B : PartialInverse, C : PartialInverse, D : PartialInverse]: PartialInverse[(A, B, C, D)]

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

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

Attributes

implicit def Tuple5PartialInverse[A : PartialInverse, B : PartialInverse, C : PartialInverse, D : PartialInverse, E : PartialInverse]: PartialInverse[(A, B, C, D, E)]

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

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

Attributes

implicit def Tuple6PartialInverse[A : PartialInverse, B : PartialInverse, C : PartialInverse, D : PartialInverse, E : PartialInverse, F : PartialInverse]: PartialInverse[(A, B, C, D, E, F)]

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

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

Attributes

implicit def Tuple7PartialInverse[A : PartialInverse, B : PartialInverse, C : PartialInverse, D : PartialInverse, E : PartialInverse, F : PartialInverse, G : PartialInverse]: PartialInverse[(A, B, C, D, E, F, G)]

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

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

Attributes

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

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

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

Attributes

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

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

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

Attributes

Generated with