libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Shuffle/BiTransferOpt/Swap_AssocRL

Swap_AssocRL

libretto.lambda.Shuffle.BiTransferOpt.Swap_AssocRL
case class Swap_AssocRL[A1, A2, A3, A4, A5, B3, B4](swp: Swap[A1, A2], arl: AssocRL[A3, A4, A5, B3, B4]) extends BiTransferOpt[A1, A2, A3, A4 |*| A5, A2, A1, B3 |*| B4, A5]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait BiTransferOpt[A1, A2, A3, A4 |*| A5, A2, A1, B3 |*| B4, A5]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def ixi_this_ixi[C1, C2, C3, C4](that: IXI[A2, A1, B3 |*| B4, A5, C1, C2, C3, C4]): (A1 |*| A3 |*| (A2 |*| (A4 |*| A5))) ~⚬ (C1 |*| C2 |*| (C3 |*| C4))

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with