Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     /// \file lazy.hpp
Chris@16:     /// Contains definition of the lazy<> transform.
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:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object >
Chris@16:     struct lazy<Object()>
Chris@16:       : transform<lazy<Object()> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 ()
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0>
Chris@16:     struct lazy<Object(A0)>
Chris@16:       : transform<lazy<Object(A0)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0>
Chris@16:     struct lazy<Object(A0...)>
Chris@16:       : transform<lazy<Object(A0...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A0
Chris@16:                   , detail::expand_pattern_rest_0<
Chris@16:                         Object
Chris@16:                         
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1>
Chris@16:     struct lazy<Object(A0 , A1)>
Chris@16:       : transform<lazy<Object(A0 , A1)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1>
Chris@16:     struct lazy<Object(A0 , A1...)>
Chris@16:       : transform<lazy<Object(A0 , A1...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A1
Chris@16:                   , detail::expand_pattern_rest_1<
Chris@16:                         Object
Chris@16:                         , A0
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2>
Chris@16:     struct lazy<Object(A0 , A1 , A2)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2>
Chris@16:     struct lazy<Object(A0 , A1 , A2...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A2
Chris@16:                   , detail::expand_pattern_rest_2<
Chris@16:                         Object
Chris@16:                         , A0 , A1
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2 , A3)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A3
Chris@16:                   , detail::expand_pattern_rest_3<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2 , A3 , A4)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A4
Chris@16:                   , detail::expand_pattern_rest_4<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2 , A3 , A4 , A5)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A5
Chris@16:                   , detail::expand_pattern_rest_5<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2 , A3 , A4 , A5 , A6)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A6
Chris@16:                   , detail::expand_pattern_rest_6<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A7
Chris@16:                   , detail::expand_pattern_rest_7<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5 , A6
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A8
Chris@16:                   , detail::expand_pattern_rest_8<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : call<
Chris@16:                 typename make<Object>::template impl<Expr, State, Data>::result_type
Chris@16:                 (A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)>
Chris@16:       : transform<lazy<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : lazy<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A9
Chris@16:                   , detail::expand_pattern_rest_9<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };