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

None0

libretto.lambda.Shuffle.TransferOpt$.None0
See theNone0 companion object
sealed trait None0[A1, A2, B1, B2] extends TransferOpt[A1, A2, B1, B2]

Attributes

Companion:
object
Graph
Supertypes
trait TransferOpt[A1, A2, B1, B2]
class Object
trait Matchable
class Any
Known subtypes
class None[A1, A2]

Members list

Concise view

Value members

Abstract methods

def ev1: A1 =:= B1
def ev2: A2 =:= B2

Inherited methods

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

Attributes

Inherited from:
TransferOpt
def fold[->[_, _]](using ev: SymmetricSemigroupalCategory[->, |*|]): A1 |*| A2 -> B1 |*| B2

Attributes

Inherited from:
TransferOpt
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, B1, B2]

Attributes

Inherited from:
TransferOpt
def nonePairWith_:[X1, X2](that: None[X1, X2]): BiTransferOpt[X1, X2, A1, A2, X1, X2, B1, B2]

Attributes

Inherited from:
TransferOpt
def pairWith[X3, X4, Z1, Z2](that: TransferOpt[X3, X4, Z1, Z2]): BiTransferOpt[A1, A2, X3, X4, B1, B2, Z1, Z2]

Attributes

Inherited from:
TransferOpt
def swapPairWith_:[X1, X2](that: Swap[X1, X2]): BiTransferOpt[X1, X2, A1, A2, X2, X1, B1, B2]

Attributes

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