typelist.hh

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_COMMON_TYPELIST_HH
#define DUNE_COMMON_TYPELIST_HH
 
#include <type_traits>
#include <tuple>
 
 
namespace Dune {
 
  template<class... T>
  struct TypeList
  {};
 
 
 
  template<class T>
  struct IsTypeList : std::false_type {};
 
  template<class... T>
  struct IsTypeList<TypeList<T...> > : std::true_type {};
 
 
 
  template<class T>
  struct IsEmptyTypeList : std::integral_constant<bool, IsTypeList<T>() and std::is_same<T, TypeList<> >() > {};
 
 
 
  template<class T>
  struct TypeListSize {};
 
  template<class... T>
  struct TypeListSize<TypeList<T...>> : std::integral_constant<std::size_t, sizeof...(T)> {};
 
 
 
  template<std::size_t i, class T>
  struct TypeListElement {};
 
  template<std::size_t i, class... T>
  struct TypeListElement<i, TypeList<T...>>
  {
    using type = typename std::tuple_element<i, std::tuple<T...>>::type;
 
    using Type = type;
  };
 
  template<std::size_t i, class T>
  using TypeListEntry_t = typename TypeListElement<i, T>::type;
 
 
} // namespace Dune
 
#endif // DUNE_COMMON_TYPELIST_HH