MappingPackage1(A)

mappkg.spad line 58 [edit on github]

• A : SetCategory

various Currying operations.

^ : (Mapping(A, A), NonNegativeInteger) -> Mapping(A, A)

f^n is the function which is the n-fold application of f.

coerce : A -> Mapping(A)

coerce A changes its argument into a nullary function.

id : A -> A

id x is x.

nullary : A -> Mapping(A)

nullary A changes its argument into a nullary function.

recur : Mapping(A, NonNegativeInteger, A) -> Mapping(A, NonNegativeInteger, A)

recur(g) is the function h such that h(n, x)= g(n, g(n-1, ..g(1, x)..)).