libretto/libretto/ClosedLib/ClosedLinearFunctionOps

ClosedLinearFunctionOps

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

Value members

Concrete methods

def curry[A1, A2](ev: A =:= A1 |*| A2): A1 -⚬ A2 =⚬ B
def uncurry[B1, B2](ev: B =:= B1 =⚬ B2): A |*| B1 -⚬ B2