A metafunction that returns the type of the value of a terminal Proto expression. More...
#include <traits.hpp>
Public Types | |
typedef Expr::proto_child0 | value_type |
The raw type of the Nth child as it is stored within Expr . More... | |
typedef detail::term_traits < typename Expr::proto_child0 > ::value_type | type |
The "value" type of the child, suitable for storage by value, computed as follows: More... | |
Public Member Functions | |
BOOST_STATIC_ASSERT (0==Expr::proto_arity_c) | |
Verify that we are actually operating on a terminal. More... | |
A metafunction that returns the type of the value of a terminal Proto expression.
typedef detail::term_traits<typename Expr::proto_child0>::value_type boost::proto::result_of::value< Expr >::type |
The "value" type of the child, suitable for storage by value, computed as follows:
T const(&)[N]
becomes T[N]
T[N]
becomes T[N]
T(&)[N]
becomes T[N]
R(&)(A0,...)
becomes R(&)(A0,...)
T const &
becomes T
T &
becomes T
T
becomes T
typedef Expr::proto_child0 boost::proto::result_of::value< Expr >::value_type |
The raw type of the Nth child as it is stored within Expr
.
This may be a value or a reference
boost::proto::result_of::value< Expr >::BOOST_STATIC_ASSERT | ( | 0 | = =Expr::proto_arity_c | ) |
Verify that we are actually operating on a terminal.