Generated with

libretto-lambda/libretto.lambda/Shuffle

Shuffle

libretto.lambda.Shuffle

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

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any

Members list

Type members

Classlikes

Attributes

Companion: trait
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: BiTransferOpt.type

Attributes

Companion: object
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_AssocLR[A1, A2, A3, A4, A5, B3, B4]

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]

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
Supertypes: trait Enum

trait Serializable

trait Product

trait Equals

class Object

trait Matchable

class Any
Show all
Known subtypes: class Fst[X, Y, Z]

class Snd[X, Y, Z]

class Both[X1, X2, Y1, Y2]

Attributes

Companion: enum
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: Par.type

Attributes

Companion: trait
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: Transfer.type

Attributes

Companion: object
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]
Show all

Attributes

Companion: trait
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: TransferOpt.type

Attributes

Companion: object
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]
Show all

Attributes

Companion: trait
Supertypes: trait Sum

trait Mirror

class Object

trait Matchable

class Any
Self type: ~⚬.type

Attributes

Companion: object
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)

In this article

Generated with