/*============================================================================= | |
Copyright (c) 2001-2006 Joel de Guzman | |
Copyright (c) 2006 Dan Marsden | |
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) | |
==============================================================================*/ | |
#if !defined(FUSION_END_IMPL_20060123_2208) | |
#define FUSION_END_IMPL_20060123_2208 | |
#include <boost/fusion/view/zip_view/zip_view_iterator_fwd.hpp> | |
#include <boost/fusion/sequence/intrinsic/end.hpp> | |
#include <boost/fusion/sequence/intrinsic/begin.hpp> | |
#include <boost/fusion/sequence/intrinsic/size.hpp> | |
#include <boost/fusion/sequence/intrinsic/front.hpp> | |
#include <boost/fusion/iterator/advance.hpp> | |
#include <boost/fusion/algorithm/transformation/transform.hpp> | |
#include <boost/type_traits/remove_reference.hpp> | |
#include <boost/type_traits/is_reference.hpp> | |
#include <boost/mpl/assert.hpp> | |
#include <boost/mpl/min.hpp> | |
#include <boost/mpl/eval_if.hpp> | |
#include <boost/mpl/identity.hpp> | |
#include <boost/type_traits/is_same.hpp> | |
namespace boost { namespace fusion { | |
struct zip_view_tag; | |
namespace detail | |
{ | |
template<typename SeqRef, typename M> | |
struct get_endpoint | |
{ | |
typedef typename remove_reference<SeqRef>::type Seq; | |
typedef typename result_of::begin<Seq>::type begin; | |
typedef typename result_of::advance<begin, M>::type type; | |
}; | |
template<typename M> | |
struct endpoints | |
{ | |
template<typename T> | |
struct result; | |
template<typename M1, typename SeqRef> | |
struct result<endpoints<M1>(SeqRef)> | |
: mpl::eval_if<is_same<SeqRef, unused_type const&>, | |
mpl::identity<unused_type>, | |
get_endpoint<SeqRef, M> > | |
{ | |
BOOST_MPL_ASSERT((is_reference<SeqRef>)); | |
}; | |
template<typename Seq> | |
typename result<endpoints(Seq&)>::type | |
operator()(Seq& seq) const | |
{ | |
return fusion::advance<M>(fusion::begin(seq)); | |
} | |
template<typename Seq> | |
typename result<endpoints(Seq const&)>::type | |
operator()(Seq const& seq) | |
{ | |
return fusion::advance<M>(fusion::begin(seq)); | |
} | |
unused_type operator()(unused_type const&) const | |
{ | |
return unused_type(); | |
} | |
}; | |
} | |
namespace extension | |
{ | |
template<typename Tag> | |
struct end_impl; | |
template<> | |
struct end_impl<zip_view_tag> | |
{ | |
template<typename Sequence> | |
struct apply | |
{ | |
typedef zip_view_iterator< | |
typename result_of::transform<typename Sequence::sequences, detail::endpoints<typename Sequence::size> >::type, | |
typename Sequence::category> type; | |
static type | |
call(Sequence& sequence) | |
{ | |
return type( | |
fusion::transform(sequence.sequences_, detail::endpoints<typename Sequence::size>())); | |
} | |
}; | |
}; | |
} | |
}} | |
#endif |