libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/ClosedLib/ClosedLinearFunctionOps

ClosedLinearFunctionOps

libretto.ClosedLib.ClosedLinearFunctionOps
implicit class ClosedLinearFunctionOps[A, B](self: A -⚬ B)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def curry[A1, A2](implicit ev: A =:= A1 |*| A2): A1 -⚬ A2 =⚬ B
def uncurry[B1, B2](implicit ev: B =:= B1 =⚬ B2): A |*| B1 -⚬ B2
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL