IncrementingMaps(R)

seg.spad line 453 [edit on github]

• R : Join(Monoid, AbelianSemiGroup)

This package provides operations to create incrementing functions.

increment : () -> Mapping(R, R)

increment() produces a function which adds 1 to whatever argument it is given. For example, if f := increment() then f x is x+1.

incrementBy : R -> Mapping(R, R)

incrementBy(n) produces a function which adds n to whatever argument it is given. For example, if f := increment(n) then f x is x+n.