Stores all data for an Algebraic Data Type (ADT). More...

#include <adt.h>

Inheritance diagram for tvm::TypeData:

Collaboration diagram for tvm::TypeData:

Public Member Functions
	TypeData (GlobalTypeVar header, Array< TypeVar > type_vars, Array< Constructor > constructors)
	Constructor. More...

	TVM_DEFINE_OBJECT_REF_METHODS (TypeData, Type, TypeDataNode)

Public Member Functions inherited from tvm::Type
	TVM_DEFINE_OBJECT_REF_METHODS (Type, ObjectRef, TypeNode)

Public Member Functions inherited from tvm::runtime::ObjectRef
	ObjectRef ()=default
	default constructor More...

	ObjectRef (ObjectPtr< Object > data)
	Constructor from existing object ptr. More...

bool	same_as (const ObjectRef &other) const
	Comparator. More...

bool	operator== (const ObjectRef &other) const
	Comparator. More...

bool	operator!= (const ObjectRef &other) const
	Comparator. More...

bool	operator< (const ObjectRef &other) const
	Comparator. More...

bool	defined () const

const Object *	get () const

const Object *	operator-> () const

bool	unique () const

int	use_count () const

template<typename ObjectType , typename = std::enable_if_t<std::is_base_of_v<Object, ObjectType>>>
const ObjectType *	as () const
	Try to downcast the internal Object to a raw pointer of a corresponding type. More...

template<typename ObjectRefType , typename = std::enable_if_t<std::is_base_of_v<ObjectRef, ObjectRefType>>>
Optional< ObjectRefType >	as () const
	Try to downcast the ObjectRef to a Optional<T> of the requested type. More...

Additional Inherited Members
Public Types inherited from tvm::runtime::ObjectRef
using	ContainerType = Object
	type indicate the container type. More...

Static Public Attributes inherited from tvm::runtime::ObjectRef
static constexpr bool	_type_is_nullable = true

Protected Member Functions inherited from tvm::runtime::ObjectRef
Object *	get_mutable () const

Static Protected Member Functions inherited from tvm::runtime::ObjectRef
template<typename T >
static T	DowncastNoCheck (ObjectRef ref)
	Internal helper function downcast a ref without check. More...

static void	FFIClearAfterMove (ObjectRef *ref)
	Clear the object ref data field without DecRef after we successfully moved the field. More...

template<typename ObjectType >
static ObjectPtr< ObjectType >	GetDataPtr (const ObjectRef &ref)
	Internal helper function get data_ as ObjectPtr of ObjectType. More...

Protected Attributes inherited from tvm::runtime::ObjectRef
ObjectPtr< Object >	data_
	Internal pointer that backs the reference. More...

Detailed Description

Stores all data for an Algebraic Data Type (ADT).

In particular, it stores the handle (global type var) for an ADT and the constructors used to build it and is kept in the module. Note that type parameters are also indicated in the type data: this means that for any instance of an ADT, the type parameters must be indicated. That is, an ADT definition is treated as a type-level function, so an ADT handle must be wrapped in a TypeCall node that instantiates the type-level arguments. The kind checker enforces this.

Constructor & Destructor Documentation

◆ TypeData()

tvm::TypeData::TypeData	(	GlobalTypeVar	header,
		Array< TypeVar >	type_vars,
		Array< Constructor >	constructors
	)

Constructor.

Parameters

header	the name of ADT.
type_vars	type variables.
constructors	constructors field.

Member Function Documentation

◆ TVM_DEFINE_OBJECT_REF_METHODS()

tvm::TypeData::TVM_DEFINE_OBJECT_REF_METHODS	(	TypeData	,
		Type	,
		TypeDataNode
	)

The documentation for this class was generated from the following file:

include/tvm/ir/adt.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ TypeData()

Member Function Documentation

◆ TVM_DEFINE_OBJECT_REF_METHODS()