typelist-util.hpp

Go to the documentation of this file.

/*
  TYPELIST-UTIL.hpp  -  simple helpers for working with lists-of-types
 
   Copyright (C)
     2008,            Hermann Vosseler <Ichthyostega@web.de>
 
 **Lumiera** is free software; you can redistribute it and/or modify it
 under the terms of the GNU General Public License as published by the
 Free Software Foundation; either version 2 of the License, or (at your
 option) any later version. See the file COPYING for further details.
 
*/
 
 
#ifndef LIB_META_TYPELIST_UTIL_H
#define LIB_META_TYPELIST_UTIL_H
 
 
 
#include "lib/meta/typelist.hpp"
#include "lib/meta/util.hpp"
 
#include <algorithm>
 
namespace lib {
namespace meta {
    
    
    template<class... TYPES>
    struct count;
    template<>
    struct count<Nil>
      : SizConst<0>
      { };
    template<class TY, class TYPES>
    struct count<Node<TY,TYPES>>
      : SizConst<1 + count<TYPES>()>
      { };
    
    
    template<class TYPES>
    struct maxSize;
    template<>
    struct maxSize<Nil>
      : SizConst<0>
      { };
    template<class TY, class TYPES>
    struct maxSize<Node<TY,TYPES>>
      : SizConst<std::max (sizeof(TY), maxSize<TYPES>::value)>
      { };
    
    
    template<class TYPES>
    struct maxAlign;
    template<>
    struct maxAlign<Nil>
      : SizConst<0>
      { };
    template<class TY, class TYPES>
    struct maxAlign<Node<TY,TYPES>>
      : SizConst<std::max (alignof(TY), maxAlign<TYPES>::value)>
      { };
    
    
    template<typename TY, typename TYPES>
    struct isInList
      : std::false_type
      { };
    
    template<typename TY, typename TYPES>
    struct isInList<TY, Node<TY,TYPES>>
      : std::true_type
      { };
    
    template<typename TY, typename XX, typename TYPES>
    struct isInList<TY, Node<XX,TYPES>>
      : std::bool_constant<isInList<TY,TYPES>::value>
      { };
    
    
    
    template<typename TYPES>
    struct ConstAll;
    
    template<>
    struct ConstAll<Nil>
      {
        using List = Nil;
      };
    
    template<typename TY, typename TYPES>
    struct ConstAll<Node<TY,TYPES>>
      {
        using List = Node<std::add_const_t<TY>, typename ConstAll<TYPES>::List>;
      };
    
    
    
}} // namespace lib::meta
#endif