Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: /// \file pop_back.hpp
Chris@16: /// Proto callables Fusion pop_back
Chris@16: //
Chris@16: //  Copyright 2010 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: #ifndef BOOST_PROTO_FUNCTIONAL_FUSION_POP_BACK_HPP_EAN_11_27_2010
Chris@16: #define BOOST_PROTO_FUNCTIONAL_FUSION_POP_BACK_HPP_EAN_11_27_2010
Chris@16: 
Chris@16: #include <boost/fusion/include/begin.hpp>
Chris@16: #include <boost/fusion/include/end.hpp>
Chris@16: #include <boost/fusion/include/prior.hpp>
Chris@16: #include <boost/fusion/include/pop_back.hpp>
Chris@16: #include <boost/proto/proto_fwd.hpp>
Chris@16: 
Chris@16: namespace boost { namespace proto { namespace functional
Chris@16: {
Chris@16:     /// \brief A PolymorphicFunctionObject type that invokes the
Chris@16:     /// \c fusion::pop_back() algorithm on its argument.
Chris@16:     ///
Chris@16:     /// A PolymorphicFunctionObject type that invokes the
Chris@16:     /// \c fusion::pop_back() algorithm on its argument.
Chris@16:     struct pop_back
Chris@16:     {
Chris@16:         BOOST_PROTO_CALLABLE()
Chris@16: 
Chris@16:         template<typename Sig>
Chris@16:         struct result;
Chris@16: 
Chris@16:         template<typename This, typename Seq>
Chris@16:         struct result<This(Seq)>
Chris@16:           : result<This(Seq const &)>
Chris@16:         {};
Chris@16: 
Chris@16:         template<typename This, typename Seq>
Chris@16:         struct result<This(Seq &)>
Chris@16:           : fusion::result_of::pop_back<Seq>
Chris@16:         {};
Chris@16: 
Chris@16:         template<typename Seq>
Chris@16:         typename fusion::result_of::pop_back<Seq>::type
Chris@16:         operator ()(Seq &seq) const
Chris@16:         {
Chris@16:             // Work around a const-correctness issue in Fusion
Chris@16:             typedef typename fusion::result_of::pop_back<Seq>::type result_type;
Chris@16:             return result_type(fusion::begin(seq), fusion::prior(fusion::end(seq)));
Chris@16:         }
Chris@16: 
Chris@16:         template<typename Seq>
Chris@16:         typename fusion::result_of::pop_back<Seq const>::type
Chris@16:         operator ()(Seq const &seq) const
Chris@16:         {
Chris@16:             return fusion::pop_back(seq);
Chris@16:         }
Chris@16:     };
Chris@16: }}}
Chris@16: 
Chris@16: #endif