Types.capi.cpp.inc File Reference

#include <mlir/CAPI/IR.h>
#include <mlir/CAPI/Support.h>
#include <llvm/ADT/TypeSwitch.h>
#include <utility>

Include dependency graph for Types.capi.cpp.inc:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
bool	llzkTypeIsA_Felt_FeltType (MlirType inp)
	Returns true if the Type is a llzk::felt::FeltType.
MlirType	llzkFelt_FeltTypeGet (MlirContext ctx, MlirIdentifier fieldName)
	Create a llzk::felt::FeltType Type with the given parameters.
MlirIdentifier	llzkFelt_FeltTypeGetFieldName (MlirType inp)
	Get 'fieldName' parameter from a llzk::felt::FeltType Type.
bool	llzkFelt_FeltTypeHasField (MlirType inp)
	hasField

Function Documentation

llzkFelt_FeltTypeGet()

MlirType llzkFelt_FeltTypeGet	(	MlirContext	ctx,
		MlirIdentifier	fieldName )

Create a llzk::felt::FeltType Type with the given parameters.

Definition at line 23 of file Types.capi.cpp.inc.

llzkFelt_FeltTypeGetFieldName()

MlirIdentifier llzkFelt_FeltTypeGetFieldName

(

MlirType

inp

)

Get 'fieldName' parameter from a llzk::felt::FeltType Type.

Definition at line 28 of file Types.capi.cpp.inc.

llzkFelt_FeltTypeHasField()

bool llzkFelt_FeltTypeHasField

(

MlirType

inp

)

hasField

Definition at line 32 of file Types.capi.cpp.inc.

llzkTypeIsA_Felt_FeltType()

bool llzkTypeIsA_Felt_FeltType

(

MlirType

inp

)

Returns true if the Type is a llzk::felt::FeltType.

Definition at line 19 of file Types.capi.cpp.inc.