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

Xfer

libretto.lambda.Shuffle.~⚬$.Xfer
case class Xfer[A1, A2, X1, X2, B1, B2](f1: A1 ~⚬ X1, f2: A2 ~⚬ X2, transfer: Transfer[X1, X2, B1, B2]) extends Composed[A1 |*| A2, B1 |*| B2]

An operator that transfers resources across inputs.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Composed[A1 |*| A2, B1 |*| B2]
trait A1 |*| A2 ~⚬ B1 |*| B2
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

def >[C](that: B1 |*| B2 ~⚬ C): A ~⚬ C

Attributes

Inherited from:
~⚬
def after[Z](that: Z ~⚬ A1 |*| A2): Z ~⚬ B

Attributes

Inherited from:
~⚬
def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): A -> B

Attributes

Inherited from:
~⚬
override def invert: Composed[Y, X]

Attributes

Definition Classes
Inherited from:
Composed
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def to[C](using ev: B1 |*| B2 =:= C): A ~⚬ C

Attributes

Inherited from:
~⚬
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL