Index of types


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.