LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Types.capi.h.inc File Reference
#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>
Include dependency graph for Types.capi.h.inc:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

MLIR_CAPI_EXPORTED bool llzkTypeIsA_Pod_PodType (MlirType)
 Returns true if the Type is a llzk::pod::PodType.
MLIR_CAPI_EXPORTED MlirType llzkPod_PodTypeGet (MlirContext ctx, intptr_t recordsCount, MlirAttribute const *records)
 Create a llzk::pod::PodType Type with the given parameters.
MLIR_CAPI_EXPORTED intptr_t llzkPod_PodTypeGetRecordsCount (MlirType)
 Get count of 'records' parameter from a llzk::pod::PodType Type.
MLIR_CAPI_EXPORTED MlirAttribute llzkPod_PodTypeGetRecordsAt (MlirType, intptr_t pos)
 Get element at index from 'records' parameter from a llzk::pod::PodType Type.

Function Documentation

◆ llzkPod_PodTypeGet()

MLIR_CAPI_EXPORTED MlirType llzkPod_PodTypeGet ( MlirContext ctx,
intptr_t recordsCount,
MlirAttribute const * records )

Create a llzk::pod::PodType Type with the given parameters.

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

◆ llzkPod_PodTypeGetRecordsAt()

MLIR_CAPI_EXPORTED MlirAttribute llzkPod_PodTypeGetRecordsAt ( MlirType inp,
intptr_t pos )

Get element at index from 'records' parameter from a llzk::pod::PodType Type.

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

◆ llzkPod_PodTypeGetRecordsCount()

MLIR_CAPI_EXPORTED intptr_t llzkPod_PodTypeGetRecordsCount ( MlirType inp)

Get count of 'records' parameter from a llzk::pod::PodType Type.

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

◆ llzkTypeIsA_Pod_PodType()

MLIR_CAPI_EXPORTED bool llzkTypeIsA_Pod_PodType ( MlirType inp)

Returns true if the Type is a llzk::pod::PodType.

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