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