save | Hyper.Unify.Binding.Save |
saveScheme | Hyper.Syntax.Scheme |
Scheme | |
1 (Type/Class) | Hyper.Syntax.Scheme |
2 (Data Constructor) | Hyper.Syntax.Scheme |
scopeConstraints | Hyper.Class.Unify, Hyper.Unify |
ScopeLevel | |
1 (Type/Class) | Hyper.Infer.ScopeLevel, Hyper.Infer |
2 (Data Constructor) | Hyper.Infer.ScopeLevel, Hyper.Infer |
ScopeOf | Hyper.Syntax.Var, Hyper.Syntax |
semiPruneLookup | Hyper.Class.Unify, Hyper.Unify |
sForAlls | Hyper.Syntax.Scheme |
SkolemEscape | Hyper.Unify.Error, Hyper.Unify |
SkolemUnified | Hyper.Unify.Error, Hyper.Unify |
stBinding | Hyper.Unify.Binding.ST |
structureMismatch | Hyper.Class.Unify, Hyper.Unify |
STUVar | |
1 (Type/Class) | Hyper.Unify.Binding.ST |
2 (Data Constructor) | Hyper.Unify.Binding.ST |
sTyp | Hyper.Syntax.Scheme |