syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Unify.Binding.ST

Description

Unification variables binding in the ST monad

Synopsis

Documentation

newtype STUVar s t Source #

A unification variable in the ST monad

Constructors

STUVar (STRef s (UTerm (STUVar s) t)) 
Instances
Eq (STUVar s t) Source # 
Instance details

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)) Source #

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

A BindingDict for STUVars