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

LinearFunctionToPlusOps

libretto.CoreLib.LinearFunctionToPlusOps
implicit class LinearFunctionToPlusOps[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
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL