TypeInfo

Contains metadata and information about types in the Aleph type system.

TypeInfo objects store comprehensive information about types, including whether they are const, reference, pointer, void, undefined, or arithmetic types. They enable runtime type checking, type comparisons, and type-safe operations.

Constructors

TypeInfo(const TypeInfo other) -> TypeInfo

Constructs a TypeInfo object from another TypeInfo.

Parameters

• other: The TypeInfo object to copy from.

Symbols

Name	Description
==	Performs equality comparison operation.

Members

Name	Description
add_type_conversion	Adds a type conversion function between two types.
bare_equal	Checks if two types are equal ignoring const and reference qualifiers.
is_type_arithmetic	Checks if the type is arithmetic.
is_type_const	Checks if the type is constant.
is_type_pointer	Checks if the type is a pointer.
is_type_reference	Checks if the type is a reference.
is_type_undef	Checks if the type is undefined.
is_type_void	Checks if the type is void.
name	Returns the name of a type from its Type_Info.