LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::BuildShortTypeString Class Reference

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.

Detailed Description

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.

Member Function Documentation

◆ from() [1/3]

std::string llzk::BuildShortTypeString::from ( mlir::ArrayRef< mlir::Attribute > attrs)
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.

◆ from() [2/3]

std::string llzk::BuildShortTypeString::from ( mlir::Attribute attr)
inlinestatic

Return a brief string representation of one LLZK type parameter attribute.

Definition at line 58 of file TypeHelper.h.

◆ from() [3/3]

std::string llzk::BuildShortTypeString::from ( mlir::Type type)
inlinestatic

Return a brief string representation of the given LLZK type.

Definition at line 53 of file TypeHelper.h.


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