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

Concise view

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 fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): A -> B

Attributes

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

Attributes

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

Attributes

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