Index of module types


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.

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.