Facets Yielders

yielder | Y [d] | Y [of d] | Y [usingI]

    yielder: the sort of all yielders.

   
Y [d]: a sort of yielder, where Y is a sort of action and d is a sort of data. Restricts Y to those yielders which, whenever evaluated, yield data included in d. Note that the union sort Y [d1] | Y [d2] is generally a proper subsort of Y [d1|d2], whereas Y [d1] & Y [d2] is the same sort as Y [d1 & d2], which can also be written as Y [d1] [ d2].

   <
Y [of d]: equivalent to Y [d], but a yielder [of an integer] reads a bit more naturally than yielder [integer].

   
Y [using I]: a sort of yielder, where I is a sort of income. Restricts Y to those yielders which, whenever evaluated, refer at most to the current information indicated by I.
   OBS:These yielders are not implemented by the action interpreter.


    Facets Action Index | Facets Actions | Facets Outcomes | Facets Incomes | Facets Yielders | Facets Data