Safe Haskell	Safe-Inferred
Language	Haskell2010

Hyper.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

Instances details

Eq (STUVar s t) Source #
Instance details Defined in Hyper.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 #