All primitive directive actions:
- Give no transients.
- Make no changes to storage.
- Do not communicate.
There are no special directive action combinators.
indirectly bind
T to Y : a primitive directive action, where T is a token and
Y is a yielder. Represents creating a piece of scoped
information for subsequent redirection.
- Indivisible. Completes when Y yields data of sort
bindable or the individual datum unknown . Fails otherwise.
- Produces the binding of the token T to an indirection.
- Augments the current redirections with the indirection,
initialized to refer to the data yielded by Y .
Example
redirect
T to Y : a primitive directive
action, where T is a token and Y is a yielder.
Represents redirecting a piece of scoped information so as to create a
circular structure.
- Indivisible. Completes when Y yields data of sort
bindable or unknown . Fails otherwise.
- Produces no bindings.
- Redirects the indirection bound to T to refer to the data yielded by
Y.
Example
undirect T : a primitive directive action,
where T is a token. Indicates that an indirection can be reused.
- Indivisible. Completes.
- Produces no bindings.
- Redirects the indirection bound to T to
unknown , and
makes it available for reuse.
OBS:This action is not implemented by the action interpreter.
recursively bind
T to Y : a directive action, where T is a token and Y is a yielder. Represents creating a piece of scoped
information and redirecting it so as to create a circular structure.
The yielder Y is evaluated in the scope of an indirect
binding for T .
- Indivisible. Completes when Y yields data of sort
bindable (or unknown ). Fails otherwise.
- Produces the binding of the token T to an indirection.
- Augments the current redirections with the indirection,
initialized to refer to the data yielded by evaluating Y using
the current bindings overlaid by the indirect binding for T .
Example
indirectly produce
Y : a primitive directive
action. Represents reflection of reified stable information.
- Indivisible. Completes when Y yields a datum of sort
redirections.
- Makes the redirections yielded by Y .
OBS:This action is not implemented by the action interpreter.
|