Type metadata management layer that collects and manages type metadata. Provides runtime type information and supports reflection capabilities for the byeol language. Essential for dynamic type operations and introspection. More...
Classes | |
| class | by::typeProvidable |
| Interface for objects that can provide their type information. More... | |
| struct | by::metaIf |
| Base interface for SFINAE-based type checking. More... | |
| struct | by::tifHasDefaultCtor< T > |
| Type trait to check if type has default constructor. More... | |
| struct | by::tifTemplate< T > |
| Type trait to check if type is a template specialization. More... | |
| struct | by::tifSub< T, super > |
| Type trait to check if T is subclass of super. More... | |
| struct | by::taEmptyCan< T > |
| Helper struct for SFINAE detection patterns. More... | |
| struct | by::tifHasSuperTypedef< T, typename > |
| Type trait to check if type has super typedef. More... | |
| struct | by::tadaptiveSuper< T, typedefsuper > |
| Adaptive super type selector. More... | |
| struct | by::tinstanceMaker< T, canMake > |
| Instance factory for type creation. More... | |
| struct | by::tnameGetter< T > |
| Template name getter for type introspection. More... | |
| struct | by::tifHasMetaTypeDef< T, typename > |
| Type trait to check if type has metaType definition. More... | |
| struct | by::tmetaTypeDef< T, hasMeta > |
| Meta type definition selector. More... | |
| class | by::adam |
| Base class for all types without explicit super class. More... | |
| class | by::ttype< T > |
| Template type wrapper for type metadata management. More... | |
| class | by::ttypeBase< T, S > |
| Base class for template type metadata. More... | |
| class | by::type |
| Base class for runtime type information in byeol language. More... | |
Type metadata management layer that collects and manages type metadata. Provides runtime type information and supports reflection capabilities for the byeol language. Essential for dynamic type operations and introspection.