lean::meta Namespace Reference

Defines helper templates that may be useful in a meta-programming context. More...

Classes
struct	conditional_type
	Redefines TrueType if condition fulfilled, FalseType otherwise. More...
struct	first_non_void
	Redefines Type1 if not void, else Type2 if not void, nothing otherwise. More...
struct	complete_type_or_base
	Redefines FullType if complete (and derived from BaseType), BaseType otherwise. More...
struct	ce_int
	Helper struct that may be used to pass constant integers (compile-time literals). More...
struct	dependent_false
	Defines a false literal, ignoring any template arguments. More...
struct	int_dependent_false
	Defines a false literal, ignoring any template arguments. More...
struct	maybe_dereference_once
	Dereferences a given value type once, if the value type is a pointer type. More...
struct	enable_if
	Redefines the given type if true, empty otherwise. More...
struct	strip_reference
	Strips a reference from the given type. More...
struct	inh_strip_reference
	Inherits the stripped type. More...
struct	strip_const
	Strips a const modifier from the given type. More...
struct	strip_volatile
	Strips a volatile modifier from the given type. More...
struct	strip_modifiers
	Strips cv-modifiers from the given type. More...
struct	strip_modref
	Strips cv-modifiers and references from the given type. More...
struct	inh_strip_modref
	Inherits the stripped type. More...
struct	strip_pointer
	Strips a pointer from the given type. More...
struct	inh_strip_pointer
	Inherits the stripped type. More...
struct	strip_array
	Strips a array from the given type. More...
struct	inh_strip_array
	Inherits the stripped type. More...
struct	rec_strip_modifiers
	Recursively strips all modifiers from the given type. More...
struct	identity
	Redefines the given type. More...
struct	is_equal
	True if types are equal, false otherwise. More...
struct	is_unsigned
	Checks if the given integer type is unsigned. More...
struct	is_derived
	True if Type is derived from Base, false otherwise. More...

---

Detailed Description

Defines helper templates that may be useful in a meta-programming context.