MappingPackage2(A, C)ΒΆ

mappkg.spad line 108

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).