Control.Unification.Ranked.STVar

A ranked variant of Control.Unification.STVar.

Documentation

data STRVar s t

A ranked unification variable implemented by STRefs. In addition to the STRef for the term itself, we also track the variable's ID (to support visited-sets) and rank (to support weighted path compression).

Instances

Unifiable t => RankedBindingMonad t (STRVar s t) (STRBinding s)

Unifiable t => BindingMonad t (STRVar s t) (STRBinding s)

Eq (STRVar s t)

Show (STRVar s t)

Variable (STRVar s t)

data STRBinding s a

A monad for handling STRVar bindings.

Instances

Unifiable t => RankedBindingMonad t (STRVar s t) (STRBinding s)

Unifiable t => BindingMonad t (STRVar s t) (STRBinding s)

Monad (STRBinding s)

Functor (STRBinding s)

Applicative (STRBinding s)

runSTRBinding :: (forall s. STRBinding s a) -> a

Run the ST ranked binding monad. N.B., because STRVar are rank-2 quantified, this guarantees that the return value has no such references. However, in order to remove the references from terms, you'll need to explicitly apply the bindings.