Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
unification-fd Control.Unification.Ranked.IntVar A "mutable" unification variable implemented by an integer. This provides an entirely pure alternative to truly mutable alternatives (like STVar), which can make backtracking easier. N.B., because this implementation is pure, we can use it for both ranked and unranked monads.
-
unification-fd Control.Unification.Ranked.IntVar No documentation available.
module Control.Unification.Ranked.
STVar A ranked variant of Control.Unification.STVar.
module Control.Unification.
STVar This module defines an implementation of unification variables using the ST monad.
data
STVar s (t :: Type -> Type)unification-fd Control.Unification.STVar Unification variables implemented by STRefs. In addition to the STRef for the term itself, we also track the variable's ID (to support visited-sets).
getVarID :: Variable v => v -> Intunification-fd Control.Unification.Types Return a unique identifier for this variable, in order to support the use of visited-sets instead of occurs-checks. This function must satisfy the following coherence law with respect to the Eq instance: x == y if and only if getVarID x == getVarID y