libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Shuffle

Shuffle

libretto.lambda.Shuffle
class Shuffle[|*|[_, _]](using inj: BiInjective[|*|])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Classlikes

object BiTransferOpt

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait BiTransferOpt[A1, A2, A3, A4, B1, B2, B3, B4]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class IXI_IXI[A1, A2, A3, A4, A5, A6, A7, A8, B1, B2, B3, B4, B5, B6, B7, B8]
class None_IX[A1, A2, A3, A4, A5, B3, B4]
class None_None[A1, A2, A3, A4]
class Swap_AssocRL[A1, A2, A3, A4, A5, B3, B4]
enum Par[X1, X2, Y1, Y2]

Two parallel operations, at least one of which is not Id.

Two parallel operations, at least one of which is not Id.

Attributes

Companion:
object
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Known subtypes
case Fst[X, Y, Z]
case Snd[X, Y, Z]
case Both[X1, X2, Y1, Y2]
object Par

Attributes

Companion:
enum
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Par.type
object Transfer

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait Transfer[A1, A2, B1, B2] extends TransferOpt[A1, A2, B1, B2]

Attributes

Companion:
object
Graph
Supertypes
trait TransferOpt[A1, A2, B1, B2]
class Object
trait Matchable
class Any
Known subtypes
class AssocLR[A1, A2, A3, B2, B3]
class AssocRL[A1, A2, A3, B1, B2]
class IX[A1, A2, A3, B1, B2]
class IXI[A1, A2, A3, A4, B1, B2, B3, B4]
class Swap[X1, X2]
class XI[A1, A2, A3, B2, B3]
object TransferOpt

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed trait TransferOpt[A1, A2, B1, B2]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Transfer[A1, A2, B1, B2]
class AssocLR[A1, A2, A3, B2, B3]
class AssocRL[A1, A2, A3, B1, B2]
class IX[A1, A2, A3, B1, B2]
class IXI[A1, A2, A3, A4, B1, B2, B3, B4]
class Swap[X1, X2]
class XI[A1, A2, A3, B2, B3]
trait None0[A1, A2, B1, B2]
class None[A1, A2]
object ~⚬

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
~⚬.type
sealed trait ~⚬[A, B]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Composed[X, Y]
class Bimap[X1, X2, Y1, Y2]
class Xfer[A1, A2, X1, X2, B1, B2]
trait Id0[A, B]
class Id[X]

Extensions

Extensions

extension [A, B](ev: A =:= B)
def zip[C, D](that: C =:= D): A |*| C =:= B |*| D
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL