From: Robert Jones (robertgbjones_at_[hidden])
Date: 2008-07-17 17:04:53
On Thu, Jul 17, 2008 at 9:11 PM, Steven Watanabe <watanabesj_at_[hidden]>
wrote:
> AMDG
>
> Robert Jones wrote:
>
>> Ah... that 's getting there! And so presumably by extension I can write
>>
>> & ( & _1 ->* & V :: value_type :: second ) ->* & S :: pred;
>>
>> or is that a step too far?
>>
>>
>>
>
> I think that you would actually need (untested):
>
> bind(&( & _1 ->* & V :: value_type :: second ) ->* & S :: pred)
>
It's minefield! I too am away from a compiler - I'll give a few options a
whirl
when I'm back in the office.
Thanks, Rob.