mirror/meta_prog/transform.hpp

Go to the documentation of this file.

#ifndef MIRROR_META_PROG_TRANSFORM_1011291729_HPP
#define MIRROR_META_PROG_TRANSFORM_1011291729_HPP


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

MIRROR_NAMESPACE_BEGIN
namespace mp {

#ifdef MIRROR_DOCUMENTATION_ONLY


template <class Range, class UnaryMetaFnClass>
struct transform
{
    typedef Range type;
};
#endif

template <typename ... P, class UnaryMetaFnClass>
struct transform<range<P...>, UnaryMetaFnClass>
{
    typedef range<
        typename apply<UnaryMetaFnClass, P>::type ...
    > type;
};

// specialization for range expressions
template <typename X, class Predicate>
struct transform
{
    MIRROR_ASSERT_RETURNS_RANGE(X);
    typedef typename transform<typename X::type, Predicate>::type type;
};

} // namespace mp
MIRROR_NAMESPACE_END

#endif //include guard