libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffle/~⚬/Id0

Id0

libretto.lambda.Shuffle.~⚬.Id0
See theId0 companion object
sealed trait Id0[A, B] extends A ~⚬ B

Attributes

Companion
object
Graph
Supertypes
trait A ~⚬ B
class Object
trait Matchable
class Any
Known subtypes
class Id[X]

Members list

Value members

Abstract methods

def ev: A =:= B

Inherited methods

def >[C](that: B ~⚬ C): A ~⚬ C

Attributes

Inherited from:
~⚬
def after[Z](that: Z ~⚬ A): Z ~⚬ B

Attributes

Inherited from:
~⚬
def at[F[_]](f: Focus[|*|, F]): F[A] ~⚬ F[B]

Attributes

Inherited from:
~⚬
def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): A -> B

Attributes

Inherited from:
~⚬
def from[Z](using ev: Z =:= A): Z ~⚬ B

Attributes

Inherited from:
~⚬
def inFst[C]: (A |*| C) ~⚬ (B |*| C)

Attributes

Inherited from:
~⚬
def inFst[C, D](snd: C ~⚬ D): (A |*| C) ~⚬ (B |*| D)

Attributes

Inherited from:
~⚬
def inSnd[P]: (P |*| A) ~⚬ (P |*| B)

Attributes

Inherited from:
~⚬
def inSnd[P, Q](fst: P ~⚬ Q): (P |*| A) ~⚬ (Q |*| B)

Attributes

Inherited from:
~⚬
def project[C](p: Projection[|*|, B, C]): ProjectRes[A, C]

Attributes

Inherited from:
~⚬
def proveIdBw(outputIsAtomic: [x, y] => (B =:= (x |*| y)) => Nothing): A =:= B

Attributes

Inherited from:
~⚬
def to[C](using ev: B =:= C): A ~⚬ C

Attributes

Inherited from:
~⚬

Inherited and Abstract methods

def apply[F[_]](a: F[A])(using StrongZippable[|*|, F]): F[B]

Attributes

Inherited from:
~⚬
def chaseBw[G[_], X](i: Focus[|*|, G])(using ev: B =:= G[X]): ChaseBwRes[A, G, X]

Attributes

Inherited from:
~⚬
def chaseFw[F[_], X](i: Focus[|*|, F])(using ev: A =:= F[X]): ChaseFwRes[F, X, B]

Attributes

Inherited from:
~⚬
def invert: B ~⚬ A

Attributes

Inherited from:
~⚬
def preShuffle[F[_, _], C](f: F[B, C])(using PairwiseRel[|*|, |*|, F]): Exists[[X] =>> (F[A, X], X ~⚬ C)]

Attributes

Inherited from:
~⚬
def projectProper[C](p: Proper[|*|, B, C]): ProjectProperRes[A, C]

Attributes

Inherited from:
~⚬
def proveId(inputIsAtomic: [x, y] => (A =:= (x |*| y)) => Nothing): A =:= B

Attributes

Inherited from:
~⚬
def translate[<*>[_, _], F[_, _], X](fa: F[A, X])(m: SemigroupalObjectMap[|*|, <*>, F], sh: Shuffle[<*>]): Exists[[t] =>> (X ~⚬ t, F[B, t])]

Translate to a different product type.

Translate to a different product type.

Attributes

Inherited from:
~⚬
Generated with