Basic Yielders

the d yielded by Y | yielder

   
the d yielded by Y: a yielder, where d is a sort of data and Y is a yielder. When Y yields an individual, it yields that individual, provided that the individual is included in the sort, otherwise it yields nothing.

  • Every data-operation (i.e., operation specified for arguments included in data) is extended to arguments of sort yielder. The application of a data operation to yielders yields whatever is yielded by applying the data operation to the data yielded by the arguments. For instance, sum(Y1, Y2) yields the numerical sum of whatever Y1 and Y2 yield.

   
yielder: the sort of all yielders.


    Basic Action Index | Basic Actions | Basic Yielders | Basic Data