LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp > Member List

This is the complete list of members for llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >, including all inherited members.

getTypeSignature()llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >inline
toVectorOfValueRange(::mlir::OperandRangeRange input)llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >inline
unifyTypeSignature(::mlir::FunctionType other)llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >inline
unifyTypeSignatureWithNamespace(::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix)llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >inline
verifyTemplateParamsMatchInferred(::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const ::llzk::UnificationMap &unifications)llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >inline
verifyTemplateParamValueCompatibility(::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >inline
verifyTemplateParamValuesCompatibility(::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs)llzk::detail::LLZKCallLikeOpInterfaceTrait< ConcreteOp >inline