syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Unify.New

Description

Generate new unification variables

Synopsis

Documentation

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