| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
AST.Unify.Binding.ST.Load
Description
Load serialized a binding state to ST based bindings
Documentation
load :: (MonadST m, UVarOf m ~ STUVar (World m), KTraversable typeVars, Unify m t, Recursively (HasChild typeVars) t) => Tree typeVars Binding -> Tree t UVar -> m (Tree t (STUVar (World m))) Source #
Load a given serialized unification
and a value with serialized unification variable identifiers
to a value with ST unification variables.