GBody | Hyper.Unify.Generalize |
generalize | Hyper.Unify.Generalize |
generalizeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
Generic | Hyper |
getConst | Hyper |
getHCompose | Hyper.Combinator.Compose, Hyper |
GetHyperType | Hyper.Type, Hyper |
getNominalDecl | Hyper.Syntax.Nominal |
getScope | Hyper.Syntax.Var, Hyper.Syntax |
GMono | Hyper.Unify.Generalize |
Good | Hyper.Infer.Blame |
GPoly | Hyper.Unify.Generalize |
GTerm | Hyper.Unify.Generalize |