#ifndef BOOST_MPL_INSERT_IMPL_HPP_INCLUDED #define BOOST_MPL_INSERT_IMPL_HPP_INCLUDED // Copyright Aleksey Gurtovoy 2000-2004 // // Distributed under the Boost Software License, Version 1.0. // (See accompanying file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt) // // See http://www.boost.org/libs/mpl for documentation. // $Id$ // $Date$ // $Revision$ #include <boost/mpl/reverse_fold.hpp> #include <boost/mpl/iterator_range.hpp> #include <boost/mpl/clear.hpp> #include <boost/mpl/push_front.hpp> #include <boost/mpl/aux_/na_spec.hpp> #include <boost/mpl/aux_/traits_lambda_spec.hpp> #include <boost/type_traits/is_same.hpp> namespace boost { namespace mpl { // default implementation; conrete sequences might override it by // specializing either the 'insert_impl' or the primary 'insert' template template< typename Tag > struct insert_impl { template< typename Sequence , typename Pos , typename T > struct apply { typedef iterator_range< typename begin<Sequence>::type , Pos > first_half_; typedef iterator_range< Pos , typename end<Sequence>::type > second_half_; typedef typename reverse_fold< second_half_ , typename clear<Sequence>::type , push_front<_,_> >::type half_sequence_; typedef typename reverse_fold< first_half_ , typename push_front<half_sequence_,T>::type , push_front<_,_> >::type type; }; }; BOOST_MPL_ALGORITM_TRAITS_LAMBDA_SPEC(3,insert_impl) }} #endif // BOOST_MPL_INSERT_IMPL_HPP_INCLUDED