Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     // poly_function_traits.hpp
Chris@16:     // Contains specializations of poly_function_traits and as_mono_function
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:     template<typename PolyFun , typename A0>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0>
Chris@16:     struct as_mono_function_impl<PolyFun(A0), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0>
Chris@16:     struct as_mono_function_impl<PolyFun(A0), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0>
Chris@16:     struct as_mono_function<PolyFun(A0)>
Chris@16:       : as_mono_function_impl<PolyFun(A0), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), is_poly_function<PolyFun>::value>
Chris@16:     {};
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), mpl::size_t<sizeof(poly_function_t)> >
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8 , const A9> function_type;
Chris@16:         typedef typename function_type::result_type result_type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), true>
Chris@16:     {
Chris@16:         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8 , const A9> type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), false>
Chris@16:     {
Chris@16:         typedef PolyFun type;
Chris@16:     };
Chris@16:     
Chris@16:     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
Chris@16:       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), is_poly_function<PolyFun>::value>
Chris@16:     {};