Skip to main content

Module consistency_label

hydro_lang::compile

Module consistency_label 

Source
Expand description

Forward consistency analysis for Hydro IR sinks.

Structs§

SinkConsistency
A sink’s name and its type-derived consistency label.

Enums§

ConsistencyLabel
Consistency label derived from Hydro’s type system.

Functions§

analyze_sink_labels
Analyze all observable sinks in the IR, producing consistency labels equivalent to coord-analysis.
derive_label
Derive the consistency label from a ClusterConsistency and CollectionKind.
sink_type_label
Derive the “best possible” consistency label from a sink’s collection kind alone, matching coord-analysis’s sink_type_level.