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
cursor class defined below that indicates the
character index, row and column in the input stream associated with a
cursor position.
|
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
('s, 'i, 'o) work
using the guard function.
|
gate [Cf_gadget] |
A gating sequence for receiving messages using the
guard function.
|
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
Cf_parser.cursor class object.
|
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
stdout and stderr below.
|
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
'x from a sender to a
a receiver in a ('s, 'i, 'o) work continuation.
|
wire [Cf_gadget] |
An object capable of delivering messages of type
'x from a sender to a
a receiver in a ('i, 'o) work continuation.
|
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
Cf_flow object.
|
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.
|