Directive Actions

indirectly bind T to Y | redirect T to Y | undirect T | recursively bind T to Y | indirectly produce Y

   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.


    Directive Action Index | Directive Actions | Directive Yielders | Directive Data