Index of modules

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.

DFA [Cf_regex]

The deterministic finite automata on octet character symbols.

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.

Heap [Cf_sbheap]

A functor that produces a module of type Cf_heap to represent heaps with the element type described by E.

Int_order [Cf_ordered]

The order of integers.

Key [Cf_map.T]

A module defining the type of the key.

Key [Cf_pqueue.T]

A module defining the type of the key.

Map [Cf_rbtree]

A functor that produces a module of type Cf_map to represent maps with keys of the type described by K.

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.

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 [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.

Transcode [Cf_flow]

A namespace for the more and last transcoder functions.

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.

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 O_avg(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.