Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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.