libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/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

Concise view

Value members

Concrete methods

override def invert: Composed[Y, X]

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
~⚬
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL