Namespace mpl_

/ agurt, 17/mar/02: one more placeholder for the last 'apply#' / specialization

Class templates Summary:
template < int N>
struct arg
template < bool C>
struct assert
template <typename P >
struct assert_arg_pred
template < bool >
struct assert_arg_pred_impl
template <typename P >
struct assert_arg_pred_not
template < assert_::relations r, long x, long y>
struct assert_relation
template < bool C>
struct assertion
template < bool C_>
struct bool_
template < int N>
struct int_
template <typename T , T N>
struct integral_c
template < bool C>
struct integral_c<bool,C>

'bool' constant doesn't have 'next'/'prior' members

template < long N>
struct long_
template < std::size_t N>
struct size_t
Typedefs Summary:
arg<*> _
arg<*> _1
arg<*> _2
arg<*> _3
arg<*> _4
arg<*> _5
arg<*> _6

shorcuts

Structs Summary:
struct arg<- 1>
struct arg<1>
struct arg<2>
struct arg<3>
struct arg<4>
struct arg<5>
struct assert_
struct failed
struct na

n.a.

struct void_

[JDG Feb-4-2003] made void a complete type to allow it to be instantiated so that it can be passed in as an object that can be used to select an overloaded function.

Function templates Summary:
template <typename Pred >
 assert<*> assert_arg( void(*)(Pred) , assert_arg_pred_not::type )
template <typename Pred >
 assert<*> assert_not_arg( void(*)(Pred) , assert_arg_pred::type )
template < bool C>
 int assertion_failed( assert::type )
Functions Summary:
Class templates Details:
template < bool C>
struct integral_c<bool,C>

'bool' constant doesn't have 'next'/'prior' members

Typedefs Details:

shorcuts

Structs Details:
struct na

n.a. == not available

struct void_
[JDG Feb-4-2003] made void a complete type to allow it to be instantiated so that it can be passed in as an object that can be used to select an overloaded function. Possible use includes signaling a zero arity functor evaluation call.