B | |
basic [Cf_journal.Basic] | The priority levels corresponding to events that the basic agent has public methods for journaling. |
C | |
cell [Cf_flow] | |
cell [Cf_seq] | |
counter [Cf_lex] | A record used by the |
D | |
debug [Cf_journal.Basic] | The priority level for events describing internal processing of the program for the purpose of diagnosing programming errors. |
E | |
enable [Cf_journal.Basic] | Additional priority levels corresponding to limit levels in the basic event prioritizer used for completely enabling or disabling all messages. |
error [Cf_journal.Basic] | The priority level for events indicating that a program has encountered invalid input. |
F | |
fail [Cf_journal.Basic] | The priority level for events indicating that an internal program function has failed, results may have been lost and recovery is not expected. |
fix [Cf_state_gadget] | |
fix [Cf_gadget] | |
G | |
gate [Cf_state_gadget] | A gate for receiving messages in a process of type |
gate [Cf_gadget] | A gating sequence for receiving messages using the |
guard [Cf_state_gadget] | A guard for receiving a message from one or more sources. |
guard [Cf_gadget] | A guard for receiving a message from one or more sources. |
I | |
info [Cf_journal.Basic] | The priority level for events indicating normal information about the processing of the program useful for diagnosing external processes. |
invalid [Cf_journal.Basic] | The priority level for events indicating that an internal program function has been called with invalid arguments. |
L | |
level [Cf_journal.Basic] | The sum of all basic priority levels. |
M | |
map [Cf_dfa.Symbol_T] | The type of maps from symbols to polymorphic types. |
N | |
notice [Cf_journal.Basic] | The priority level for events indicating exceptional information about the processing of the program useful for diagnosing external processes. |
P | |
pad [Cf_state_gadget] | A pair of convenience types for representing each end of a bundle of two wires used for duplex communication. |
pad [Cf_gadget] | A pair of convenience types for representing each end of a bundle of two wires used for duplex communication. |
R | |
r [Cf_lex.X] | The type of lexical analysis rules. |
r [Cf_lex] | The type of lexical analysis rules. |
r [Cf_dfa.T.X] | The type of a rule for recognizing a sequence of symbols in a stream woven with a cursor stream and according to the regular grammar of an automaton and producing an output token. |
r [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 | |
substring [Cf_message] | The type of messages, i.e. |
T | |
t [Cf_lex.X] | Woven character stream parser. |
t [Cf_lex] | Character stream parser. |
t [Cf_regex] | An abstract type representing a regular expression. |
t [Cf_dfa.T.X] | An extended parser that works on pairs of symbols and cursor objects and used in the automaton. |
t [Cf_dfa.Symbol_T] | The symbol type |
t [Cf_dfa.T] | A parser that works on the symbols used in the automaton. |
t [Cf_message] | |
t [Cf_parser.X] | A parser where every token in the input sequence is accompanied by a
|
t [Cf_parser] | The parser monad. |
t [Cf_state_gadget] | A continuation monad parameterized by process type. |
t [Cf_gadget] | A continuation monad parameterized by work unit 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_journal] | The type of the most basic agent, used for |
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 |
W | |
warn [Cf_journal.Basic] | The priority level for events indicating that a program has encountered unexpected input, indicating that an external process may have failed. |
wire [Cf_state_gadget] | An object capable of delivering messages of type |
wire [Cf_gadget] | An object capable of delivering messages of type |
work [Cf_state_gadget] | An functionally compositional unit of work in a gadget. |
work [Cf_gadget] | An functionally compositional work unit in a gadget, encapsulating the
state-continuation monad for the underlying |
X | |
x [Cf_lex] | The type of regular expressions. |
x [Cf_dfa.T] | The type of an expression in the regular grammar of an automaton. |