srdatalog.ir.dialects.relation.sorted_array.types

Sorted-array dialect types.

These are markers for the type system; they don’t carry runtime value, just IR-level type identity. The target.cuda lowering knows how to map these to concrete C++ types (HandleType, etc.).

Module Contents

Classes

SaHandle

A NodeHandle into a sorted-array index. Marker type; runtime shape is (view, lo, hi, depth) per spec §9, exposed in the C++ runtime as HandleType.

SaView

A sorted-array view of a relation. M1 carries this as a marker; the actual view variable is referenced by name in IR ops (M1 pragmatic choice — a future refactor adopts proper lexical view binding).

API

class srdatalog.ir.dialects.relation.sorted_array.types.SaHandle[source]

Bases: srdatalog.ir.core.Type

A NodeHandle into a sorted-array index. Marker type; runtime shape is (view, lo, hi, depth) per spec §9, exposed in the C++ runtime as HandleType.

class srdatalog.ir.dialects.relation.sorted_array.types.SaView[source]

Bases: srdatalog.ir.core.Type

A sorted-array view of a relation. M1 carries this as a marker; the actual view variable is referenced by name in IR ops (M1 pragmatic choice — a future refactor adopts proper lexical view binding).