syntax-tree-0.1.0.1: Typed ASTs

Safe Haskell	None
Language	Haskell2010

AST.Unify.New

Description

Generate new unification variables

Synopsis

newUnbound :: Unify m t => m (Tree (UVarOf m) t)
newTerm :: Unify m t => Tree t (UVarOf m) -> m (Tree (UVarOf m) t)
unfreeze :: forall m t. Unify m t => Tree Pure t -> m (Tree (UVarOf m) t)

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