A | |
AF [Cf_socket] |
The module type used to define a socket address/protocol family.
|
D | |
Direction_T [Cf_deque] |
Functions for operations on one of the two ends of a deque.
|
E | |
Encoding_T [Cf_unicode] |
The module type defining the relationship between UCS4 and a given UTF
encoding of Unicode characters.
|
Expr_Op_T [Cf_lex] |
The module type containing the subexpression composition operators.
|
Expr_Op_T [Cf_dfa.T] |
The signature of modules containing operators for composing DFA
expressions.
|
O | |
Op_T [Cf_dfa.T] |
The signature of the
Op module, which contains the composition
operators.
|
Op_T [Cf_dfa.T.X] |
The signature of the
Op module, which contains the composition
operators.
|
P | |
P [Cf_socket] |
The module type used to define a socket protocol.
|
S | |
ST [Cf_socket] |
The module type used to define a socket type.
|
Symbol_T [Cf_dfa] |
The type of the input module for
Create(S: Symbol_T) functor defined
below.
|
T | |
T [Cf_sock_stream] |
The type of the module containing the extensions to the
Cf_sock_common.T
module type used for handling sockets of the SOCK_STREAM socket type.
|
T [Cf_sock_dgram] |
The type of the module containing the extensions to the
Cf_sock_common.T
module type used for handling sockets of the SOCK_DGRAM socket type.
|
T [Cf_sock_common] |
The type of module created by the Create(P: P) functor.
|
T [Cf_dfa] |
The output of the
Create(S: Symbol_T) functor, which is a module that
can be used to compose deterministic finite automata which operate on
symbols of the type specified.
|
T [Cf_set] | |
T [Cf_map] | |
T [Cf_pqueue] |
This module defines the common interface to functional priority queues in
the
Cf library.
|
T [Cf_heap] |
This module defines the common interface to functional heaps in the
Cf
library.
|
T [Cf_journal] | |
Total_T [Cf_ordered] |
The module type defining a type
t and a corresponding function to give
the total order of all values of that type.
|
Transcoding_T [Cf_unicode] |
The module type that results from the application of the
C_create(E:
Encoding_T) functor below.
|