IncrementingMaps R

seg.spad line 453 [edit on github]

• R: Join(Monoid, AbelianSemiGroup)

This package provides operations to create incrementing functions.

increment: () -> 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 -> 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.