Skip to content

Data

Data dataclass 

Data()

Bases: Attribute, Generic[T]


              flowchart TD
              kirin.ir.attrs.data.Data[Data]
              kirin.ir.attrs.abc.Attribute[Attribute]
              kirin.print.printable.Printable[Printable]

                              kirin.ir.attrs.abc.Attribute --> kirin.ir.attrs.data.Data
                                kirin.print.printable.Printable --> kirin.ir.attrs.abc.Attribute
                



              click kirin.ir.attrs.data.Data href "" "kirin.ir.attrs.data.Data"
              click kirin.ir.attrs.abc.Attribute href "" "kirin.ir.attrs.abc.Attribute"
              click kirin.print.printable.Printable href "" "kirin.print.printable.Printable"

Base class for data attributes.

Data attributes are compile-time constants that can be used to represent runtime data inside the IR.

This class is meant to be subclassed by specific data attributes. It provides a type attribute that should be set to the type of the data.

unwrap abstractmethod 

unwrap() -> T

Returns the underlying data value.

Source code in src/kirin/ir/attrs/data.py 
25
26
27
28
@abstractmethod
def unwrap(self) -> T:
    """Returns the underlying data value."""
    ...