libretto/libretto.impl/Shuffle/~⚬/Xfer

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.

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

Value members

Inherited methods

def >[C](that: B1 |*| B2 ~⚬ C): A1 |*| A2 ~⚬ C
Inherited from
~⚬
def after[Z](that: Z ~⚬ A1 |*| A2): Z ~⚬ B1 |*| B2
Inherited from
~⚬
def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): ->[A1 |*| A2, B1 |*| B2]
Inherited from
~⚬
override
def invert: Composed[B1 |*| B2, A1 |*| A2]
Definition Classes
Inherited from
Composed
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
def to[C](using ev: B1 |*| B2 =:= C): A1 |*| A2 ~⚬ C
Inherited from
~⚬