libretto/libretto/ClosedLib/ClosedLinearFunctionOps

ClosedLinearFunctionOps

implicit
class ClosedLinearFunctionOps[A, B](self: A -⚬ B)
class Object
trait Matchable
class Any

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