idris-0.9.11.2: Functional Programming Language with Dependent Types

Index - F

failMsgIdris.Core.TT
FailsIdris.Core.Unify
falseDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
falseOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
falseTyIdris.AbsSyntaxTree, Idris.AbsSyntax
fancifyAnnotsIdris.AbsSyntax
FAnyIRTS.Lang, IRTS.Defunctionalise
FArithIRTS.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
FCallTypeIRTS.Lang, IRTS.Defunctionalise
FConstructorIRTS.Lang, IRTS.Defunctionalise
fc_columnIdris.Core.TT
fc_fnameIdris.Core.TT
fc_lineIdris.Core.TT
FFunctionIRTS.Lang, IRTS.Defunctionalise
FFunctionIOIRTS.Lang, IRTS.Defunctionalise
FileArgIdris.Help
fileFCIdris.Core.TT
FilenameIdris.AbsSyntaxTree, Idris.AbsSyntax
fileNameIdris.ParseHelpers, Idris.Parser
Fill 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
fillIdris.Core.Elaborate
finaliseIdris.Core.TT
findCallsIdris.Core.CaseTree
findFCIdris.Parser
findImportIdris.Imports
findInPathIdris.Imports
findInstancesIdris.ElabTerm
findStaticsIdris.AbsSyntax
findUnusedArgsIdris.UnusedArgs
findUsedArgsIdris.Core.CaseTree
FixIdris.AbsSyntaxTree, Idris.AbsSyntax
fixColourIdris.REPL
FixDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
fixErrorMsgIdris.ParseHelpers, Idris.Parser
FixityIdris.AbsSyntaxTree, Idris.AbsSyntax
fixityIdris.ParseOps, Idris.Parser
fixityTypeIdris.ParseOps, Idris.Parser
FlIdris.Core.TT
FLangIRTS.Lang, IRTS.Defunctionalise
floatIdris.ParseHelpers, Idris.Parser
fmapMBIdris.Core.TT
FnCaseIdris.Core.CaseTree
fnDeclIdris.Parser
fnDecl'Idris.Parser
fnNameIdris.ParseOps, Idris.Parser
FnOptIdris.AbsSyntaxTree, Idris.AbsSyntax
FnOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
fnOptsIdris.Parser
fnubIdris.Coverage
fnub'Idris.Coverage
FObjectIRTS.Lang, IRTS.Defunctionalise
Focus 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
focusIdris.Core.Elaborate
ForallIdris.Core.ProofState, Idris.Core.Elaborate
forallIdris.Core.Elaborate
ForceabilityIdris.AbsSyntaxTree, Idris.AbsSyntax
forceableIdris.AbsSyntaxTree, Idris.AbsSyntax
forceArgsIdris.DataOpts
forcedArgSeqIdris.DataOpts
forcedCntIdris.DataOpts
ForceMapIdris.DataOpts
force_termIdris.Core.Elaborate
forCodegenIdris.AbsSyntax
FOREIGNCALLIRTS.Bytecode
ForeignFunUtil.DynamicLinker
foreignTypeIRTS.Java.JTypes
foreignWrapperTypeIRTS.Java.JTypes
forgetIdris.Core.TT
ForgotIdris.Core.TT
FPtrIRTS.Lang, IRTS.Defunctionalise
freeNamesIdris.Core.TT
fromTTMaybeIdris.ElabTerm
FrozenIdris.Core.Evaluate
FStaticIRTS.Lang, IRTS.Defunctionalise
FStringIRTS.Lang, IRTS.Defunctionalise
FTypeIRTS.Lang, IRTS.Defunctionalise
fullExprIdris.ParseExpr, Idris.Parser
fullTacticIdris.ParseExpr, Idris.Parser
FunUtil.DynamicLinker
FunctionIdris.Core.Evaluate
FunctionColourIdris.Colours
functionColourIdris.Colours
FunDoc 
1 (Data Constructor)Idris.Docs
2 (Type/Class)Idris.Docs
FUnitIRTS.Lang, IRTS.Defunctionalise
FunOutputIdris.Core.TT
fun_handleUtil.DynamicLinker
fun_nameUtil.DynamicLinker