  cal::add_const< T > | Adds the const qualifier to the type |
| cal::add_cv< T > | Adds both the const and volatile qualifiers to the type |
| cal::add_lvalue_reference< T > | Converts the type into an lvalue reference |
| cal::add_pointer< T > | Converts into a pointer type |
| cal::add_rvalue_reference< T > | Converts the type into an rvalue reference, unless T is an lvalue reference, in which case the type is returned unchanged. If rvalue references are not supported, the type is returned unchanged |
| cal::add_volatile< T > | Adds the volatile qualifier to the type |
| cal::combine_tuples< Tuples > | Combines several tuple types into a single tuple type |
| cal::common_type<> | Returns a common type among the given types. Without support for variadic templates, this template can only support 2 template arguments. Without decltype support, the common type is only defined if the types are thes same) |
| cal::conditional< Condition, TrueT, FalseT > | Returns one of the types based on a boolean condition |
| cal::container_base< Derived, ConstIterator, Iterator, Size > | CRTP base type for defining an mutable, iterable container |
| cal::counted_iterator< Iterator, Distance > | An iterator adapter that counts the offset as the iterator moves |
| cal::decay< T > | Performs lvalue transformations and removes cv-qualifiers |
| cal::enable_if< Condition, T > | Contains a type member equal to T if Condition is true |
| cal::get_iterator< class > | Obtains the default iterator type of a container or array (deprecated) |
| cal::input_iterator_base< Derived, T, Reference > | CRTP base type for implementing input iterators |
| cal::integer_iterator< T, Tag > | An RandomAccessIterator that stores an integer value of type T. The dereferenced value of the iterator is the integer itself |
 cal::integral_constant< T, Value > | Represents a compile-time constant of integral type |
 cal::is_array< T > | Returns whether the type is an array type |
| cal::is_const< T > | Returns whether the type is const-qualified |
| cal::is_function< class > | Returns whether the the type is a function type (up to 5 arguments if variadic templates are not supported) |
| cal::is_lvalue_reference< T > | Returns whether the type is an lvalue or rvalue reference |
| cal::is_reference< T > | Returns whether the type is an lvalue or rvalue reference |
| cal::is_rvalue_reference< T > | Returns whether the type is an rvalue reference |
| cal::is_same< class, class > | Returns whether the types are the same |
| cal::is_volatile< T > | Returns whether the type is volatile-qualified |
 cal::is_same< remove_cv< From >::type, remove_cv< To >::type > | |
| cal::is_convertible< From, To > | Checks if the type From can be converted to To |
| cal::is_floating_point< T > | Returns whether the type is a floating-point type (only works on fundamental types) |
| cal::is_integral< T > | Returns whether the type is an integral type (only works on fundamental types) |
| cal::is_pointer< T > | Returns whether the type is an object pointer type |
| cal::iterator_type< T > | Returns the iterator type of the given container-like type |
| cal::lens_base< Lens, T > | CRTP base type for constructing Lens types |
| cal::lens_traits< Lens > | Traits class for the Lens concept |
| cal::make_signed< T > | Converts an integral type to a signed type (only works on fundamental types, excluding char) |
| cal::make_unsigned< T > | Converts an integral type to a unsigned type (only works on fundamental types, excluding char) |
| cal::match_cv< T, Target > | Obtains a type related to T with the same const-volatile qualifiers as Target |
| cal::ntuple< T, N > | Constructs a tuple type containing N objects of type T |
| cal::null_terminated_iterator< T > | A ForwardIterator that traverses a null-terminated array |
| cal::nullopt_t | A type that represents a missing value for optional |
| cal::optional< T > | Represents an optional value |
| cal::packed_params< Function > | A wrapper function type that allows a function to be called with a tuple whose elements are unpacked as arguments |
| cal::remove_all_extents< T > | Removes all the dimensions of an array type |
| cal::remove_const< T > | Removes the const qualifier from the type |
| cal::remove_cv< T > | Removes both the const and volatile qualifiers from the type |
| cal::remove_extent< T > | Removes the first dimension of an array type |
| cal::remove_pointer< T > | Converts to a non-pointer type |
| cal::remove_reference< T > | Converts to a non-reference type |
| cal::remove_volatile< T > | Removes the volatile qualifier from the type |
| cal::result_of< T > | Deduces the return type of a function call (up to 5 arguments if variadic templates are not supported). If decltype is not available, it will use the result_type member of the function |
| cal::transform_iterator< InputIterator, UnaryOperation > | An iterator that applies a function to each element |
| cal::unparenthesize_type< void(T)> | Used to remove parentheses around a type expression: when a type T is passed in as a function type of the form void(T), a typedef named type is provided to recover the type T |
| cal::unparenthesize_type< void(TypeExpression)> | Used to remove parentheses around a type expression |
| cal::valid_call< T > | Returns whether the function call is valid. When the template parameter is equal to F(T...), it will return true if the function object F can be called with parameters of type T.... If variadic templates are not supported, a maximum of 5 arguments are supported |
| cal::common_type< common_type< T, U >::type, V...> | |
| cal::container_base< iterator_range< InputIterator >, InputIterator > | |
| cal::iterator_range< InputIterator > | An container-like type defined by a pair of iterators |
| cal::integral_constant< bool, _priv::is_abstract< T >::value > | |
| cal::is_abstract< T > | Checks if a type is an abstract type |
| cal::integral_constant< bool, _priv::is_base_of< Base, Derived >::value > | |
| cal::is_base_of< Base, Derived > | Checks if a type is derived from another type |
| cal::integral_constant< bool, is_integral< T >::value||is_floating_point< T >::value > | |
| cal::is_arithmetic< T > | Returns whether the type is an integral or floating-point type |
| cal::integral_constant< bool, is_same< void, remove_cv< T >::type >::value > | |
| cal::is_void< T > | Returns whether the type is a void type |
| cal::integral_constant< std::size_t, 0 > | |
| cal::extent< T, N > | Obtains the number of elements along the N-th dimension (or zero if unknown or outside bounds) |
| cal::rank< T > | Returns the number of dimensions in the array type |
| cal::integral_constant< std::size_t, extent< T, N-1 >::value > | |
| cal::integral_constant< std::size_t, N > | |
| cal::integral_constant< std::size_t, rank< T >::value+1 > | |
| cal::lens_base< negating_lens< Lens, T >, T > | |
| cal::negating_lens< Lens, T > | A lens that negates the value before storing or accessing it |
| cal::lens_base< scaling_lens< Lens, Factor, T >, T > | |
| cal::scaling_lens< Lens, Factor, T > | A lens that scales the value by a factor before storing or accessing it |
| std::hash< Key > | Hash function declaration (no specializations provided) |
| wmain_args_type | Type of wmain_args |
1.8.6 
