|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Note: If any symbol refs in an input Type/Attribute use any of the special characters that this class generates, they are not escaped. More...
#include <TypeHelper.h>
Static Public Member Functions | |
| static std::string | from (mlir::Type type) |
| Return a brief string representation of the given LLZK type. | |
| static std::string | from (mlir::Attribute attr) |
| Return a brief string representation of one LLZK type parameter attribute. | |
| static std::string | from (mlir::ArrayRef< mlir::Attribute > attrs) |
| Return a brief string representation of the attribute list from a parameterized type. | |
Note: If any symbol refs in an input Type/Attribute use any of the special characters that this class generates, they are not escaped.
That means these string representations are not safe to reverse back into a Type. They are intended only to produce compact, recognizable names for instantiated symbols.
Definition at line 39 of file TypeHelper.h.
|
inlinestatic |
Return a brief string representation of the attribute list from a parameterized type.
All attributes must be non-null.
Definition at line 64 of file TypeHelper.h.
|
inlinestatic |
Return a brief string representation of one LLZK type parameter attribute.
Definition at line 58 of file TypeHelper.h.
|
inlinestatic |
Return a brief string representation of the given LLZK type.
Definition at line 53 of file TypeHelper.h.