Chris@16: /*=============================================================================
Chris@16:     Copyright (c) 2001-2011 Joel de Guzman
Chris@16:     Copyright (c) 2006 Dan Marsden
Chris@16: 
Chris@16:     Distributed under the Boost Software License, Version 1.0. (See accompanying 
Chris@16:     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: ==============================================================================*/
Chris@16: #if !defined(FUSION_ZIP_VIEW_23012006_0813)
Chris@16: #define FUSION_ZIP_VIEW_23012006_0813
Chris@16: 
Chris@101: #include <boost/fusion/support/config.hpp>
Chris@16: #include <boost/fusion/support/sequence_base.hpp>
Chris@16: #include <boost/fusion/support/unused.hpp>
Chris@16: #include <boost/fusion/iterator/equal_to.hpp>
Chris@16: #include <boost/fusion/view/detail/strictest_traversal.hpp>
Chris@16: #include <boost/fusion/view/zip_view/detail/begin_impl.hpp>
Chris@16: #include <boost/fusion/view/zip_view/detail/end_impl.hpp>
Chris@16: #include <boost/fusion/view/zip_view/detail/size_impl.hpp>
Chris@16: #include <boost/fusion/view/zip_view/detail/at_impl.hpp>
Chris@16: #include <boost/fusion/view/zip_view/detail/value_at_impl.hpp>
Chris@16: #include <boost/fusion/container/vector/convert.hpp>
Chris@16: #include <boost/fusion/algorithm/query/find_if.hpp>
Chris@16: #include <boost/fusion/sequence/intrinsic/end.hpp>
Chris@16: #include <boost/fusion/sequence/intrinsic/size.hpp>
Chris@16: #include <boost/fusion/mpl.hpp>
Chris@16: #include <boost/fusion/algorithm/transformation/remove.hpp>
Chris@16: 
Chris@16: #include <boost/mpl/assert.hpp>
Chris@16: #include <boost/mpl/not.hpp>
Chris@16: #include <boost/mpl/placeholders.hpp>
Chris@16: #include <boost/mpl/transform_view.hpp>
Chris@16: #include <boost/mpl/at.hpp>
Chris@16: #include <boost/mpl/find_if.hpp>
Chris@16: #include <boost/mpl/equal_to.hpp>
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/remove_reference.hpp>
Chris@16: #include <boost/type_traits/is_reference.hpp>
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: 
Chris@16: namespace boost { namespace fusion {
Chris@16: 
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<typename Sequences>
Chris@16:         struct all_references
Chris@16:             : fusion::result_of::equal_to<typename fusion::result_of::find_if<Sequences, mpl::not_<is_reference<mpl::_> > >::type, typename fusion::result_of::end<Sequences>::type>
Chris@16:         {};
Chris@16: 
Chris@16:         struct seq_ref_size
Chris@16:         {
Chris@16:             template<typename Params>
Chris@16:             struct result;
Chris@16: 
Chris@16:             template<typename Seq>
Chris@16:             struct result<seq_ref_size(Seq)>
Chris@16:             {
Chris@16:                 static int const high_int = static_cast<int>(
Chris@16:                     (static_cast<unsigned>(~0) >> 1) - 1);
Chris@16: 
Chris@16:                 typedef typename remove_reference<Seq>::type SeqClass;
Chris@16: 
Chris@16:                 typedef typename mpl::eval_if<
Chris@16:                     traits::is_forward<SeqClass>,
Chris@16:                     result_of::size<SeqClass>,
Chris@16:                     mpl::int_<high_int> >::type type;
Chris@16:             };
Chris@16: 
Chris@16:             // never called, but needed for decltype-based result_of (C++0x)
Chris@16: #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
Chris@16:             template<typename Seq>
Chris@101:             BOOST_FUSION_GPU_ENABLED
Chris@16:             typename result<seq_ref_size(Seq)>::type
Chris@16:             operator()(Seq&&) const;
Chris@16: #endif
Chris@16:         };
Chris@16: 
Chris@16:         struct poly_min
Chris@16:         {
Chris@16:             template<typename T>
Chris@16:             struct result;
Chris@16: 
Chris@16:             template<typename Lhs, typename Rhs>
Chris@16:             struct result<poly_min(Lhs, Rhs)>
Chris@16:             {
Chris@16:                 typedef typename remove_reference<Lhs>::type lhs;
Chris@16:                 typedef typename remove_reference<Rhs>::type rhs;
Chris@16:                 typedef typename mpl::min<lhs, rhs>::type type;
Chris@16:             };
Chris@16: 
Chris@16:             // never called, but needed for decltype-based result_of (C++0x)
Chris@16: #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
Chris@16:             template<typename Lhs, typename Rhs>
Chris@101:             BOOST_FUSION_GPU_ENABLED
Chris@16:             typename result<poly_min(Lhs, Rhs)>::type
Chris@16:             operator()(Lhs&&, Rhs&&) const;
Chris@16: #endif
Chris@16:         };
Chris@16: 
Chris@16:         template<typename Sequences>
Chris@16:         struct min_size
Chris@16:         {
Chris@16:             typedef typename result_of::transform<Sequences, detail::seq_ref_size>::type sizes;
Chris@16:             typedef typename result_of::fold<sizes, typename result_of::front<sizes>::type, detail::poly_min>::type type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     struct zip_view_tag;
Chris@16:     struct fusion_sequence_tag;
Chris@16: 
Chris@16:     template<typename Sequences>
Chris@16:     struct zip_view : sequence_base< zip_view<Sequences> >
Chris@16:     {
Chris@16:         typedef typename result_of::remove<Sequences, unused_type const&>::type real_sequences;
Chris@16:         BOOST_MPL_ASSERT((detail::all_references<Sequences>));
Chris@16:         typedef typename detail::strictest_traversal<real_sequences>::type category;
Chris@16:         typedef zip_view_tag fusion_tag;
Chris@16:         typedef fusion_sequence_tag tag; // this gets picked up by MPL
Chris@16:         typedef mpl::true_ is_view;
Chris@16:         typedef typename fusion::result_of::as_vector<Sequences>::type sequences;
Chris@16:         typedef typename detail::min_size<real_sequences>::type size;
Chris@16: 
Chris@101:         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
Chris@16:         zip_view(
Chris@16:             const Sequences& seqs)
Chris@16:             : sequences_(seqs)
Chris@16:         {};
Chris@16: 
Chris@16:         sequences sequences_;
Chris@16:     };
Chris@16: }}
Chris@16: 
Chris@16: #endif