Cf_ordered |
Ordered types.
|
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_smonad |
The state monad and its operators.
|
Cf_cmonad |
The continuation monad and its operators.
|
Cf_scmonad |
The state-continuation monad and its operators.
|
Cf_tai64 |
Computations with the Temps Atomique Internationale (TAI) timescale.
|
Cf_tai64n |
Computations with the Temps Atomique Internationale (TAI) timescale.
|
Cf_gregorian |
Conversions between the Gregorian calendar and Chronological Julian Day.
|
Cf_stdtime |
Conversions between Standard Time, UTC and TAI.
|
Cf_journal |
Diagnostic event journaling.
|
Cf_seq |
Lazily-evaluated sequences (functional streams).
|
Cf_deque |
A functional persistent double-ended catenable deque, with Oavg(1) cost
for every operation.
|
Cf_flow |
Lazy stream procesors and their operators.
|
Cf_heap |
A module type for functional heap implementations.
|
Cf_pqueue |
A module type for functional priority queue implementations.
|
Cf_map |
A module type for associative array implementations (with functional
enhancements over the
Map module in the standard library).
|
Cf_set |
A module type for functional set implementations (with enhancements over
the
Set module in the standard library).
|
Cf_sbheap |
Functional skew binomial heaps with O(1) merge.
|
Cf_rbtree |
Functional red-black binary trees.
|
Cf_gadget |
Monadic composition of complex stream processors.
|
Cf_unicode |
Unicode transcodings.
|
Cf_parser |
Functional LL(x) parsing with monadic combinators.
|
Cf_message |
Functional message buffer chains.
|
Cf_dfa |
Functional composition of lazy deterministic finite automata.
|
Cf_lexer |
Lexical analysis with functional composition of regular grammars.
|
Cf_scan_parser |
Lexical analysis with functional composition using
Scanf scanners.
|
Cf_socket |
Extended network sockets interface.
|
Cf_netif |
Network interface name/index mapping.
|
Cf_nameinfo |
Domain name resolver interface.
|
Cf_sock_common |
Object-oriented interface to extended network sockets interface.
|
Cf_sock_dgram |
Connection-oriented dgram transports with orderly release.
|
Cf_sock_stream |
Connection-oriented stream transports with orderly release.
|
Cf_ip_common |
The well-known protocol identifiers for IPv4 and IPv6 protocols.
|
Cf_ip4_addr |
IPv4 addresses with attribute parameters for type safety.
|
Cf_ip6_addr |
IPv6 addresses with attribute parameters for type safety.
|
Cf_ip4_proto |
The
AF_INET address family (for use with TCP and UDP over IPv4).
|
Cf_ip6_proto |
The
AF_INET6 address family (for use with TCP and UDP over IPv6).
|
Cf_tcp4_socket |
TCP sockets (over IPv4).
|
Cf_tcp6_socket |
TCP sockets (over IPv6).
|
Cf_udp4_socket |
UDP sockets (over IPv4).
|
Cf_udp6_socket |
UDP sockets (over IPv6).
|
Cf_poll |
I/O event multiplexing.
|
Cf_uri |
Operations with Universal Resource Identifier (URI).
|