| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Hyper.Unify.Binding.ST.Load
Description
Load serialized a binding state to ST based bindings
Documentation
load :: (MonadST m, UVarOf m ~ STUVar (World m), HTraversable typeVars, Unify m t, Recursively (HNodeLens typeVars) t) => (typeVars # Binding) -> (t # UVar) -> m (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.