Appendix: Utilities#
Utility functions.
(Not intended for external use.)
Combinators#
|
The identity function, i.e., (𝜆 x ⇒ x). |
|
Tests whether f holds for all x in xs. |
|
Tests whether f holds for some x in xs. |
|
Returns the function (𝜆 x, y ⇒ f(y, x)). |
|
Left-folds xs with using f and starting value x. |
|
Same as |
|
Left-folds xs using f and no starting value. |
|
Same as |
|
Left-fold variant used to apply infix operators. |
|
Left-unfolds x using unpacking function f. |
|
Right-folds xs using f and starting value x. |
|
Same as |
|
Right-folds xs using f and no starting value. |
|
Same as |
|
Right-fold variant used to apply infix operators. |
|
Right-unfolds x using unpacking function f. |
|
Same as |
|
Returns the first element of xs satisfying f; or x |
|
Returns the last element of xs satisfying f; or x. |
|
Returns a sliding window of width 2 over it. |
|
Same as |
Proxy#
Imports#
|
Returns package-data directory of modname. |
Miscellanea#
|
Class representing the absence of value. |
|
Converts name from camel-case to snake-case. |
|
Returns the next numerical-suffixed variant of name. |
|
Same as |