syntax-tree-0.1.0.0: Typed ASTs

Safe HaskellNone
LanguageHaskell2010

AST.Unify.Binding.ST.Load

Description

Load serialized a binding state to ST based bindings

Synopsis

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.