bindClassInfo | Env.Class |
bindDecl | Base.Typing |
bindDecls | Base.Typing |
bindFun | Env.Value |
bindGlobalInfo | Env.Value |
Binding | |
1 (Type/Class) | IL.Type, IL |
2 (Data Constructor) | IL.Type, IL |
bindInstInfo | Env.Instance |
bindLocalVar | Env.Value |
bindLocalVars | Env.Value |
bindNestEnv | Base.NestEnv |
bindP | Env.OpPrec |
bindPattern | Base.Typing |
bindPatterns | Base.Typing |
bindSubst | Base.Subst, Base.KindSubst, Base.TypeSubst |
bindTopEnv | Base.TopEnv, Base.NestEnv |
bindTypeInfo | Env.TypeConstructor |
bindTypeKind | Env.Type |
bindVar | |
1 (Function) | Base.KindSubst |
2 (Function) | Base.TypeSubst |
boolType | Base.Types |
buildCurry | CurryBuilder |
bv | Base.Expr |