Re: [boost] [oven][docs] make_p under "Pipeable Object" unclear(was Re: [Iterator] Adaptors for accessing keys/values in associative containers

From: shunsuke (pstade.mb_at_[hidden])
Date: 2007-08-10 22:21:18

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