Safe Haskell	None
Language	Haskell2010

Hyper.Unify.Binding.Save

Description

Serialize the state of unification

Synopsis

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

Documentation

save :: (Unify m t, Recursively (HNodeLens typeVars) t) => (t # UVarOf m) -> StateT (typeVars # Binding) m (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.