Declarative Yielders

current bindings | the d bound to T | Y1 receiving Y2

   current bindings: a yielder of bindings maps. Yields the collection of bindings received by its evaluation.

   
the d bound to T: a yielder of bindable data, where d is a sort of data and T is a token. Yields the data of sort d to which T is bound by the received bindings, if any.


Example

   
Y1 receiving Y2: a yielder, where Y2 is a yielder of binding maps. Represents evaluation of Y1 using reified bindings instead of current bindings.



    Declarative Action Index | Declarative Actions | Declarative Yielders | Declarative Data