MLIR  19.0.0git
Classes | Typedefs
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 312 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 267 of file Types.h.