text: /*=============================================================================
      Copyright (c) 2003 Joel de Guzman
      Copyright (c) 2004 Peder Holt
  
      Use, modification and distribution is subject to 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_ALGORITHM_DETAIL_FIND_IF_HPP)
  #define FUSION_ALGORITHM_DETAIL_FIND_IF_HPP
  
  #include <boost/mpl/eval_if.hpp>
  #include <boost/mpl/apply.hpp>
  #include <boost/mpl/or.hpp>
  #include <boost/mpl/lambda.hpp>
  #include <boost/spirit/fusion/iterator/value_of.hpp>
  #include <boost/spirit/fusion/iterator/equal_to.hpp>
  #include <boost/spirit/fusion/iterator/next.hpp>
  
  namespace boost { namespace fusion { namespace detail
  {
      template <typename Iterator, typename Pred>
      struct apply_filter
      {
          typedef typename
              mpl::apply1<
                  Pred
                , typename meta::value_of<Iterator>::type
              >::type
          type;
      };
  
      template <typename First, typename Last, typename Pred>
      struct main_find_if;
  
      template <typename First, typename Last, typename Pred>
      struct recursive_find_if
      {
          typedef typename
              main_find_if<
                  typename meta::next<First>::type, Last, Pred
              >::type
          type;
      };
  
      template <typename First, typename Last, typename Pred>
      struct main_find_if
      {
          typedef mpl::or_<
              meta::equal_to<First, Last>
            , apply_filter<First, Pred> >
          filter;
  
          typedef typename
              mpl::eval_if<
                  filter
                , mpl::identity<First>
                , recursive_find_if<First, Last, Pred>
              >::type
          type;
      };
  
      template <typename First, typename Last, typename Pred>
      struct static_find_if;
  
      namespace static_find_if_detail {
          template <typename First,typename Last,typename Pred,typename Iterator>
          typename main_find_if<First,Last,typename mpl::lambda<Pred>::type>::type
          call(static_find_if<First,Last,Pred> const& obj,Iterator const& iter);
      }
  
      template <typename First, typename Last, typename Pred>
      struct static_find_if
      {
          typedef typename
              main_find_if<
                  First
                , Last
                , typename mpl::lambda<Pred>::type
              >::type
          type;
  
          //Workaround to please MSVC
          template<typename Iterator>
          static type
          call(Iterator const& iter)
          {
              return static_find_if_detail::call(static_find_if<First,Last,Pred>(),iter);
          }
      };
  
      namespace static_find_if_detail {
          template <typename First,typename Last,typename Pred,typename Iterator>
          typename static_find_if<First,Last,Pred>::type
          call(static_find_if<First,Last,Pred> const&, Iterator const& iter, mpl::true_)
          {
              return iter;
          };
  
          template <typename First,typename Last,typename Pred,typename Iterator>
          typename static_find_if<First,Last,Pred>::type
          call(static_find_if<First,Last,Pred> const& obj,Iterator const& iter, mpl::false_)
          {
              return call(obj,fusion::next(iter));
          };
  
          template <typename First,typename Last,typename Pred,typename Iterator>
          typename main_find_if<First,Last,typename mpl::lambda<Pred>::type>::type
          call(static_find_if<First,Last,Pred> const& obj,Iterator const& iter)
          {
              typedef meta::equal_to<Iterator, BOOST_DEDUCED_TYPENAME static_find_if<First,Last,Pred>::type> found;
              return call(obj,iter, found());
          };        
      }
  
  }}}
  
  #endif
  