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