Index - P
| Pretty | Type.Check.HM.Pretty |
| pretty | Type.Check.HM.Pretty |
| PrettyLang | Type.Check.HM.Lang, Type.Check.HM |
| prettyLetters | Type.Check.HM.Type, Type.Check.HM |
| prettyList | Type.Check.HM.Pretty |
| PrettyVar | Type.Check.HM.Pretty |
| Prim | |
| 1 (Data Constructor) | Type.Check.HM.Term, Type.Check.HM |
| 2 (Type/Class) | Type.Check.HM.Lang, Type.Check.HM, Type.Check.HM |
| primE | Type.Check.HM.Term, Type.Check.HM |
| PrintCons | Type.Check.HM.Pretty |
| printCons | Type.Check.HM.Pretty |
| printInfer | Type.Check.HM.Infer, Type.Check.HM |