Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     /// \file traits.hpp
Chris@16:     /// Definitions of proto::function, proto::nary_expr and proto::result_of::child_c
Chris@16:     //
Chris@16:     //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16:     //  Software License, Version 1.0. (See accompanying file
Chris@16:     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 0>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child0 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child0>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 0>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child0 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child0>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child0;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 0>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child0 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child0>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child0;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0
Chris@16:             , void , void , void , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0
Chris@16:                     , void , void , void , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list1<A0>, 1> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list1<A0>, 1> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0;
Chris@16:             typedef detail::if_vararg<A0> proto_child1; typedef detail::if_vararg<A0> proto_child2; typedef detail::if_vararg<A0> proto_child3; typedef detail::if_vararg<A0> proto_child4; typedef detail::if_vararg<A0> proto_child5; typedef detail::if_vararg<A0> proto_child6; typedef detail::if_vararg<A0> proto_child7; typedef detail::if_vararg<A0> proto_child8; typedef detail::if_vararg<A0> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0
Chris@16:             , void , void , void , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0
Chris@16:                     , void , void , void , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list1<A0>, 1> type;
Chris@16:             typedef proto::basic_expr<Tag, list1<A0>, 1> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0;
Chris@16:             typedef detail::if_vararg<A0> proto_child1; typedef detail::if_vararg<A0> proto_child2; typedef detail::if_vararg<A0> proto_child3; typedef detail::if_vararg<A0> proto_child4; typedef detail::if_vararg<A0> proto_child5; typedef detail::if_vararg<A0> proto_child6; typedef detail::if_vararg<A0> proto_child7; typedef detail::if_vararg<A0> proto_child8; typedef detail::if_vararg<A0> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename> class T
Chris@16:               , typename A0
Chris@16:             >
Chris@16:             struct is_callable_<T<A0> BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)>
Chris@16:               : is_same<A0, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 1>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child1 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child1>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 1>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child1 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child1>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child1;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 1>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child1 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child1>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child1;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1
Chris@16:             , void , void , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1
Chris@16:                     , void , void , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list2<A0 , A1>, 2> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list2<A0 , A1>, 2> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1;
Chris@16:             typedef detail::if_vararg<A1> proto_child2; typedef detail::if_vararg<A1> proto_child3; typedef detail::if_vararg<A1> proto_child4; typedef detail::if_vararg<A1> proto_child5; typedef detail::if_vararg<A1> proto_child6; typedef detail::if_vararg<A1> proto_child7; typedef detail::if_vararg<A1> proto_child8; typedef detail::if_vararg<A1> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1
Chris@16:             , void , void , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1
Chris@16:                     , void , void , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list2<A0 , A1>, 2> type;
Chris@16:             typedef proto::basic_expr<Tag, list2<A0 , A1>, 2> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1;
Chris@16:             typedef detail::if_vararg<A1> proto_child2; typedef detail::if_vararg<A1> proto_child3; typedef detail::if_vararg<A1> proto_child4; typedef detail::if_vararg<A1> proto_child5; typedef detail::if_vararg<A1> proto_child6; typedef detail::if_vararg<A1> proto_child7; typedef detail::if_vararg<A1> proto_child8; typedef detail::if_vararg<A1> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename> class T
Chris@16:               , typename A0 , typename A1
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1> BOOST_PROTO_TEMPLATE_ARITY_PARAM(2)>
Chris@16:               : is_same<A1, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 2>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child2 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child2>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 2>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child2 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child2>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child2;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 2>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child2 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child2>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child2;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1 , A2
Chris@16:             , void , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2
Chris@16:                     , void , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list3<A0 , A1 , A2>, 3> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list3<A0 , A1 , A2>, 3> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
Chris@16:             typedef detail::if_vararg<A2> proto_child3; typedef detail::if_vararg<A2> proto_child4; typedef detail::if_vararg<A2> proto_child5; typedef detail::if_vararg<A2> proto_child6; typedef detail::if_vararg<A2> proto_child7; typedef detail::if_vararg<A2> proto_child8; typedef detail::if_vararg<A2> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1 , A2
Chris@16:             , void , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2
Chris@16:                     , void , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list3<A0 , A1 , A2>, 3> type;
Chris@16:             typedef proto::basic_expr<Tag, list3<A0 , A1 , A2>, 3> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2;
Chris@16:             typedef detail::if_vararg<A2> proto_child3; typedef detail::if_vararg<A2> proto_child4; typedef detail::if_vararg<A2> proto_child5; typedef detail::if_vararg<A2> proto_child6; typedef detail::if_vararg<A2> proto_child7; typedef detail::if_vararg<A2> proto_child8; typedef detail::if_vararg<A2> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2> BOOST_PROTO_TEMPLATE_ARITY_PARAM(3)>
Chris@16:               : is_same<A2, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 3>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child3 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child3>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 3>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child3 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child3>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child3;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 3>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child3 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child3>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child3;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1 , A2 , A3
Chris@16:             , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2 , A3
Chris@16:                     , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list4<A0 , A1 , A2 , A3>, 4> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list4<A0 , A1 , A2 , A3>, 4> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
Chris@16:             typedef detail::if_vararg<A3> proto_child4; typedef detail::if_vararg<A3> proto_child5; typedef detail::if_vararg<A3> proto_child6; typedef detail::if_vararg<A3> proto_child7; typedef detail::if_vararg<A3> proto_child8; typedef detail::if_vararg<A3> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1 , A2 , A3
Chris@16:             , void , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2 , A3
Chris@16:                     , void , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list4<A0 , A1 , A2 , A3>, 4> type;
Chris@16:             typedef proto::basic_expr<Tag, list4<A0 , A1 , A2 , A3>, 4> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3;
Chris@16:             typedef detail::if_vararg<A3> proto_child4; typedef detail::if_vararg<A3> proto_child5; typedef detail::if_vararg<A3> proto_child6; typedef detail::if_vararg<A3> proto_child7; typedef detail::if_vararg<A3> proto_child8; typedef detail::if_vararg<A3> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2 , typename A3
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2 , A3> BOOST_PROTO_TEMPLATE_ARITY_PARAM(4)>
Chris@16:               : is_same<A3, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 4>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child4 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child4>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 4>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child4 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child4>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child4;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 4>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child4 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child4>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child4;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1 , A2 , A3 , A4
Chris@16:             , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2 , A3 , A4
Chris@16:                     , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list5<A0 , A1 , A2 , A3 , A4>, 5> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list5<A0 , A1 , A2 , A3 , A4>, 5> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
Chris@16:             typedef detail::if_vararg<A4> proto_child5; typedef detail::if_vararg<A4> proto_child6; typedef detail::if_vararg<A4> proto_child7; typedef detail::if_vararg<A4> proto_child8; typedef detail::if_vararg<A4> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1 , A2 , A3 , A4
Chris@16:             , void , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2 , A3 , A4
Chris@16:                     , void , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list5<A0 , A1 , A2 , A3 , A4>, 5> type;
Chris@16:             typedef proto::basic_expr<Tag, list5<A0 , A1 , A2 , A3 , A4>, 5> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4;
Chris@16:             typedef detail::if_vararg<A4> proto_child5; typedef detail::if_vararg<A4> proto_child6; typedef detail::if_vararg<A4> proto_child7; typedef detail::if_vararg<A4> proto_child8; typedef detail::if_vararg<A4> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2 , typename A3 , typename A4
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2 , A3 , A4> BOOST_PROTO_TEMPLATE_ARITY_PARAM(5)>
Chris@16:               : is_same<A4, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 5>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child5 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child5>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 5>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child5 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child5>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child5;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 5>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child5 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child5>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child5;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1 , A2 , A3 , A4 , A5
Chris@16:             , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2 , A3 , A4 , A5
Chris@16:                     , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
Chris@16:             typedef detail::if_vararg<A5> proto_child6; typedef detail::if_vararg<A5> proto_child7; typedef detail::if_vararg<A5> proto_child8; typedef detail::if_vararg<A5> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1 , A2 , A3 , A4 , A5
Chris@16:             , void , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2 , A3 , A4 , A5
Chris@16:                     , void , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> type;
Chris@16:             typedef proto::basic_expr<Tag, list6<A0 , A1 , A2 , A3 , A4 , A5>, 6> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5;
Chris@16:             typedef detail::if_vararg<A5> proto_child6; typedef detail::if_vararg<A5> proto_child7; typedef detail::if_vararg<A5> proto_child8; typedef detail::if_vararg<A5> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename , typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5> BOOST_PROTO_TEMPLATE_ARITY_PARAM(6)>
Chris@16:               : is_same<A5, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 6>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child6 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child6>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 6>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child6 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child6>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child6;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 6>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child6 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child6>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child6;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1 , A2 , A3 , A4 , A5 , A6
Chris@16:             , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2 , A3 , A4 , A5 , A6
Chris@16:                     , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6;
Chris@16:             typedef detail::if_vararg<A6> proto_child7; typedef detail::if_vararg<A6> proto_child8; typedef detail::if_vararg<A6> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1 , A2 , A3 , A4 , A5 , A6
Chris@16:             , void , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2 , A3 , A4 , A5 , A6
Chris@16:                     , void , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> type;
Chris@16:             typedef proto::basic_expr<Tag, list7<A0 , A1 , A2 , A3 , A4 , A5 , A6>, 7> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6;
Chris@16:             typedef detail::if_vararg<A6> proto_child7; typedef detail::if_vararg<A6> proto_child8; typedef detail::if_vararg<A6> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename , typename , typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6> BOOST_PROTO_TEMPLATE_ARITY_PARAM(7)>
Chris@16:               : is_same<A6, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 7>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child7 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child7>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 7>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child7 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child7>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child7;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 7>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child7 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child7>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child7;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
Chris@16:             , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
Chris@16:                     , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7;
Chris@16:             typedef detail::if_vararg<A7> proto_child8; typedef detail::if_vararg<A7> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
Chris@16:             , void , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
Chris@16:                     , void , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> type;
Chris@16:             typedef proto::basic_expr<Tag, list8<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>, 8> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7;
Chris@16:             typedef detail::if_vararg<A7> proto_child8; typedef detail::if_vararg<A7> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename , typename , typename , typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7> BOOST_PROTO_TEMPLATE_ARITY_PARAM(8)>
Chris@16:               : is_same<A7, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 8>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child8 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child8>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 8>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child8 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child8>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child8;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 8>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child8 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child8>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child8;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:         struct function
Chris@16:         <
Chris@16:             A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
Chris@16:             , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
Chris@16:                     , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8;
Chris@16:             typedef detail::if_vararg<A8> proto_child9;
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:         struct nary_expr
Chris@16:         <
Chris@16:             Tag
Chris@16:             , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
Chris@16:             , void
Chris@16:         >
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
Chris@16:                     , void
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> type;
Chris@16:             typedef proto::basic_expr<Tag, list9<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>, 9> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8;
Chris@16:             typedef detail::if_vararg<A8> proto_child9;
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename , typename , typename , typename , typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8> BOOST_PROTO_TEMPLATE_ARITY_PARAM(9)>
Chris@16:               : is_same<A8, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 9>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child9 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child9>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 9>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child9 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child9>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child9;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 9>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child9 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child9>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child9;
Chris@16:                 }
Chris@16:             };
Chris@16:         }
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:         struct function
Chris@16:           : proto::transform<
Chris@16:                 function<
Chris@16:                     A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9
Chris@16:                     
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<proto::tag::function, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> type;
Chris@16:             typedef proto::basic_expr<proto::tag::function, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<function, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef proto::tag::function proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8; typedef A9 proto_child9;
Chris@16:             
Chris@16:         };
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         
Chris@16:         template<typename Tag , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:         struct nary_expr
Chris@16:           : proto::transform<
Chris@16:                 nary_expr<
Chris@16:                     Tag
Chris@16:                     , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9
Chris@16:                     
Chris@16:                 >
Chris@16:               , int
Chris@16:             >
Chris@16:         {
Chris@16:             typedef proto::expr<Tag, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> type;
Chris@16:             typedef proto::basic_expr<Tag, list10<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>, 10> proto_grammar;
Chris@16:             template<typename Expr, typename State, typename Data>
Chris@16:             struct impl
Chris@16:               : detail::pass_through_impl<nary_expr, deduce_domain, Expr, State, Data>
Chris@16:             {};
Chris@16:             
Chris@16:             typedef Tag proto_tag;
Chris@16:             typedef A0 proto_child0; typedef A1 proto_child1; typedef A2 proto_child2; typedef A3 proto_child3; typedef A4 proto_child4; typedef A5 proto_child5; typedef A6 proto_child6; typedef A7 proto_child7; typedef A8 proto_child8; typedef A9 proto_child9;
Chris@16:             
Chris@16:         };
Chris@16:         namespace detail
Chris@16:         {
Chris@16:             template<
Chris@16:                 template<typename , typename , typename , typename , typename , typename , typename , typename , typename , typename> class T
Chris@16:               , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9
Chris@16:             >
Chris@16:             struct is_callable_<T<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> BOOST_PROTO_TEMPLATE_ARITY_PARAM(10)>
Chris@16:               : is_same<A9, callable>
Chris@16:             {};
Chris@16:         }
Chris@16:         namespace result_of
Chris@16:         {
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr, 10>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child10 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child10>::value_type type;
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr &, 10>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child10 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child10>::reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child10;
Chris@16:                 }
Chris@16:             };
Chris@16:             template<typename Expr>
Chris@16:             struct child_c<Expr const &, 10>
Chris@16:             {
Chris@16:                 
Chris@16:                 BOOST_STATIC_ASSERT(0 != Expr::proto_arity_c);
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename Expr::proto_child10 value_type;
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 
Chris@16:                 typedef typename detail::expr_traits<typename Expr::proto_child10>::const_reference type;
Chris@16:                 
Chris@16:                 
Chris@16:                 BOOST_FORCEINLINE
Chris@16:                 static type call(Expr const &e)
Chris@16:                 {
Chris@16:                     return e.proto_base().child10;
Chris@16:                 }
Chris@16:             };
Chris@16:         }