Index - F
| Fails | Core.Unify |
| falseDecl | Idris.AbsSyntax |
| falseTy | Idris.AbsSyntax |
| FAny | IRTS.Lang, IRTS.Defunctionalise |
| FArith | IRTS.Lang, IRTS.Defunctionalise |
| FC | |
| 1 (Type/Class) | Core.TT |
| 2 (Data Constructor) | Core.TT |
| FC' | |
| 1 (Type/Class) | Core.TT |
| 2 (Data Constructor) | Core.TT |
| FCallType | IRTS.Lang, IRTS.Defunctionalise |
| fcat | Util.Pretty |
| FConstructor | IRTS.Lang, IRTS.Defunctionalise |
| fc_column | Core.TT |
| fc_fname | Core.TT |
| fc_line | Core.TT |
| FFunction | IRTS.Lang, IRTS.Defunctionalise |
| FFunctionIO | IRTS.Lang, IRTS.Defunctionalise |
| FileArg | Idris.Help |
| fileFC | Core.TT |
| Filename | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fileName | Idris.ParseHelpers, Idris.Parser |
| Fill | |
| 1 (Data Constructor) | Core.ProofState, Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fill | Core.Elaborate |
| finalise | Core.TT |
| findCalls | Core.CaseTree |
| findFC | Idris.Parser |
| findImport | Idris.Imports |
| findInPath | Idris.Imports |
| findInstances | Idris.ElabTerm |
| findStatics | Idris.AbsSyntax |
| findUnusedArgs | Idris.UnusedArgs |
| findUsedArgs | Core.CaseTree |
| first | Util.Pretty |
| Fix | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fixColour | Idris.REPL |
| FixDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fixErrorMsg | Idris.ParseHelpers, Idris.Parser |
| Fixity | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fixity | Idris.ParseOps, Idris.Parser |
| fixityType | Idris.ParseOps, Idris.Parser |
| Fl | Core.TT |
| FLang | IRTS.Lang, IRTS.Defunctionalise |
| float | |
| 1 (Function) | Util.Pretty |
| 2 (Function) | Idris.ParseHelpers, Idris.Parser |
| fmapMB | Core.TT |
| FnCase | Core.CaseTree |
| fnDecl | Idris.Parser |
| fnDecl' | Idris.Parser |
| fnName | Idris.ParseOps, Idris.Parser |
| FnOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| FnOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fnOpts | Idris.Parser |
| fnub | Idris.Coverage |
| fnub' | Idris.Coverage |
| FObject | IRTS.Lang, IRTS.Defunctionalise |
| Focus | |
| 1 (Data Constructor) | Core.ProofState, Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| focus | Core.Elaborate |
| Forall | Core.ProofState, Core.Elaborate |
| forall | Core.Elaborate |
| forceable | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| forceArgs | Idris.DataOpts |
| forCodegen | Idris.AbsSyntax |
| FOREIGNCALL | IRTS.Bytecode |
| foreignType | IRTS.Java.JTypes |
| foreignWrapperType | IRTS.Java.JTypes |
| forget | Core.TT |
| Forgot | Core.TT |
| FPtr | IRTS.Lang, IRTS.Defunctionalise |
| freeNames | Core.TT |
| Frozen | Core.Evaluate |
| fsep | Util.Pretty |
| FStatic | IRTS.Lang, IRTS.Defunctionalise |
| FString | IRTS.Lang, IRTS.Defunctionalise |
| FType | IRTS.Lang, IRTS.Defunctionalise |
| fullExpr | Idris.ParseExpr, Idris.Parser |
| fullRender | Util.Pretty |
| fullTactic | Idris.ParseExpr, Idris.Parser |
| Function | Core.Evaluate |
| FunctionColour | Idris.Colours |
| functionColour | Idris.Colours |
| FunDoc | |
| 1 (Data Constructor) | Idris.Docs |
| 2 (Type/Class) | Idris.Docs |
| FUnit | IRTS.Lang, IRTS.Defunctionalise |