mirror/meta_prog/find.hpp

Go to the documentation of this file.

#ifndef MIRROR_META_PROG_FIND_1011291729_HPP
#define MIRROR_META_PROG_FIND_1011291729_HPP


#include <mirror/meta_prog/range.hpp>
#include <mirror/meta_prog/traits.hpp>

MIRROR_NAMESPACE_BEGIN
namespace mp {

#ifdef MIRROR_DOCUMENTATION_ONLY


template <typename Range, typename Type>
struct find
{
    typedef Range type;
};
#endif

// specialization of find for other expressions
template <typename X, typename T>
struct find
{
    MIRROR_ASSERT_RETURNS_RANGE(X);
    typedef typename find<typename X::type, T>::type type;
};

// specialization of find for empty ranges
template <typename T>
struct find<range<>, T>
{
    typedef range<> type;
};

// specialization of find for ranges starting with the type searched for
template <typename ... P, typename T>
struct find<range<T, P...>, T>
{
    typedef range<T, P...> type;
};

// specialization of find for ranges not starting with the type searched for
template <typename H, typename ... P, typename T>
struct find<range<H, P...>, T>
{
    typedef typename find<range<P...>, T>::type type;
};


} // namespace mp
MIRROR_NAMESPACE_END

#endif //include guard