I am not sure if this is the best way to do it in either Lambda nor Phoenix (I'm pretty sure that even with lambda, you are going beyond the documentation, no?).
I guess that extracting subexpressions (and subexpression types) of an expression goes beyond Lambda and Phoenix documentation. and yes that is what I am trying to do.
However, I am not knowledgeable enough of the domain you are involved with, nor do I know what qawc means.
qawc is an interface to http://tinyurl.com/gslqwac now you can imagine what I a trying to do, basically extract the function information from a lambda expression.
In Phoenix (see Actors In Detail at:http://tinyurl.com/24wlduz), a lambda is always an:
actor<Eval> The documented "result" protocol for Eval is:
T::result<Env>::type
where Env is your environment (See the link I provided above). Typically, for client use, the environment is just basic_environment<...>.
well I tried this and didn't work
typename
actor<LambdaExp>::result ::type now my closest guess is
typename actor<LambdaExp>::template
result