syntax-tree-0.1.0.0: Typed ASTs
AST.Unify.New
Description
Generate new unification variables
newUnbound :: Unify m t => m (Tree (UVarOf m) t) Source #
Create a new unbound unification variable in the current scope
newTerm :: Unify m t => Tree t (UVarOf m) -> m (Tree (UVarOf m) t) Source #
Create a new unification term with a given body
unfreeze :: forall m t. Unify m t => Tree Pure t -> m (Tree (UVarOf m) t) Source #
Embed a pure term as a unification term