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 |
ForeignFun | Util.DynamicLinker |
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 |
Fun | Util.DynamicLinker |
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 |
fun_handle | Util.DynamicLinker |
fun_name | Util.DynamicLinker |