A | |
A [Cf_deque] | Operations on the left end of a deque. |
B | |
B [Cf_deque] | Operations on the right end of a deque. |
Basic [Cf_journal] | A module defining basic diagnostic event journaling with a simple set of priority levels associated to integer priority codes. |
C | |
C [Cf_seq] | The module containing the |
C_any_utf_to_utf16be [Cf_unicode] | Functions for transcoding any Unicode character stream into UTF16 (big-endian). |
C_any_utf_to_utf16be_raw [Cf_unicode] | Functions for transcoding any Unicode character stream into UTF16 (big-endian, no barker code). |
C_any_utf_to_utf16le [Cf_unicode] | Functions for transcoding any Unicode character stream into UTF16 (little-endian). |
C_any_utf_to_utf16le_raw [Cf_unicode] | Functions for transcoding any Unicode character stream into UTF16 (little-endian, no barker code). |
C_any_utf_to_utf8 [Cf_unicode] | Functions for transcoding any Unicode character stream into UTF8. |
C_create [Cf_unicode] | The functor used to compose the transcoding modules defined below. |
C_utf16be_to_utf8 [Cf_unicode] | Functions for transcoding UTF16 (big-endian, no barker code) into UTF8. |
C_utf16le_to_utf8 [Cf_unicode] | Functions for transcoding UTF16 (little-endian, no barker code) into UTF8. |
C_utf8_to_utf16be [Cf_unicode] | Functions for transcoding UTF8 into UTF16 (big-endian) |
C_utf8_to_utf16be_raw [Cf_unicode] | Functions for transcoding UTF8 into UTF16 (big-endian, no barker code) |
C_utf8_to_utf16le [Cf_unicode] | Functions for transcoding UTF8 into UTF16 (little-endian) |
C_utf8_to_utf16le_raw [Cf_unicode] | Functions for transcoding UTF8 into UTF16 (little-endian, no barker code) |
Cf_cmonad | The continuation monad and its operators. |
Cf_deque | A functional persistent double-ended catenable deque, with Oavg(1) cost for every operation. |
Cf_dfa | Functional composition of lazy deterministic finite automata. |
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_flow | Lazy stream procesors and their operators. |
Cf_gadget | Monadic composition of complex stream processors. |
Cf_gregorian | Conversions between the Gregorian calendar and Chronological Julian Day. |
Cf_heap | A module type for functional heap implementations. |
Cf_journal | Diagnostic event journaling. |
Cf_lex | Lexical analysis with functional composition of regular grammars. |
Cf_machine | Object-oriented framework for monadic composition of complex stream processors. |
Cf_map | A module type for associative array implementations (with functional
enhancements over the |
Cf_message | Functional message buffer chains. |
Cf_ordered | Ordered types. |
Cf_parser | Functional LL(x) parsing with monadic combinators. |
Cf_pqueue | A module type for functional priority queue implementations. |
Cf_rbtree | Functional red-black binary trees. |
Cf_regex | Regular expression parsing, search and matching. |
Cf_sbheap | Functional skew binomial heaps with O(1) merge. |
Cf_scan_parser | Lexical analysis with functional composition using |
Cf_scmonad | The state-continuation monad and its operators. |
Cf_seq | Lazily-evaluated sequences (functional streams). |
Cf_set | A module type for functional set implementations (with enhancements over
the |
Cf_smonad | The state monad and its operators. |
Cf_state_gadget | Monadic composition of complex stream processors. |
Cf_stdtime | Conversions between Standard Time, UTC and TAI. |
Cf_tai64 | Computations with the Temps Atomique International (TAI) timescale. |
Cf_tai64n | Computations with the Temps Atomique International (TAI) timescale. |
Cf_unicode | Unicode transcodings. |
Create [Cf_dfa] | The functor that creates a DFA module. |
Create [Cf_journal] | A functor that produces a module of type |
D | |
DFA [Cf_regex] | The deterministic finite automata on octet character symbols. |
E | |
E [Cf_unicode.Transcoding_T] | The encoding module used as the argument to the |
E_utf16be [Cf_unicode] | The UTF16 encoding (big-endian) |
E_utf16le [Cf_unicode] | The UTF16 encoding (little-endian) |
E_utf8 [Cf_unicode] | The UTF8 encoding |
Element [Cf_set.T] | A module defining the type of the element. |
Element [Cf_heap.T] | A module defining the type of the element. |
Expr_Op [Cf_dfa.T] | The module containing the expression operators. |
H | |
Heap [Cf_sbheap] | A functor that produces a module of type |
I | |
Int_order [Cf_ordered] | The order of integers. |
K | |
Key [Cf_map.T] | A module defining the type of the key. |
Key [Cf_pqueue.T] | A module defining the type of the key. |
M | |
Map [Cf_rbtree] | A functor that produces a module of type |
O | |
Op [Cf_lex.X] | Open this module to bring the operator functions for woven parsers into the current scope. |
Op [Cf_lex] | Open this module to bring the operator functions for simple parsers into the current scope. |
Op [Cf_dfa.T.X] | Open this module to bring the composition operators into the current scope. |
Op [Cf_dfa.T] | Open this module to bring the composition operators into the current scope. |
Op [Cf_parser] | Open this module to take the parser operators into the current scope. |
Op [Cf_flow] | Open this module to bring the operator functions into the current scope. |
Op [Cf_scmonad] | The continuation monad: a function for passing intermediate results from continuation context to continuation context with an encapsulated state value at each stage. |
Op [Cf_cmonad] | A module containing the |
Op [Cf_smonad] | A module containing the |
P | |
PQueue [Cf_sbheap] | A functor that produces a module of type |
Priority [Cf_journal.T] | The module used to define the total order of priority levels. |
S | |
S [Cf_dfa.T] | The module used as the input to the |
S [Cf_seq] | The module containing the |
SC [Cf_seq] | The module containing the |
Set [Cf_rbtree] | A functor that produces a module of type |
T | |
Transcode [Cf_flow] | A namespace for the |
X | |
X [Cf_lex] | A module of parser extensions for working with input sequences that require position information to woven into the parse function. |
X [Cf_dfa.T] | A module of extensions for working with input sequences that require position information in the parse function. |
X [Cf_parser] | A module of parser extensions for working with input sequences that require position information in the parse function. |