until_aliased.hpp

Go to the documentation of this file.

#ifndef BOOST_MPL11_DETAIL_LEFT_FOLDS_UNTIL_ALIASED_HPP
#define BOOST_MPL11_DETAIL_LEFT_FOLDS_UNTIL_ALIASED_HPP

#include <boost/mpl11/fwd/iterable.hpp>


namespace boost { namespace mpl11 { namespace detail { namespace left_folds {
    template <bool done>
    struct until_aliased_impl;

    template <>
    struct until_aliased_impl<true> {
        template <
            template <typename ...> class pred,
            template <typename ...> class f,
            typename state, typename xs>
        using apply = state;
    };

    template <>
    struct until_aliased_impl<false> {
        template <
            template <typename ...> class pred,
            template <typename ...> class f,
            typename state, typename xs>
        using apply =
            typename until_aliased_impl<pred<tail<xs>>::type::value>::
            template apply<pred, f, f<state, head<xs>>, tail<xs>>;
    };

    template <
        template <typename ...> class predicate,
        template <typename ...> class f,
        typename state, typename xs>
    using until_aliased =
        typename until_aliased_impl<predicate<xs>::type::value>::
        template apply<predicate, f, state, xs>;
}}}} // end namespace boost::mpl11::detail::left_folds

#endif // !BOOST_MPL11_DETAIL_LEFT_FOLDS_UNTIL_ALIASED_HPP