
Larry Evans wrote:
On 08/09/2007 04:10 PM, shunsuke wrote: [snip]
FWIW, oven(http://tinyurl.com/2axp2l) implemented that. :-) In .html file:
/libs/oven/doc/html/oven/concepts.html
there's:
For any Pipable Object p the following must be met:
* x|p(x1,..,xN) is a valid expression if and only if make_p(x, x1,..xN) is a valid expression.
If p is actually, my_p, does this mean make_p in the above constraint is actually make_my_p?
Yes. For example, make_filtered(rng, pred) is a valid expression, because rng|filtered(pred) is stated as a valid expression.
I ask because, otherwise, I don't see why there's any need to mention p(x1,...,xN).
Sorry, I couldn't understand this sentence because of my poor english. What do "mention" exactly mean? -- Shunsuke Sogame