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

Bimap

libretto.lambda.Shuffle.~⚬$.Bimap
case class Bimap[X1, X2, Y1, Y2](par: Par[X1, X2, Y1, Y2]) extends Composed[X1 |*| X2, Y1 |*| Y2]

Two parallel operations, at least one of which is not Id.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Composed[X1 |*| X2, Y1 |*| Y2]
trait X1 |*| X2 ~⚬ Y1 |*| Y2
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

def >[C](that: Y1 |*| Y2 ~⚬ C): A ~⚬ C

Attributes

Inherited from:
~⚬
def after[Z](that: Z ~⚬ X1 |*| X2): 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: Y1 |*| Y2 =:= C): A ~⚬ C

Attributes

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