Expand description
This module provides helpers to perform (semantic) analysis over Modusfile ASTs.
We use a fixpoint approach to evaluate predicate kinds, which deals with the issue of recursion. Clauses are repeatedly ‘applied’ until a fixpoint. Instead of trying to work out the proper order we should ‘apply’ clauses, we apply all of them, and if we cannot evaluate some expression body because we haven’t evaluated a future predicate kind yet, we move on - eventually it will be handled.
Structs
Enums
Traits
A trait for objects that have some interpretation w.r.t. the build graph.
Functions
Returns true if the results of the check were satisfactory; we don’t need to terminate.