Index - F
| F | |
| 1 (Type/Class) | Text.PrintScan |
| 2 (Type/Class) | Language.LinearLC |
| 3 (Data Constructor) | Language.LinearLC |
| 4 (Type/Class) | Language.TypeLC |
| F1 | |
| 1 (Type/Class) | Language.Typ |
| 2 (Data Constructor) | Language.Typ |
| f1 | Data.Numerals |
| F2 | |
| 1 (Type/Class) | Language.Typ |
| 2 (Data Constructor) | Language.Typ |
| f2 | Data.Numerals |
| Fact | Language.DefinitionTree |
| Fail | Language.DefinitionTree |
| FAnd | Language.TypeLC |
| farmer | Lambda.QCFG |
| farmer' | Lambda.Semantics |
| FC1 | Data.Class2 |
| fc1 | Data.Class2 |
| FC2 | Data.Class2 |
| fc2 | Data.Class2 |
| FC3 | Data.Class2 |
| fc3 | Data.Class2 |
| FChr | Text.PrintScan |
| FDesc | Text.GenPrintF |
| FD_lit | Text.GenPrintF |
| FD_str | Text.GenPrintF |
| Fib | Language.TypeLC |
| Fib' | Language.TypeLC |
| findvar | Language.TypeCheck |
| FInt | Text.PrintScan |
| Fix | |
| 1 (Data Constructor) | Language.TEval.TInfTM |
| 2 (Data Constructor) | Language.TEval.TInfTEnv |
| 3 (Data Constructor) | Language.TEval.TInfT |
| 4 (Data Constructor) | Language.TEval.TInfLetP |
| 5 (Data Constructor) | Language.TEval.TInfLetI |
| 6 (Data Constructor) | Language.TEval.TEvalNR |
| 7 (Data Constructor) | Language.TEval.TEvalNC |
| 8 (Data Constructor) | Language.TEval.EvalTaglessI |
| fix | |
| 1 (Function) | Language.TTF |
| 2 (Function) | Language.TEval.EvalTaglessF |
| 3 (Function) | Language.TypeLC |
| FixSYM | Language.TTF |
| Flip | Language.TypeFN |
| FLit | Text.PrintScan |
| fmt | |
| 1 (Function) | Text.PrintScanF |
| 2 (Function) | Text.PrintScan |
| 3 (Function) | Control.ShiftResetGenuine |
| fmt3 | |
| 1 (Function) | Text.PrintScanF |
| 2 (Function) | Text.PrintScan |
| fmt5 | |
| 1 (Function) | Text.PrintScanF |
| 2 (Function) | Text.PrintScan |
| fmt50 | |
| 1 (Function) | Text.PrintScanF |
| 2 (Function) | Text.PrintScan |
| FN | Language.Fibration |
| fn'1 | Language.Fibration |
| fn'2 | Language.Fibration |
| fn'3 | Language.Fibration |
| FNot | Language.TypeLC |
| foo | Data.Numerals |
| Forall | Language.Symantics1 |
| forall | Lambda.Semantics |
| forall_ | Lambda.Semantics |
| FormattingSpec | Text.PrintScanF |
| Formula | Language.DefinitionTree |
| FPP | Text.PrintScan |
| fpp | Text.PrintScanF |
| FPr | |
| 1 (Type/Class) | Text.PrintScanF |
| 2 (Data Constructor) | Text.PrintScanF |
| FPrIO | |
| 1 (Type/Class) | Text.TFTest |
| 2 (Data Constructor) | Text.TFTest |
| Fractionals | Control.Poly2 |
| freevars | Language.TEval.TInfLetP |
| frmInteger | Data.Class1 |
| FromInteger | Data.Class1 |
| FromList | Data.Class2 |
| fromList | |
| 1 (Function) | Data.Class2 |
| 2 (Function) | Data.FDList |
| fromNat | Language.TypeLC |
| FS | |
| 1 (Type/Class) | Language.Typ |
| 2 (Data Constructor) | Language.Typ |
| FSc | |
| 1 (Type/Class) | Text.PrintScanF |
| 2 (Data Constructor) | Text.PrintScanF |
| FSum | Language.TypeLC |
| FSum' | Language.TypeLC |