AST.Unify.Binding.ST

Unification variables binding in the ST monad

Documentation

newtype STUVar s t

A unification variable in the ST monad

Constructors

STUVar (STRef s (UTerm (STUVar s) t))

Instances

Eq (STUVar s t)

Defined in AST.Unify.Binding.ST

Methods

(==) :: STUVar s t -> STUVar s t -> Bool

(/=) :: STUVar s t -> STUVar s t -> Bool

_STUVar :: forall s t s t. Iso (STUVar s t) (STUVar s t) (STRef s (UTerm (STUVar s) t)) (STRef s (UTerm (STUVar s) t))

stBinding :: MonadST m => BindingDict (STUVar (World m)) m t

A BindingDict for STUVars