Index - F
| failMsg | Idris.Core.TT |
| Fails | Idris.Core.Unify |
| falseDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| falseOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| falseTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fancifyAnnots | Idris.AbsSyntax |
| FAny | IRTS.Lang, IRTS.Defunctionalise |
| FArith | IRTS.Lang, IRTS.Defunctionalise |
| FC | |
| 1 (Type/Class) | Idris.Core.TT |
| 2 (Data Constructor) | Idris.Core.TT |
| FC' | |
| 1 (Type/Class) | Idris.Core.TT |
| 2 (Data Constructor) | Idris.Core.TT |
| FCallType | IRTS.Lang, IRTS.Defunctionalise |
| FConstructor | IRTS.Lang, IRTS.Defunctionalise |
| fc_column | Idris.Core.TT |
| fc_fname | Idris.Core.TT |
| fc_line | Idris.Core.TT |
| FFunction | IRTS.Lang, IRTS.Defunctionalise |
| FFunctionIO | IRTS.Lang, IRTS.Defunctionalise |
| FileArg | Idris.Help |
| fileFC | Idris.Core.TT |
| Filename | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fileName | Idris.ParseHelpers, Idris.Parser |
| Fill | |
| 1 (Data Constructor) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fill | Idris.Core.Elaborate |
| finalise | Idris.Core.TT |
| findCalls | Idris.Core.CaseTree |
| findFC | Idris.Parser |
| findImport | Idris.Imports |
| findInPath | Idris.Imports |
| findInstances | Idris.ElabTerm |
| findStatics | Idris.AbsSyntax |
| findUnusedArgs | Idris.UnusedArgs |
| findUsedArgs | Idris.Core.CaseTree |
| 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 | Idris.Core.TT |
| FLang | IRTS.Lang, IRTS.Defunctionalise |
| float | Idris.ParseHelpers, Idris.Parser |
| fmapMB | Idris.Core.TT |
| FnCase | Idris.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) | Idris.Core.ProofState, Idris.Core.Elaborate |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| focus | Idris.Core.Elaborate |
| Forall | Idris.Core.ProofState, Idris.Core.Elaborate |
| forall | Idris.Core.Elaborate |
| Forceability | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| forceable | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| forceArgs | Idris.DataOpts |
| forcedArgSeq | Idris.DataOpts |
| forcedCnt | Idris.DataOpts |
| ForceMap | Idris.DataOpts |
| force_term | Idris.Core.Elaborate |
| forCodegen | Idris.AbsSyntax |
| FOREIGNCALL | IRTS.Bytecode |
| foreignType | IRTS.Java.JTypes |
| foreignWrapperType | IRTS.Java.JTypes |
| forget | Idris.Core.TT |
| Forgot | Idris.Core.TT |
| FPtr | IRTS.Lang, IRTS.Defunctionalise |
| freeNames | Idris.Core.TT |
| fromTTMaybe | Idris.ElabTerm |
| Frozen | Idris.Core.Evaluate |
| FStatic | IRTS.Lang, IRTS.Defunctionalise |
| FString | IRTS.Lang, IRTS.Defunctionalise |
| FType | IRTS.Lang, IRTS.Defunctionalise |
| fullExpr | Idris.ParseExpr, Idris.Parser |
| fullTactic | Idris.ParseExpr, Idris.Parser |
| Function | Idris.Core.Evaluate |
| FunctionColour | Idris.Colours |
| functionColour | Idris.Colours |
| FunDoc | |
| 1 (Data Constructor) | Idris.Docs |
| 2 (Type/Class) | Idris.Docs |
| FUnit | IRTS.Lang, IRTS.Defunctionalise |
| FunOutput | Idris.Core.TT |