Cf_ordered | Ordered types. |
Cf_either | A utility type to represent the sum of two parameter types. |
Cf_exnopt | A utility type representing the sum of a parameter and an exception. |
Cf_smonad | The state monad and its operators. |
Cf_cmonad | The continuation monad and its operators. |
Cf_scmonad | The state-continuation monad and its operators. |
Cf_tai64 | Computations with the Temps Atomique International (TAI) timescale. |
Cf_tai64n | Computations with the Temps Atomique International (TAI) timescale. |
Cf_gregorian | Conversions between the Gregorian calendar and Chronological Julian Day. |
Cf_stdtime | Conversions between Standard Time, UTC and TAI. |
Cf_journal | Diagnostic event journaling. |
Cf_seq | Lazily-evaluated sequences (functional streams). |
Cf_deque | A functional persistent double-ended catenable deque, with Oavg(1) cost for every operation. |
Cf_flow | Lazy stream procesors and their operators. |
Cf_heap | A module type for functional heap implementations. |
Cf_pqueue | A module type for functional priority queue implementations. |
Cf_map | A module type for associative array implementations (with functional
enhancements over the |
Cf_set | A module type for functional set implementations (with enhancements over
the |
Cf_sbheap | Functional skew binomial heaps with O(1) merge. |
Cf_rbtree | Functional red-black binary trees. |
Cf_gadget | Monadic composition of complex stream processors. |
Cf_state_gadget | Monadic composition of complex stream processors. |
Cf_machine | Object-oriented framework for monadic composition of complex stream processors. |
Cf_unicode | Unicode transcodings. |
Cf_parser | Functional LL(x) parsing with monadic combinators. |
Cf_message | Functional message buffer chains. |
Cf_dfa | Functional composition of lazy deterministic finite automata. |
Cf_regex | Regular expression parsing, search and matching. |
Cf_lex | Lexical analysis with functional composition of regular grammars. |
Cf_scan_parser | Lexical analysis with functional composition using |