LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
mlir Namespace Reference

Classes

struct  FieldParser
struct  FieldParser< llvm::APInt >
struct  FieldParser< std::optional<::llzk::boolean::FeltCmpPredicate >, std::optional<::llzk::boolean::FeltCmpPredicate > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::polymorphic::StructCleanupMode >, std::optional<::llzk::polymorphic::StructCleanupMode > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::smt::BVCmpPredicate >, std::optional<::llzk::smt::BVCmpPredicate > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser< std::optional<::llzk::smt::IntPredicate >, std::optional<::llzk::smt::IntPredicate > >
 Support for std::optional, useful in attribute/type definition where the enum is used as: More...
struct  FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
struct  FieldParser<::llzk::OutputStream, ::llzk::OutputStream >
struct  FieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode >
struct  FieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate >
struct  FieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate >
class  OpInterface

Functions

template<typename To>
auto unwrap_cast (auto &from)

Function Documentation

◆ unwrap_cast()

template<typename To>
auto mlir::unwrap_cast ( auto & from)
inline

Definition at line 51 of file Support.h.