Skip to main content

Module rules

Module rules 

Source
Expand description

The Workshop rule and declaration domain.

Rule, variable, and subroutine data is modeled canonically in crate::wir. Whole-program inspection and validation are available from this domain entry point as well as their compatibility modules.

Re-exports§

pub use crate::wir::Program;
pub use crate::wir::Rule;
pub use crate::wir::RuleId;
pub use crate::wir::WorkshopSubroutine;
pub use crate::wir::WorkshopVariable;

Structs§

SemanticIssue

Enums§

IncompletenessKind
ResidualClassification

Functions§

inspect
Report preserved or catalog-unknown constructs that must not be treated as fully understood by downstream analysis.
validate_canonical_ids
Validate every builtin reference in a Workshop-origin WIR program against the canonical catalog: action/value call names must be known canonical ids, and event/enum references must resolve to canonical identities.