libretto/libretto/CoreLib/LinearFunctionToPairOps

LinearFunctionToPairOps

class LinearFunctionToPairOps[A, B1, B2](self: A -⚬ B1 |*| B2)
class Object
trait Matchable
class Any

Value members

Concrete methods

def assocLR[X, Y](ev: B1 =:= X |*| Y): A -⚬ X |*| Y |*| B2
def assocRL[X, Y](ev: B2 =:= X |*| Y): A -⚬ B1 |*| X |*| Y
def awaitFst(neglect: B1 -⚬ Done)(j: Positive[B2]): A -⚬ B2
def awaitFst(ev: B1 =:= Done, j: Positive[B2]): A -⚬ B2
def awaitSnd(neglect: B2 -⚬ Done)(j: Positive[B1]): A -⚬ B1
def awaitSnd(ev: B2 =:= Done, j: Positive[B1]): A -⚬ B1