Minimal client for HNC Unifier.Unifier module

min-unifier-hn.hs

{-# LANGUAGE NoMonomorphismRestriction, FlexibleContexts #-}
import Control.Unification (freeVar)
import Control.Unification.IntVar
import Control.Monad.Trans
import Control.Monad.Identity
import Unifier.Unifier
import Unifier.Restricted

t = UTerm . T
ar a b = UTerm $ TT [a, b]

uni1 = unify (t "foo") (t "bar")

uni2 = do
    a <- lift freeVar
    unify (UVar a) (t "bar")

runStack = runIdentity . runIntBindingT . runErrorT2