A | |
abs_path_v [Cf_uri] |
The type of hierarchical URI absolute paths.
|
abs_special_hier_t [Cf_uri] |
The type of absolute hierarchical URI paths with optional query parts.
|
abs_special_t [Cf_uri] |
The sum type of absolute URI parts.
|
absolute_t [Cf_uri] |
The type of absolute URI.
|
address_t [Cf_sock_common.T] |
The specialized address type.
|
address_t [Cf_socket.AF] |
The concrete type of the socket address for the address family.
|
addrinfo_t [Cf_nameinfo] |
The type of elements in the list returned by the
to_address function.
|
authority_t [Cf_uri] |
The type of "authority" components of hierarchical URI's.
|
B | |
basic_t [Cf_journal.Basic] |
The priority levels corresponding to events that the basic agent has
public methods for journaling.
|
broadcast [Cf_ip4_addr] |
The shadow attribute type of IPv4 addresses of the Broadcast category.
|
C | |
category [Cf_ip4_addr] |
The IPv4 address category type.
|
cell_t [Cf_flow] | |
cell_t [Cf_seq] | |
counter_t [Cf_lexer] |
A record used by the
line_cursor class defined below that indicates the
character index, row and column in the input stream associated with a
cursor position.
|
D | |
debug_t [Cf_journal.Basic] |
The priority level for events describing internal processing of the
program for the purpose of diagnosing programming errors.
|
domain_t [Cf_socket] |
The abstract type of socket domain identifiers.
|
duplex_t [Cf_gadget] |
A convenience type combining two wires into a pair of
rx and tx
tuples, one tuple for each end of a duplex communication.
|
E | |
enable_t [Cf_journal.Basic] |
Additional priority levels corresponding to limit levels in the basic
event prioritizer used for completely enabling or disabling all
messages.
|
error_t [Cf_journal.Basic] |
The priority level for events indicating that a program has encountered
invalid input.
|
experimental [Cf_ip4_addr] |
The shadow attribute type of IPv4 addresses of the Experimental category.
|
expr_t [Cf_lexer] |
The type of lexer expressions.
|
expr_t [Cf_dfa.T] |
The type of an expression in the regular grammar of an automaton.
|
F | |
fail_t [Cf_journal.Basic] |
The priority level for events indicating that an internal program
function is undefined for the given arguments.
|
format [Cf_ip6_addr] |
The type of IPv6 address formats.
|
G | |
gate_t [Cf_gadget] |
A gate for receiving messages in a process of type
('s, 'i, 'o) process_t
using the guard function.
|
guard_t [Cf_gadget] |
A guard for receiving a message from one or more sources.
|
H | |
host_t [Cf_uri] |
The sum type of "host" components of hierarchical URI's.
|
I | |
info_t [Cf_journal.Basic] |
The priority level for events indicating significant information about
the processing of the program useful for diagnosing external processes.
|
invalid_t [Cf_journal.Basic] |
The priority level for events indicating that an internal program
function has been called with invalid arguments.
|
L | |
level_t [Cf_journal.Basic] |
The sum of all basic priority levels.
|
M | |
more_t [Cf_poll] |
The sum type of results from cycling a polling mux.
|
mreq_t [Cf_ip6_proto] |
The multicast request type
|
mreq_t [Cf_ip4_proto] |
The multicast request type
|
msg_flags_t [Cf_socket] |
The record used to select the flags used with the
send and recv
functions (and their cognates).
|
multicast [Cf_ip6_addr] |
The shadow attribute of multicast IPv6 addresses.
|
multicast [Cf_ip4_addr] |
The shadow attribute type of IPv4 addresses of the Multicast category.
|
multicast_flag [Cf_ip6_addr] |
The type of IPv6 multicast address format flags.
|
multicast_group_id [Cf_ip6_addr] |
The shadow attribute of multicast group identifiers.
|
multicast_realm [Cf_ip4_addr] |
The type of multicast address realms.
|
multicast_scope [Cf_ip6_addr] |
The type of IPv6 multicast address scopes.
|
N | |
net_path_t [Cf_uri] |
The type of network paths in hierarchical URI's.
|
net_path_v [Cf_uri] |
The type of hierarchical URI network paths.
|
network_t [Cf_ip4_addr] |
The type of an IPv4 network identifier.
|
O | |
of_address_flags_t [Cf_nameinfo] |
The type of flags used with the
of_address function to control the
parameters of queries for host and service names.
|
opaque [Cf_ip6_addr] |
The shadow attribute type of IPv6 addresses of unknown format.
|
opaque [Cf_ip4_addr] |
The shadow attribute type of IPv4 addresses of unknown category.
|
P | |
path_t [Cf_uri] |
The sum type of hierarchical URI paths.
|
protocol_t [Cf_socket] |
The abstract type of socket protocol identifiers.
|
R | |
reference_t [Cf_uri] |
The type of URI references.
|
rel_path_v [Cf_uri] |
The type of hierarchical URI relative paths.
|
relative_t [Cf_uri] |
The type of relative URI.
|
rule_t [Cf_lexer] |
The type of lexer rules.
|
rule_t [Cf_dfa.T] |
The type of a rule for recognizing a sequence of symbols according to
the regular grammar of an automaton and producing an output token.
|
S | |
segment_t [Cf_uri] |
The type of path segments in hierarchical URI's.
|
server_t [Cf_uri] |
The type of "server" components of hierarchical URI's.
|
simplex_t [Cf_gadget] |
A convenience type combining the
rx and tx objects of a wire.
|
sockaddr_t [Cf_socket] |
The abstract type of socket address structures.
|
sockopt_t [Cf_socket] |
The abstract type of socket option identifiers.
|
socktype_t [Cf_socket] |
The abstract type of socket type identifiers.
|
state_t [Cf_poll] |
The basic polymorphic sum type for the state of an I/O event.
|
T | |
t [Cf_uri] |
The type of URI.
|
t [Cf_poll] |
A polling mux.
|
t [Cf_ip6_addr] |
The type of IPv4 addresses, parameterized by address format attribute.
|
t [Cf_ip4_addr] |
The type of IPv4 addresses, parameterized by address category attribute.
|
t [Cf_sock_common.T] |
The specialized socket type.
|
t [Cf_socket] |
The abstract type of socket descriptors.
|
t [Cf_lexer] |
The type of lexical analyzers, which are defined as parsers that use input
symbols of type
char .
|
t [Cf_dfa.Symbol_T] |
The symbol type
|
t [Cf_dfa.T] |
A deterministic finite automata is a function of type
Cf_parser.X.t
that recognizes a stream of input symbols woven with objects of a
cursor class, and produces output according to the types of the rules
used in the composition of the automaton.
|
t [Cf_message] |
The type of messages, i.e.
|
t [Cf_parser.X] |
A parser where every token in the input sequence is accompanied by a
Cf_parser.cursor class object.
|
t [Cf_parser] |
The parser monad.
|
t [Cf_gadget] |
A continuation monad parameterized by process type.
|
t [Cf_set.T.Element] | |
t [Cf_set.T] |
The set type
|
t [Cf_map.T.Key] | |
t [Cf_map.T] |
The tree type.
|
t [Cf_pqueue.T.Key] | |
t [Cf_pqueue.T] |
The priority queue type
|
t [Cf_heap.T.Element] | |
t [Cf_heap.T] |
The heap type
|
t [Cf_flow] |
A stream processor
|
t [Cf_deque] |
The abstract type of a deque.
|
t [Cf_seq] |
A lazily-evaluated sequence.
|
t [Cf_stdtime] |
A record with field for each component of a standard time value.
|
t [Cf_tai64n] |
Abstract values of TAI64N type
|
t [Cf_tai64] |
Abstract values of TAI64 type
|
t [Cf_scmonad] |
The state-continuation monad.
|
t [Cf_cmonad] |
The continuation monad: a function for passing intermediate results from
continuation context to continuation context.
|
t [Cf_smonad] |
The state monad.
|
t [Cf_exnopt] | |
t [Cf_either] | |
t [Cf_ordered.Total_T] |
An abstract type
|
tag_t [Cf_socket.ST] |
The shadow type.
|
tag_t [Cf_socket.AF] |
The shadow type
|
to_address_arg_t [Cf_nameinfo] |
The argument to the
to_address function.
|
to_address_flags_t [Cf_nameinfo] |
The type of flags used with the
to_address function to control the
parameters of queries for host addresses and service numbers.
|
U | |
unicast [Cf_ip6_addr] |
The shadow attribute of unicast IPv6 addresses.
|
unicast [Cf_ip4_addr] |
The shadow attribute type of IPv4 addresses of the Unicast category.
|
unicast_format [Cf_ip6_addr] |
The type of unicast address formats.
|
unicast_realm [Cf_ip4_addr] |
The type of unicast address realms.
|
unresolved_t [Cf_nameinfo] |
The sum type of exception conditions
|
unspecified [Cf_ip6_addr] |
The shadow attribute of the IPv6 unspecified address.
|
unspecified [Cf_ip4_addr] |
The shadow attribute type of IPv4 addresses of the Unspecified category.
|
V | |
v4compat [Cf_ip6_addr] |
The shadow attribute of "v4-compat" unicast addresses
|
v4mapped [Cf_ip6_addr] |
The shadow attribute of "v4-mapped" unicast addresses
|
W | |
warn_t [Cf_journal.Basic] |
The priority level for events indicating that a program has encountered
unexpected input.
|
wire_t [Cf_gadget] |
An object capable of delivering messages of type
'x from a sender to a
a receiver in a ('s, 'i, 'o) work_t continuation.
|
work_t [Cf_gadget] |
An functionally compositional unit of work in a gadget.
|