MappingPackage1 A

mappkg.spad line 58 [edit on github]

• A: SetCategory

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