mlir::TypeTrait Namespace Reference

This trait is used to determine if a type is a dynamic type or not; it should only be implemented by dynamic types. More...

Classes
class	IsDynamicType

Typedefs
template<typename ConcreteType , template< typename > class TraitType>
using	TraitBase = detail::StorageUserTraitBase< ConcreteType, TraitType >
	This class represents the base of a type trait. More...
template<typename ConcreteType >
using	IsMutable = detail::StorageUserTrait::IsMutable< ConcreteType >

Detailed Description

This trait is used to determine if a type is a dynamic type or not; it should only be implemented by dynamic types.

This trait is used to determine if a type is mutable or not.

Note: This is only required because dynamic type do not have a static/single TypeID.

It is attached on a type if the corresponding ImplType defines a mutate function with a proper signature.

Typedef Documentation

IsMutable

template<typename ConcreteType >

using mlir::TypeTrait::IsMutable = typedef detail::StorageUserTrait::IsMutable<ConcreteType>

Definition at line 318 of file Types.h.

TraitBase

template<typename ConcreteType , template< typename > class TraitType>

using mlir::TypeTrait::TraitBase = typedef detail::StorageUserTraitBase<ConcreteType, TraitType>

This class represents the base of a type trait.

Definition at line 273 of file Types.h.