libretto.lambda.Shuffle.Transfer$
See theTransfer companion trait
object Transfer
Attributes
Members list
Concise view
Type members
Classlikes
case class AssocLR[A1, A2, A3, B2, B3](g: TransferOpt[A2, A3, B2, B3]) extends Transfer[A1 |*| A2, A3, A1, B2 |*| B3]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
case class AssocRL[A1, A2, A3, B1, B2](g: TransferOpt[A1, A2, B1, B2]) extends Transfer[A1, A2 |*| A3, B1 |*| B2, A3]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
case class IX[A1, A2, A3, B1, B2](g: TransferOpt[A1, A3, B1, B2]) extends Transfer[A1 |*| A2, A3, B1 |*| B2, A2]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
case class IXI[A1, A2, A3, A4, B1, B2, B3, B4](g1: TransferOpt[A1, A3, B1, B2], g2: TransferOpt[A2, A4, B3, B4]) extends Transfer[A1 |*| A2, A3 |*| A4, B1 |*| B2, B3 |*| B4]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
case class XI[A1, A2, A3, B2, B3](g: TransferOpt[A1, A3, B2, B3]) extends Transfer[A1, A2 |*| A3, A2, B2 |*| B3]
Attributes
- Graph
- Supertypes
- trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Mirror
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
Value members
Concrete methods
def assocLR_then_assocLR[A1, A2, A3, A4, B2, B3, C2, C3](f: AssocLR[A1 |*| A2, A3, A4, B2, B3], g: AssocLR[A1, A2, B2 |*| B3, C2, C3]): A1 |*| A2 |*| A3 |*| A4 ~⚬ A1 |*| C2 |*| C3
def assocLR_then_assocRL[A1, A2, A3, B2, B3, C1, C2](f: AssocLR[A1, A2, A3, B2, B3], g: AssocRL[A1, B2, B3, C1, C2]): A1 |*| A2 |*| A3 ~⚬ C1 |*| C2 |*| B3
def assocLR_then_xi[A1, A2, A3, B2, B3, C2, C3](f: AssocLR[A1, A2, A3, B2, B3], g: XI[A1, B2, B3, C2, C3]): A1 |*| A2 |*| A3 ~⚬ B2 |*| C2 |*| C3
def assocRL_then_assocLR[A1, A2, A3, B1, B2, C2, C3](f: AssocRL[A1, A2, A3, B1, B2], g: AssocLR[B1, B2, A3, C2, C3]): A1 |*| A2 |*| A3 ~⚬ B1 |*| C2 |*| C3
def ix_then_assocRL[A1, A2, A3, A4, B1, B2, C1, C2](f: IX[A1, A2 |*| A3, A4, B1, B2], g: AssocRL[B1 |*| B2, A2, A3, C1, C2]): A1 |*| A2 |*| A3 |*| A4 ~⚬ C1 |*| C2 |*| A3
def swap_then_assocLR[X1, X2, X3, Y2, Y3](f: Swap[X1, X2 |*| X3], g: AssocLR[X2, X3, X1, Y2, Y3]): X1 |*| X2 |*| X3 ~⚬ X2 |*| Y2 |*| Y3
def swap_then_assocRL[X1, X2, X3, Y1, Y2](f: Swap[X1 |*| X2, X3], g: AssocRL[X3, X1, X2, Y1, Y2]): X1 |*| X2 |*| X3 ~⚬ Y1 |*| Y2 |*| X2
def xi_then_assocLR[A1, A2, A3, A4, B2, B3, C2, C3](f: XI[A1, A2 |*| A3, A4, B2, B3], g: AssocLR[A2, A3, B2 |*| B3, C2, C3]): A1 |*| A2 |*| A3 |*| A4 ~⚬ A2 |*| C2 |*| C3
def xi_then_assocRL[A1, A2, A3, B2, B3, C1, C2](f: XI[A1, A2, A3, B2, B3], g: AssocRL[A2, B2, B3, C1, C2]): A1 |*| A2 |*| A3 ~⚬ C1 |*| C2 |*| B3
def xi_then_xi[A1, A2, A3, B2, B3, C2, C3](f: XI[A1, A2, A3, B2, B3], g: XI[A2, B2, B3, C2, C3]): A1 |*| A2 |*| A3 ~⚬ B2 |*| C2 |*| C3