AST.Unify.Binding.ST.Load

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

Load a given serialized unification and a value with serialized unification variable identifiers to a value with ST unification variables.