MappingPackage2(A, C)

mappkg.spad line 108 [edit on github]

• A: SetCategory

• C: SetCategory

various Currying operations.

const: C -> A -> C

const c is a function which produces c when applied to its argument.

constant: (() -> C) -> A -> C

constant(f) is the function g such that g a= f ().

curry: (A -> C, A) -> () -> C

curry(f, a) is the function g such that g ()= f a.

diag: ((A, A) -> C) -> A -> C

diag(f) is the function g such that g a = f(a, a).