libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/LinearFunctionToPairOps

LinearFunctionToPairOps

libretto.CoreLib.LinearFunctionToPairOps
implicit class LinearFunctionToPairOps[A, B1, B2](self: A -⚬ B1 |*| B2)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def assocLR[X, Y](implicit ev: B1 =:= X |*| Y): A -⚬ X |*| Y |*| B2
def assocRL[X, Y](implicit ev: B2 =:= X |*| Y): A -⚬ B1 |*| X |*| Y
def awaitFst(neglect: B1 -⚬ Done)(implicit j: Positive[B2]): A -⚬ B2
def awaitFst(implicit ev: B1 =:= Done, j: Positive[B2]): A -⚬ B2
def awaitSnd(neglect: B2 -⚬ Done)(implicit j: Positive[B1]): A -⚬ B1
def awaitSnd(implicit ev: B2 =:= Done, j: Positive[B1]): A -⚬ B1
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL