idris-1.1.0: Functional Programming Language with Dependent Types

Index - F

FailAtIdris.Core.Unify
FailContext 
1 (Type/Class)Idris.Core.Unify
2 (Data Constructor)Idris.Core.Unify
FailingIdris.Docstrings
FailsIdris.Core.Unify
fail_fnIdris.Core.Unify
fail_paramIdris.Core.Unify
fail_sourcelocIdris.Core.Unify
falseDocIdris.AbsSyntaxTree, Idris.AbsSyntax
falseTyIdris.AbsSyntaxTree, Idris.AbsSyntax
fancifyAnnotsIdris.Delaborate
FancyMsgIdris.Core.TT
FAnyIRTS.Lang, IRTS.Defunctionalise
FAppIRTS.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
FCDataIRTS.Lang, IRTS.Defunctionalise
fcInIdris.Core.TT
FConIRTS.Lang, IRTS.Defunctionalise
FConstructorIRTS.Lang, IRTS.Defunctionalise
FCReflectionIdris.Options
fc_endIdris.Core.TT
fc_fnameIdris.Core.TT
fc_startIdris.Core.TT
FDIdris.Docs
FDescIRTS.Lang, IRTS.Defunctionalise
FFunctionIRTS.Lang, IRTS.Defunctionalise
FFunctionIOIRTS.Lang, IRTS.Defunctionalise
fgetStateIdris.ASTUtils
FieldIdris.ASTUtils
FieldSetIdris.Parser.Expr, Idris.Parser
FieldUpdateIdris.Parser.Expr, Idris.Parser
FileArgIdris.Help
FileFCIdris.Core.TT
fileFCIdris.Core.TT
FilenameIdris.Options
fileNameIdris.Parser.Helpers, 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
findCalls'Idris.Core.CaseTree
findExportsIRTS.Exports
findFCIdris.Parser
findHighlightIdris.Elab.Term
findImportIdris.Imports
findInPathIdris.Imports
findLinearIdris.Elab.Utils
findParamsIdris.Elab.Utils
findPkgIndexIdris.Imports
findStaticsIdris.AbsSyntax
findUniqueIdris.Elab.Clause
findUsedArgsIdris.Core.CaseTree
FIOIRTS.Lang, IRTS.Defunctionalise
FirstSuccessIdris.AbsSyntaxTree, Idris.AbsSyntax
FixIdris.AbsSyntaxTree, Idris.AbsSyntax
fixColourIdris.Parser
FixDeclIdris.AbsSyntaxTree, Idris.AbsSyntax
fixErrorMsgIdris.Parser.Helpers, Idris.Parser
FixityIdris.AbsSyntaxTree, Idris.AbsSyntax
fixityIdris.Parser.Ops, Idris.Parser
fixityTypeIdris.Parser.Ops, Idris.Parser
FlIdris.Core.TT
floatIdris.Parser.Helpers, Idris.Parser
FManagedPtrIRTS.Lang, IRTS.Defunctionalise
fmapMBIdris.Core.TT
fmodifyStateIdris.ASTUtils
FnCaseIdris.Core.CaseTree
fnDeclIdris.Parser
fnDecl'Idris.Parser
FnInfo 
1 (Type/Class)Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
fnNameIdris.Parser.Ops, Idris.Parser
FnOptIdris.AbsSyntaxTree, Idris.AbsSyntax
fnOptIdris.Parser
FnOptsIdris.AbsSyntaxTree, Idris.AbsSyntax
fnOptsIdris.Parser
fn_paramsIdris.AbsSyntaxTree, Idris.AbsSyntax
FObjectIRTS.Lang, IRTS.Defunctionalise
Focus 
1 (Data Constructor)Idris.Core.ProofState, Idris.Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
focusIdris.Core.Elaborate
footerIRTS.JavaScript.Codegen
ForallIdris.Core.ProofState, Idris.Core.Elaborate
forallIdris.Core.Elaborate
forall_constraintIdris.AbsSyntaxTree, Idris.AbsSyntax
forall_impIdris.AbsSyntaxTree, Idris.AbsSyntax
forceableIdris.AbsSyntaxTree, Idris.AbsSyntax
forceDefCtxtIdris.Core.DeepSeq, Idris.DeepSeq
forceWithIdris.Elab.Clause
forCodegenIdris.AbsSyntax
FOREIGNCALLIRTS.Bytecode
ForeignFunUtil.DynamicLinker
forgetIdris.Core.TT
forgetEnvIdris.Core.TT
ForgotIdris.Core.TT
FPtrIRTS.Lang, IRTS.Defunctionalise
fputStateIdris.ASTUtils
freeNamesIdris.Core.TT
fromTTMaybeIdris.Reflection
FrozenIdris.Core.Evaluate
FStaticIRTS.Lang, IRTS.Defunctionalise
fstEnvIdris.Core.TT
FStrIRTS.Lang, IRTS.Defunctionalise
FStringIRTS.Lang, IRTS.Defunctionalise
FTypeIRTS.Lang, IRTS.Defunctionalise
FullIdris.IdeMode
FullDocsIdris.Options
fullExprIdris.Parser.Expr, Idris.Parser
fullTacticIdris.Parser.Expr, Idris.Parser
FunUtil.DynamicLinker
FunctionIdris.Core.Evaluate
FunctionColourIdris.Colours
functionColourIdris.Colours
FunDoc 
1 (Data Constructor)Idris.Docs
2 (Type/Class)Idris.Docs
FunDoc'Idris.Docs
FUnitIRTS.Lang, IRTS.Defunctionalise
FUnknownIRTS.Lang, IRTS.Defunctionalise
FunOutputIdris.Core.TT
fun_handleUtil.DynamicLinker
fun_nameUtil.DynamicLinker