Index - F
| FailAt | Idris.Core.Unify |
| FailContext | |
| 1 (Type/Class) | Idris.Core.Unify |
| 2 (Data Constructor) | Idris.Core.Unify |
| Failing | Idris.Docstrings |
| Fails | Idris.Core.Unify |
| fail_fn | Idris.Core.Unify |
| fail_param | Idris.Core.Unify |
| fail_sourceloc | Idris.Core.Unify |
| falseDoc | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| falseTy | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fancifyAnnots | Idris.Delaborate |
| FancyMsg | Idris.Core.TT |
| FAny | IRTS.Lang, IRTS.Defunctionalise |
| FApp | 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 |
| fcIn | Idris.Core.TT |
| FCon | IRTS.Lang, IRTS.Defunctionalise |
| FConstructor | IRTS.Lang, IRTS.Defunctionalise |
| fc_end | Idris.Core.TT |
| fc_fname | Idris.Core.TT |
| fc_start | Idris.Core.TT |
| FD | Idris.Docs |
| FDesc | IRTS.Lang, IRTS.Defunctionalise |
| FFI | IRTS.JavaScript.AST |
| ffi | IRTS.JavaScript.AST |
| FFIArg | IRTS.JavaScript.AST |
| FFICode | IRTS.JavaScript.AST |
| FFIError | IRTS.JavaScript.AST |
| FFunction | IRTS.Lang, IRTS.Defunctionalise |
| FFunctionIO | IRTS.Lang, IRTS.Defunctionalise |
| fgetState | Idris.ASTUtils |
| Field | Idris.ASTUtils |
| FileArg | Idris.Help |
| FileFC | Idris.Core.TT |
| fileFC | Idris.Core.TT |
| Filename | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fileName | Idris.Parser.Helpers, 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 |
| findExports | IRTS.Exports |
| findFC | Idris.Parser |
| findHighlight | Idris.Elab.Term |
| findImport | Idris.Imports |
| findInPath | Idris.Imports |
| findPkgIndex | Idris.Imports |
| findStatics | Idris.AbsSyntax |
| findUnique | Idris.Elab.Clause |
| findUsedArgs | Idris.Core.CaseTree |
| FIO | IRTS.Lang, IRTS.Defunctionalise |
| FirstSuccess | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| Fix | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fixColour | Idris.Parser |
| FixDecl | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fixErrorMsg | Idris.Parser.Helpers, Idris.Parser |
| Fixity | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fixity | Idris.Parser.Ops, Idris.Parser |
| fixityType | Idris.Parser.Ops, Idris.Parser |
| Fl | Idris.Core.TT |
| float | Idris.Parser.Helpers, Idris.Parser |
| FManagedPtr | IRTS.Lang, IRTS.Defunctionalise |
| fmapMB | Idris.Core.TT |
| fmodifyState | Idris.ASTUtils |
| FnCase | Idris.Core.CaseTree |
| fnDecl | Idris.Parser |
| fnDecl' | Idris.Parser |
| FnInfo | |
| 1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fnName | Idris.Parser.Ops, Idris.Parser |
| FnOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| FnOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fnOpts | Idris.Parser |
| fn_params | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| 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 |
| forall_constraint | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| forall_imp | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| forceDefCtxt | Idris.Core.DeepSeq, Idris.DeepSeq |
| forCodegen | Idris.AbsSyntax |
| FOREIGNCALL | IRTS.Bytecode |
| ForeignFun | Util.DynamicLinker |
| forget | Idris.Core.TT |
| forgetEnv | Idris.Core.TT |
| Forgot | Idris.Core.TT |
| FPtr | IRTS.Lang, IRTS.Defunctionalise |
| fputState | Idris.ASTUtils |
| freeNames | Idris.Core.TT |
| fromTTMaybe | Idris.Reflection |
| Frozen | Idris.Core.Evaluate |
| FStatic | IRTS.Lang, IRTS.Defunctionalise |
| FStr | IRTS.Lang, IRTS.Defunctionalise |
| FString | IRTS.Lang, IRTS.Defunctionalise |
| FType | IRTS.Lang, IRTS.Defunctionalise |
| Full | Idris.IdeMode |
| FullDocs | Idris.AbsSyntaxTree, Idris.AbsSyntax |
| fullExpr | Idris.Parser.Expr, Idris.Parser |
| fullTactic | Idris.Parser.Expr, Idris.Parser |
| Fun | Util.DynamicLinker |
| Function | Idris.Core.Evaluate |
| FunctionColour | Idris.Colours |
| functionColour | Idris.Colours |
| FunDoc | |
| 1 (Data Constructor) | Idris.Docs |
| 2 (Type/Class) | Idris.Docs |
| FunDoc' | Idris.Docs |
| FUnit | IRTS.Lang, IRTS.Defunctionalise |
| FUnknown | IRTS.Lang, IRTS.Defunctionalise |
| FunOutput | Idris.Core.TT |
| fun_handle | Util.DynamicLinker |
| fun_name | Util.DynamicLinker |