Safe Haskell	None
Language	Haskell2010

AST.Unify.Binding.Save

Description

Serialize the state of unification

Synopsis

save :: (Unify m t, Recursively (HasChild typeVars) t) => Tree t (UVarOf m) -> StateT (Tree typeVars Binding) m (Tree t UVar)

Documentation

save :: (Unify m t, Recursively (HasChild typeVars) t) => Tree t (UVarOf m) -> StateT (Tree typeVars Binding) m (Tree t UVar) Source #

Serialize the state of unification for the unification variables in a given value, and transform the value's unification variables to their serialized identifiers.