parseExpr | Inferno.Parse |
parseType | Inferno.Parse |
Pattern | Inferno.Infer.Exhaustiveness |
PatternsMustBeEqType | Inferno.Infer |
PatternUnificationFail | Inferno.Infer |
pinExpr | Inferno.Infer.Pinned |
PinnedModule | Inferno.Module |
pinnedModuleHashToTy | Inferno.Module |
pinnedModuleNameToHash | Inferno.Module |
pinnedModuleTerms | Inferno.Module |
pinnedTypes | Inferno.Infer.Env |
preludeNameToTypeMap | Inferno.Module.Prelude |
prettyError | Inferno.Parse.Error, Inferno.Parse |
pureEval | Inferno.Eval |