type_traits.hh

// Copyright (C) 2001, 2002, 2003  EPITA Research and Development Laboratory
//
// This file is part of the Olena Library.  This library is free
// software; you can redistribute it and/or modify it under the terms
// of the GNU General Public License version 2 as published by the
// Free Software Foundation.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this library; see the file COPYING.  If not, write to
// the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
// MA 02111-1307, USA.
//
// As a special exception, you may use this file as part of a free
// software library without restriction.  Specifically, if other files
// instantiate templates or use macros or inline functions from this
// file, or you compile this file and link it with other files to
// produce an executable, this file does not by itself cause the
// resulting executable to be covered by the GNU General Public
// License.  This exception does not however invalidate any other
// reasons why the executable file might be covered by the GNU General
// Public License.

#ifndef NTG_CORE_TYPE_TRAITS_HH
# define NTG_CORE_TYPE_TRAITS_HH

# include <mlc/type.hh>

# include <ntg/core/internal/traits.hh>

namespace ntg
{

  /*------------.
  | type_traits |
  `------------*/


  // FIXME: should inherit from *traits<mlc_exact_type(T)> instead of
  // optraits<T> directly. This makes things like
  // type_traits<int_value<int_u<..> > >::max() possible.

  template <class T>
  class type_traits : 
    public internal::optraits<T>, 
    public internal::typetraits<T>
  {};
    
} // end of ntg.

#endif // ndef NTG_CORE_TYPE_TRAITS_HH

---