This namespace provides utilities for compile time checking. More...
Classes | |
| class | require< 1 > |
| Utility class for compile time checking. More... | |
| class | conversion |
| This class helps us to detect convertibility and inheritance at compile time. To see whether U is same type as T we can call:. More... | |
| class | conversion< T, T > |
| struct | int_to_type |
| generates distinct type for each integer. Here is an example where it may help us: More... | |
| class | remove_reference |
| The class remove_reference for getting typename without reference if there is. More... | |
| class | remove_reference< T & > |
| Specialization of class instigate::generic::remove_reference for. More... | |
| class | remove_const |
| The class remove_const for getting typename without constant specification if there is. More... | |
| class | remove_const< const T > |
| Specialization of class instigate::generic::remove_const for type. More... | |
| class | add_const_reference |
| The class add_const_reference for adding constant specification and reference to typename. More... | |
This namespace provides utilities for compile time checking.