Index - F
| Fixity | Type.Check.HM.Pretty |
| fixity'context | Type.Check.HM.Pretty |
| fixity'data | Type.Check.HM.Pretty |
| FixityCtx | |
| 1 (Type/Class) | Type.Check.HM.Pretty |
| 2 (Data Constructor) | Type.Check.HM.Pretty |
| FixLeft | Type.Check.HM.Pretty |
| FixNone | Type.Check.HM.Pretty |
| FixRight | Type.Check.HM.Pretty |
| ForAllT | Type.Check.HM.Type, Type.Check.HM |
| forAllT | Type.Check.HM.Type, Type.Check.HM |
| freeVars | Type.Check.HM.Term, Type.Check.HM |
| FreshNameFound | Type.Check.HM.TypeError, Type.Check.HM |