Data

Data `dataclass`

Data()

Bases: Attribute, Generic[T]

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() -> T

Returns the underlying data value.

Source code in src/kirin/ir/attrs/data.py

@abstractmethod
def unwrap(self) -> T:
    """Returns the underlying data value."""
    ...