AST.Unify.Apply

Resolve terms from unification variables.

Documentation

applyBindings :: forall m t. Unify m t => Tree (UVarOf m) t -> m (Tree Pure t)

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.