|
ORIGINAL
|
Core type system foundations and concept definitions. More...
#include "type_traits"#include <concepts>

Go to the source code of this file.
Namespaces | |
| namespace | original |
| Main namespace for the project Original. | |
Concepts | |
| concept | original::NotNull |
| Ensures the parameter pack is not empty. | |
| concept | original::Comparable |
| Requires type to support all comparison operators. | |
| concept | original::CallbackOf |
| Validates callback signature compatibility. | |
| concept | original::Compare |
| Combines Comparable and CallbackOf for comparison callbacks. | |
| concept | original::Condition |
| Constraint for predicate callbacks. | |
| concept | original::Operation |
| Constraint for mutating operations. | |
| concept | original::SuperOf |
| Checks inheritance or type equality. | |
| concept | original::ExtendsOf |
| Checks derivation or type identity. | |
Core type system foundations and concept definitions.
This header defines fundamental type traits and concepts used for template metaprogramming and interface constraints throughout the library. These concepts enforce compile-time interface requirements and enable type-safe template programming.