type

ValidateRule

ValidateRule : Dict

ValidateRule defines one validation diagnostic registered on the types it applies to. The engine runs a rule only where the value's spec is one of its on types; the rule body then narrows on the constraint meta it enforces. A rule listing several types applies to any of them. The rule id is the stable key used to attach custom messages, localization, documentation, and tooling to a diagnostic. Check are supplied by the implementation. A func can implement a rule via the validateRule metadata tag.

slots on

Types this rule applies to

unless

Skip when any referenced rule fired on same value

level

Diagnostic level

msg

Message template with $arg macro substitution

on MultiRef <of:Spec>

Types this rule applies to

unless MultiRef? <of:ValidateRule>

Skip when any referenced rule fired on same value

level ValidateLevel <val:err>

Diagnostic level

msg Str

Message template with $arg macro substitution

Haxall 4.0.7 ∙ 27-Oct-2026 09:10 EDT