LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Member Functions | Static Public Member Functions | Static Public Attributes | List of all members
llzk::felt::FeltType Class Reference
Inheritance diagram for llzk::felt::FeltType:
[legend]
Collaboration diagram for llzk::felt::FeltType:
[legend]

Public Member Functions

bool hasField () const
const ::llzk::Field & getField () const
void print (::mlir::AsmPrinter &odsPrinter) const
::mlir::StringAttr getFieldName () const

Static Public Member Functions

static FeltType get (::mlir::MLIRContext *context, ::mlir::StringAttr fieldName)
static FeltType getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName)
static FeltType get (::mlir::MLIRContext *context)
static FeltType getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context)
static FeltType get (::mlir::MLIRContext *context, ::llvm::StringRef fieldName)
static FeltType getChecked (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef fieldName)
::llvm::LogicalResult verify (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName)
::llvm::LogicalResult verifyInvariants (::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName)
static constexpr ::llvm::StringLiteral getMnemonic ()
::mlir::Type parse (::mlir::AsmParser &odsParser)

Static Public Attributes

static constexpr ::llvm::StringLiteral name = "felt.type"
static constexpr ::llvm::StringLiteral dialectName = "felt"

Detailed Description

Definition at line 23 of file Types.h.inc.

Member Function Documentation

◆ get() [1/3]

FeltType llzk::felt::FeltType::get ( ::mlir::MLIRContext * context)
static

Definition at line 75 of file Types.cpp.inc.

◆ get() [2/3]

FeltType llzk::felt::FeltType::get ( ::mlir::MLIRContext * context,
::llvm::StringRef fieldName )
static

Definition at line 83 of file Types.cpp.inc.

◆ get() [3/3]

FeltType llzk::felt::FeltType::get ( ::mlir::MLIRContext * context,
::mlir::StringAttr fieldName )
static

Definition at line 67 of file Types.cpp.inc.

◆ getChecked() [1/3]

FeltType llzk::felt::FeltType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::MLIRContext * context )
static

Definition at line 79 of file Types.cpp.inc.

◆ getChecked() [2/3]

FeltType llzk::felt::FeltType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::MLIRContext * context,
::llvm::StringRef fieldName )
static

Definition at line 87 of file Types.cpp.inc.

◆ getChecked() [3/3]

FeltType llzk::felt::FeltType::getChecked ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::MLIRContext * context,
::mlir::StringAttr fieldName )
static

Definition at line 71 of file Types.cpp.inc.

◆ getField()

const Field & llzk::felt::FeltType::getField ( ) const

Definition at line 168 of file Dialect.cpp.

◆ getFieldName()

mlir::StringAttr llzk::felt::FeltType::getFieldName ( ) const

Definition at line 131 of file Types.cpp.inc.

◆ getMnemonic()

constexpr ::llvm::StringLiteral llzk::felt::FeltType::getMnemonic ( )
inlinestatic

Definition at line 43 of file Types.h.inc.

◆ hasField()

bool llzk::felt::FeltType::hasField ( ) const
inline

Definition at line 26 of file Types.h.inc.

◆ parse()

mlir::Type llzk::felt::FeltType::parse ( ::mlir::AsmParser & odsParser)
static

Definition at line 97 of file Types.cpp.inc.

◆ print()

void llzk::felt::FeltType::print ( ::mlir::AsmPrinter & odsPrinter) const

Definition at line 119 of file Types.cpp.inc.

◆ verify()

llvm::LogicalResult llzk::felt::FeltType::verify ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::StringAttr fieldName )
static

Definition at line 171 of file Dialect.cpp.

◆ verifyInvariants()

llvm::LogicalResult llzk::felt::FeltType::verifyInvariants ( ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError,
::mlir::StringAttr fieldName )
static

Definition at line 91 of file Types.cpp.inc.

Member Data Documentation

◆ dialectName

::llvm::StringLiteral llzk::felt::FeltType::dialectName = "felt"
static

Definition at line 33 of file Types.h.inc.

◆ name

::llvm::StringLiteral llzk::felt::FeltType::name = "felt.type"
static

Definition at line 32 of file Types.h.inc.

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