Hope Libraries
A library can be used with the Hope command
"uses name;".
- arith
- some simple arithmetic functions.
- ctype
- character classification functions.
- diag
- diagonalization of the product of a pair of lists.
- fold
- some generalized higher-order functions for recursive types
(an experimental exploitation of regular types).
- functions
- various higher-order functions.
- lines
- break a stream of characters into lines, and the reverse.
- list
- general purpose list functions.
- lists
- more list utility functions.
- maybe
- the Maybe monad.
- products
- functions associated with the product type.
- range
- functions returning ranges of numbers.
- seq
- infinite sequences.
- set
- sets (an example of an abstract data type).
- sort
- sorting.
- tree
- a binary tree type.
- void
- data void == Nothing;.
- words
- break a string into a list of words, and the reverse.
- y
- fixed point combinators.