pack_container.hpp

Go to the documentation of this file.

// Copyright (C) 2012 iwg molw5
// For conditions of distribution and use, see copyright notice in COPYING

#pragma once

#include <cstddef>
#include <type_traits>

namespace framework
{
    namespace detail
    {
        template <typename... Packs>
        struct merge_packs_impl;

        template <typename T, template <typename> class Macher>
        struct filter_pack_impl;
        
        template <typename Pack>
        struct unique_filter_pack_impl;

        template <typename Pack, template <typename> class Matcher, std::size_t Position, std::size_t Index = 0>
        struct find_pack_impl;

        template <typename T>
        struct is_pack_container;

        template <typename Type, std::size_t Size>
        struct make_values_impl;

        template <typename Pack, template <typename, typename> class LessThan>
        struct sort_pack_impl;
    }

    template <typename... Types>
    struct pack_container
    {
        enum { size = sizeof... (Types) };
    };

    template <typename T>
    using is_pack_container = typename detail::is_pack_container <T>::type;

    template <typename... Packs>
    using merge_packs = typename detail::merge_packs_impl <Packs...>::type;

    template <typename Pack, template <typename> class Matcher>
    using filter_pack = typename detail::filter_pack_impl <Pack, Matcher>::type;

    template <typename Values, template <typename> class Matcher>
    using unique_filter_pack = typename detail::unique_filter_pack_impl <filter_pack <Values, Matcher>>::type;

    template <typename Pack, template <typename> class Matcher, std::size_t Position = 0>
    using find_pack = std::integral_constant <std::size_t, detail::find_pack_impl <Pack, Matcher, Position>::value>;

    namespace detail
    {
        template <typename Lhs, typename Rhs>
        struct value_less_than_impl
        {
            using type =
                typename std::conditional <
                    (Lhs::value < Rhs::value),
                    std::true_type,
                    std::false_type
                >::type;
        };
    }

    template <typename Lhs, typename Rhs>
    using value_less_than = typename detail::value_less_than_impl <Lhs, Rhs>::type;

    template <typename Pack, template <typename, typename> class LessThan = value_less_than>
    using sort_pack = typename detail::sort_pack_impl <Pack, LessThan>::type;

    template <typename Type, std::size_t Size>
    using make_values = typename detail::make_values_impl <Type, Size>::type;

    template <std::size_t Size>
    using make_indices = typename detail::make_values_impl <std::size_t, Size>::type;
}

#include <framework/common/pack_container.inl>