type_set.h

Go to the documentation of this file.

#ifndef TATOOINE_STATIC_SET_H
#define TATOOINE_STATIC_SET_H
//==============================================================================
#include <tatooine/type_list.h>
 
#include <type_traits>
//==============================================================================
namespace tatooine {
//==============================================================================
template <typename... Ts>
struct type_set_impl;
//==============================================================================
//==============================================================================
template <typename... Types>
struct type_list_size_impl<type_set_impl<Types...>>
    : std::integral_constant<std::size_t, sizeof...(Types)> {};
//==============================================================================
//==============================================================================
//==============================================================================
template <typename... Types, std::size_t I>
struct type_list_at_impl<type_set_impl<Types...>, I> {
  using type = typename type_list_at_impl<type_list<Types...>, I>::type;
};
//==============================================================================
//==============================================================================
//==============================================================================
template <typename... Ts, typename T>
struct type_list_contains_impl<type_set_impl<Ts...>, T> {
  static auto constexpr value =
      type_list_contains_impl<type_list<Ts...>, T>::value;
};
//==============================================================================
//==============================================================================
//==============================================================================
template <typename TypeList, typename NewType, typename... TypesAccumulator>
struct type_set_insert_impl;
//------------------------------------------------------------------------------
template <typename SetHead, typename... SetRest, typename NewType,
          typename... TypesAccumulator>
struct type_set_insert_impl<type_list<SetHead, SetRest...>, NewType,
                            TypesAccumulator...> {
  using type =
      typename type_set_insert_impl<type_list<SetRest...>, NewType,
                                    TypesAccumulator..., SetHead>::type;
};
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
template <typename SetHead, typename... SetRest, typename NewType,
          typename... TypesAccumulator>
struct type_set_insert_impl<type_set_impl<SetHead, SetRest...>, NewType,
                            TypesAccumulator...> {
  using type =
      typename type_set_insert_impl<type_set_impl<SetRest...>, NewType,
                                    TypesAccumulator..., SetHead>::type;
};
//------------------------------------------------------------------------------
template <typename SetHead, typename... SetRest, typename... TypesAccumulator>
struct type_set_insert_impl<type_list<SetHead, SetRest...>, SetHead,
                            TypesAccumulator...> {
  using type = type_list<TypesAccumulator..., SetHead, SetRest...>;
};
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
template <typename SetHead, typename... SetRest, typename... TypesAccumulator>
struct type_set_insert_impl<type_set_impl<SetHead, SetRest...>, SetHead,
                            TypesAccumulator...> {
  using type = type_set_impl<TypesAccumulator..., SetHead, SetRest...>;
};
//------------------------------------------------------------------------------
template <typename NewType, typename... TypesAccumulator>
struct type_set_insert_impl<type_list<>, NewType, TypesAccumulator...> {
  using type = type_list<TypesAccumulator..., NewType>;
};
// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
template <typename NewType, typename... TypesAccumulator>
struct type_set_insert_impl<type_set_impl<>, NewType, TypesAccumulator...> {
  using type = type_set_impl<TypesAccumulator..., NewType>;
};
//------------------------------------------------------------------------------
template <typename TypeList, typename NewType>
using type_set_insert = typename type_set_insert_impl<TypeList, NewType>::type;
//==============================================================================
template <typename TypeList, typename... Ts>
struct type_set_constructor;
//------------------------------------------------------------------------------
template <typename TypeList, typename T, typename... Ts>
struct type_set_constructor<TypeList, T, Ts...> {
  using type =
      typename type_set_constructor<type_set_insert<TypeList, T>, Ts...>::type;
};
//------------------------------------------------------------------------------
template <typename ...Ts>
struct type_set_constructor<type_list<Ts...>> {
  using type = type_set_impl<Ts...>;
};
//------------------------------------------------------------------------------
template <typename... Ts>
using type_set = typename type_set_constructor<type_list<>, Ts...>::type;
//==============================================================================
//==============================================================================
template <typename... Ts>
struct type_set_impl : type_list<Ts...> {
  using this_type   = type_set_impl<Ts...>;
  template <typename T>
  using insert = type_set_insert<this_type, T>;
};
//==============================================================================
//==============================================================================
}  // namespace tatooine
//==============================================================================
#endif