AssocLR
case
class AssocLR[A1, A2, A3, B2, B3](g: TransferOpt[A2, A3, B2, B3]) extends Transfer[A1 |*| A2, A3, A1, B2 |*| B3]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Value members
Concrete methods
override
def assocLR_this_assocRL[X, Y1, Y2](h: AssocRL[X, A1, B2 |*| B3, Y1, Y2]): X |*| A1 |*| A2 |*| A3 ~⚬ Y1 |*| Y2 |*| B2 |*| B3
- Definition Classes
override
def assocLR_this_ixi[P1, P2, Q1, Q2, Q3, Q4](that: IXI[P1, P2, A1, B2 |*| B3, Q1, Q2, Q3, Q4]): P1 |*| P2 |*| A1 |*| A2 |*| A3 ~⚬ Q1 |*| Q2 |*| Q3 |*| Q4
- Definition Classes
override
def assocLR_this_xi[X, Y2, Y3](h: XI[X, A1, B2 |*| B3, Y2, Y3]): X |*| A1 |*| A2 |*| A3 ~⚬ A1 |*| Y2 |*| Y3
- Definition Classes
override
def assocRL_this_assocLR[X, Y2, Y3](that: AssocLR[A1, B2 |*| B3, X, Y2, Y3]): A1 |*| A2 |*| A3 |*| X ~⚬ A1 |*| Y2 |*| Y3
- Definition Classes
override
def assocRL_this_ix[X, Y1, Y2](h: IX[A1, B2 |*| B3, X, Y1, Y2]): A1 |*| A2 |*| A3 |*| X ~⚬ Y1 |*| Y2 |*| B2 |*| B3
- Definition Classes
override
def assocRL_this_ixi[X1, X2, Y1, Y2, Y3, Y4](h: IXI[A1, B2 |*| B3, X1, X2, Y1, Y2, Y3, Y4]): A1 |*| A2 |*| A3 |*| X1 |*| X2 ~⚬ Y1 |*| Y2 |*| Y3 |*| Y4
- Definition Classes
override
def ix_this_assocLR[X, Y2, Y3](that: AssocLR[A1, B2 |*| B3, X, Y2, Y3]): A1 |*| A2 |*| X |*| A3 ~⚬ A1 |*| Y2 |*| Y3
- Definition Classes
override
def ix_this_ix[X, Y1, Y2](h: IX[A1, B2 |*| B3, X, Y1, Y2]): A1 |*| A2 |*| X |*| A3 ~⚬ Y1 |*| Y2 |*| B2 |*| B3
- Definition Classes
override
def ix_this_ixi[P1, P2, Q1, Q2, Q3, Q4](that: IXI[A1, B2 |*| B3, P1, P2, Q1, Q2, Q3, Q4]): A1 |*| A2 |*| P1 |*| P2 |*| A3 ~⚬ Q1 |*| Q2 |*| Q3 |*| Q4
- Definition Classes
override
def ixiPairWith_:[X1, X2, X3, X4, Y1, Y2, Y3, Y4](that: IXI[X1, X2, X3, X4, Y1, Y2, Y3, Y4]): BiTransferOpt[X1 |*| X2, X3 |*| X4, A1 |*| A2, A3, Y1 |*| Y2, Y3 |*| Y4, A1, B2 |*| B3]
- Definition Classes
override
def ixi_fstThis_assocLR[P1, P2, Q1, Q2, R2, R3](g2: TransferOpt[P1, P2, Q1, Q2], that: AssocLR[A1, B2 |*| B3, Q1 |*| Q2, R2, R3]): A1 |*| A2 |*| P1 |*| A3 |*| P2 ~⚬ A1 |*| R2 |*| R3
- Definition Classes
override
def ixi_sndThis_assocRL[P1, P2, Q1, Q2, R1, R2](g1: TransferOpt[P1, P2, Q1, Q2], that: AssocRL[Q1 |*| Q2, A1, B2 |*| B3, R1, R2]): P1 |*| A1 |*| A2 |*| P2 |*| A3 ~⚬ R1 |*| R2 |*| B2 |*| B3
- Definition Classes
override
def ixi_sndThis_xi[P1, P2, Q1, Q2, R2, R3](g1: TransferOpt[P1, P2, Q1, Q2], that: XI[Q1 |*| Q2, A1, B2 |*| B3, R2, R3]): P1 |*| A1 |*| A2 |*| P2 |*| A3 ~⚬ A1 |*| R2 |*| R3
- Definition Classes
override
def nonePairWith_:[X1, X2](that: None[X1, X2]): BiTransferOpt[X1, X2, A1 |*| A2, A3, X1, X2, A1, B2 |*| B3]
- Definition Classes
override
def pairWith[X3, X4, Z1, Z2](that: TransferOpt[X3, X4, Z1, Z2]): BiTransferOpt[A1 |*| A2, A3, X3, X4, A1, B2 |*| B3, Z1, Z2]
- Definition Classes
override
def swapPairWith_:[X1, X2](that: Swap[X1, X2]): BiTransferOpt[X1, X2, A1 |*| A2, A3, X2, X1, A1, B2 |*| B3]
- Definition Classes
override
def thenAssocLR[A11, A12, C2, C3](that: AssocLR[A11, A12, B2 |*| B3, C2, C3])(implicit ev: A1 =:= A11 |*| A12): A1 |*| A2 |*| A3 ~⚬ A11 |*| C2 |*| C3
- Definition Classes
override
def thenAssocRL[B21, B22, C1, C2](that: AssocRL[A1, B21, B22, C1, C2])(using ev: B2 |*| B3 =:= B21 |*| B22): A1 |*| A2 |*| A3 ~⚬ C1 |*| C2 |*| B22
- Definition Classes
override
def xi_this_assocRL[X, Y1, Y2](h: AssocRL[X, A1, B2 |*| B3, Y1, Y2]): A1 |*| A2 |*| X |*| A3 ~⚬ Y1 |*| Y2 |*| B2 |*| B3
- Definition Classes
override
def xi_this_xi[X, C2, C3](g: XI[X, A1, B2 |*| B3, C2, C3]): A1 |*| A2 |*| X |*| A3 ~⚬ A1 |*| C2 |*| C3
- Definition Classes
Inherited methods
override
def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): ->[A1 |*| A2 |*| A3, A1 |*| B2 |*| B3]
- Definition Classes
- Inherited from
- Transfer