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  |