# Index of modules

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 `sequence` and `accumulate` functions for the continuation monad.
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 `Map` module in the standard library).
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 `Scanf` scanners.
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 `Set` module in the standard library).
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 `T` that defines extensible diagnostic event journaling with messages prioritized by codes in the total order defined by the module `P`.
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 `C_create(E: Encoding_T)` functor.
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 `Cf_heap` to represent heaps with the element type described by `E`.
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 `Cf_map` to represent maps with keys of the type described by `K`.
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 `( >>= )` binding operator for composition of continuation monads.
Op [Cf_smonad] | A module containing the `( >>= )` binding operator for composition of state monads.
P
PQueue [Cf_sbheap] | A functor that produces a module of type `Cf_pqueue` to represent priority queues with keys of the type described by `K`.
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 `Create(S: Symbol_T)` functor.
S [Cf_seq] | The module containing the `sequence` and `accumulate` functions for the state monad.
SC [Cf_seq] | The module containing the `sequence` and `accumulate` functions for the state-continuation monad.
Set [Cf_rbtree] | A functor that produces a module of type `Cf_set` to represent sets with the element type described by `E`.
T
Transcode [Cf_flow] | A namespace for the `more` and `last` transcoder functions.
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.