libretto/libretto/CoreLib/LinearFunctionToPlusOps

LinearFunctionToPlusOps

class LinearFunctionToPlusOps[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