fhelium.ir.dialects._common
Shared IRDL building blocks for FHElium dialects.
OpenStateType
class View source
python
OpenStateType(state: DictionaryAttr | Mapping[str, Attribute] | None=None)1
Bases: ParametrizedAttribute, TypeAttribute
Base type for a value whose compile-time state may be incomplete.
Attributes
| Name | Type | Default/value |
|---|---|---|
ROLE | ClassVar[ValueRole | None] | None |
state | DictionaryAttr | cast(DictionaryAttr, param_def()) |
with_state
method
python
def with_state(updates: Mapping[str, Attribute | None] | None=None, /, **fields: Attribute | None) -> Self: ...1
Return the same concrete type with copied, updated state fields.
An update value of None removes that field. The source type and its immutable DictionaryAttr remain unchanged.
ValueRole
type alias View source
python
ValueRole = Literal['encrypted', 'message', 'plaintext', 'static']1
dictionary_state
function View source
python
def dictionary_state(state: DictionaryAttr | Mapping[str, Attribute] | None) -> DictionaryAttr: ...1
Return an immutable xDSL dictionary for partial value state.