MappingPackage1 AΒΆ

mappkg.spad line 58

various Currying operations.

^: (A -> A, NonNegativeInteger) -> A -> A
f^n is the function which is the n-fold application of f.
coerce: A -> () -> A
coerce A changes its argument into a nullary function.
id: A -> A
id x is x.
nullary: A -> () -> A
nullary A changes its argument into a nullary function.
recur: (NonNegativeInteger, A) -> A -> (NonNegativeInteger, A) -> A
recur(g) is the function h such that h(n, x)= g(n, g(n-1, ..g(1, x)..)).