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

Composed

libretto.lambda.Shuffle.~⚬.Composed
sealed trait Composed[X, Y] extends X ~⚬ Y

Non-Id combinators.

Attributes

Graph
Supertypes
trait X ~⚬ Y
class Object
trait Matchable
class Any
Known subtypes
class Bimap[X1, X2, Y1, Y2]
class Xfer[A1, A2, X1, X2, B1, B2]

Members list

Value members

Concrete methods

override def invert: Composed[Y, X]

Attributes

Definition Classes

Inherited methods

def >[C](that: Y ~⚬ C): X ~⚬ C

Attributes

Inherited from:
~⚬
infix def after[Z](that: Z ~⚬ X): Z ~⚬ Y

Attributes

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

Attributes

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

Attributes

Inherited from:
~⚬
def from[Z](using ev: Z =:= X): Z ~⚬ Y

Attributes

Inherited from:
~⚬
def inFst[C]: (X |*| C) ~⚬ (Y |*| C)

Attributes

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

Attributes

Inherited from:
~⚬
def inSnd[P]: (P |*| X) ~⚬ (P |*| Y)

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
~⚬
def to[C](using ev: Y =:= C): X ~⚬ C

Attributes

Inherited from:
~⚬

Inherited and Abstract methods

def apply[F[_]](a: F[X])(using StrongZippable[|*|, F]): F[Y]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Translate to a different product type.

Translate to a different product type.

Attributes

Inherited from:
~⚬
Generated with