syntax-tree-0.1.0.0: Typed ASTs
AST.Unify.Apply
Description
Resolve terms from unification variables.
applyBindings :: forall m t. Unify m t => Tree (UVarOf m) t -> m (Tree Pure t) Source #
Resolve a term from a unification variable.
Note that this must be done after all unifications involving the term and its children are done, as it replaces unification state with cached resolved terms.