Index of types

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.