typelist.hpp

Go to the documentation of this file.

/*
  TYPELIST.hpp  -  typelist meta programming facilities

   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.

====================================================================
This code is heavily inspired by  
 The Loki Library (loki-lib/trunk/include/loki/Sequence.h)
    Copyright (c) 2001 by Andrei Alexandrescu
    Copyright (c) 2005 by Peter Kümmel
    This Loki code accompanies the book:
    Alexandrescu, Andrei. "Modern C++ Design: Generic Programming
        and Design Patterns Applied". 
        Copyright (c) 2001. Addison-Wesley. ISBN 0201704315
        
  Loki Copyright Notice: 
  Permission to use, copy, modify, distribute and sell this software for any
  purpose is hereby granted without fee, provided that the above copyright
  notice appear in all copies and that both that copyright notice and this
  permission notice appear in supporting documentation.
  The author makes no representations about the suitability of this software
  for any purpose. It is provided "as is" without express or implied warranty.
*/


#ifndef LIB_META_TYPELIST_H
#define LIB_META_TYPELIST_H




namespace lib {
namespace meta {
    
    struct NullType 
      { 
        typedef NullType List;
      };
    
    template<class H, class T> 
    struct Node
      {
        typedef Node List;
        typedef H Head;
        typedef T Tail;
      };
    
    typedef Node<NullType,NullType> NodeNull;
    
    
    
    template
      < class T01=NullType
      , class T02=NullType
      , class T03=NullType
      , class T04=NullType
      , class T05=NullType
      , class T06=NullType
      , class T07=NullType
      , class T08=NullType
      , class T09=NullType
      , class T10=NullType
      , class T11=NullType
      , class T12=NullType
      , class T13=NullType
      , class T14=NullType
      , class T15=NullType
      , class T16=NullType
      , class T17=NullType
      , class T18=NullType
      , class T19=NullType
      , class T20=NullType
      >
    class Types
      {
        typedef typename Types<      T02, T03, T04
                              , T05, T06, T07, T08
                              , T09, T10, T11, T12
                              , T13, T14, T15, T16
                              , T17, T18, T19, T20>::List ListTail;
      public:
        using List = Node<T01, ListTail>;
        using Seq  = Types;
      };
    
    template<> 
    struct Types<>
      {
        using List = NullType;
        using Seq  = Types<>;
      };
    
    
    
}} // namespace lib::meta
#endif