hypertypes-0.2.2: Typed ASTs

Index - G

GBodyHyper.Unify.Generalize
generalizeHyper.Unify.Generalize
generalizeConstraintsHyper.Unify.Constraints, Hyper.Unify
GenericHyper
getConstHyper
getHComposeHyper.Combinator.Compose, Hyper
GetHyperTypeHyper.Type, Hyper
getNominalDeclHyper.Syntax.Nominal
getScopeHyper.Syntax.Var, Hyper.Syntax
GMonoHyper.Unify.Generalize
GoodHyper.Infer.Blame
GPolyHyper.Unify.Generalize
GTermHyper.Unify.Generalize