libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/Shuffle/TransferOpt/None

None

libretto.lambda.Shuffle.TransferOpt$.None
case class None[A1, A2]() extends None0[A1, A2, A1, A2]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait None0[A1, A2, A1, A2]
trait TransferOpt[A1, A2, A1, A2]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

override def ev1: A1 =:= A1

Attributes

Definition Classes
override def ev2: A2 =:= A2

Attributes

Definition Classes
override def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): A1 |*| A2 -> A1 |*| A2

Attributes

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, Y1 |*| Y2, Y3 |*| Y4, A1, A2]

Attributes

Definition Classes
override def nonePairWith_:[X1, X2](that: None[X1, X2]): BiTransferOpt[X1, X2, A1, A2, X1, X2, A1, A2]

Attributes

Definition Classes
override def pairWith[X3, X4, Y3, Y4](that: TransferOpt[X3, X4, Y3, Y4]): BiTransferOpt[A1, A2, X3, X4, A1, A2, Y3, Y4]

Attributes

Definition Classes
override def swapPairWith_:[X1, X2](that: Swap[X1, X2]): BiTransferOpt[X1, X2, A1, A2, X2, X1, A1, A2]

Attributes

Definition Classes

Inherited methods

def asShuffle: A1 |*| A2 ~⚬ B1 |*| B2

Attributes

Inherited from:
TransferOpt
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

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