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::Program. Whole-program inspection and validation are available from this domain entry point as well as their compatibility modules.

Re-exports§

pub use crate::program::Condition;
pub use crate::program::Program;
pub use crate::program::Rule;
pub use crate::program::Subroutine;
pub use crate::program::Variable;

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.