anonymous_namespace{TypeList.cpp} Namespace Reference

Classes
struct	B
struct	D
struct	ShortCircuiting

Typedefs
using	Example = List< int, double >
using	Unused = Head< Nil >
using	HeadIsInt = Compose< Bind1st< is_same, int >, Fn< Head_t > >
using	StartsWithInt = And< Not< Fn< Null > >, HeadIsInt >
	Demonstrate short-circuiting behavior of Or and And. More...
using	NullOrStartsWithInt = Or< Fn< Null >, HeadIsInt >
using	Example2 = Cons_t< unsigned, Example >

Typedef Documentation

Example

using anonymous_namespace{TypeList.cpp}::Example = typedef List<int, double>

Definition at line 17 of file TypeList.cpp.

Example2

using anonymous_namespace{TypeList.cpp}::Example2 = typedef Cons_t<unsigned, Example>

Definition at line 158 of file TypeList.cpp.

HeadIsInt

using anonymous_namespace{TypeList.cpp}::HeadIsInt = typedef Compose<Bind1st<is_same, int>, Fn<Head_t> >

Definition at line 107 of file TypeList.cpp.

NullOrStartsWithInt

using anonymous_namespace{TypeList.cpp}::NullOrStartsWithInt = typedef Or<Fn<Null>, HeadIsInt>

Definition at line 116 of file TypeList.cpp.

StartsWithInt

using anonymous_namespace{TypeList.cpp}::StartsWithInt = typedef And<Not<Fn<Null> >, HeadIsInt>

Demonstrate short-circuiting behavior of Or and And.

Definition at line 112 of file TypeList.cpp.

Unused

using anonymous_namespace{TypeList.cpp}::Unused = typedef Head<Nil>

Definition at line 28 of file TypeList.cpp.