idris

Index - F

FailsCore.Unify
falseDeclIdris.AbsSyntax
falseTyIdris.AbsSyntax
FAnyIRTS.Lang, IRTS.Defunctionalise
FArithIRTS.Lang, IRTS.Defunctionalise
FC 
1 (Type/Class)Core.TT
2 (Data Constructor)Core.TT
FC' 
1 (Type/Class)Core.TT
2 (Data Constructor)Core.TT
FCallTypeIRTS.Lang, IRTS.Defunctionalise
fcatUtil.Pretty
FConstructorIRTS.Lang, IRTS.Defunctionalise
fc_columnCore.TT
fc_fnameCore.TT
fc_lineCore.TT
FFunctionIRTS.Lang, IRTS.Defunctionalise
FFunctionIOIRTS.Lang, IRTS.Defunctionalise
FileArgIdris.Help
fileFCCore.TT
FilenameIdris.AbsSyntaxTree, Idris.AbsSyntax
fileNameIdris.ParseHelpers, Idris.Parser
Fill 
1 (Data Constructor)Core.ProofState, Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
fillCore.Elaborate
finaliseCore.TT
findCallsCore.CaseTree
findFCIdris.Parser
findImportIdris.Imports
findInPathIdris.Imports
findInstancesIdris.ElabTerm
findStaticsIdris.AbsSyntax
findUnusedArgsIdris.UnusedArgs
findUsedArgsCore.CaseTree
firstUtil.Pretty
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
FlCore.TT
FLangIRTS.Lang, IRTS.Defunctionalise
float 
1 (Function)Util.Pretty
2 (Function)Idris.ParseHelpers, Idris.Parser
fmapMBCore.TT
FnCaseCore.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)Core.ProofState, Core.Elaborate
2 (Data Constructor)Idris.AbsSyntaxTree, Idris.AbsSyntax
focusCore.Elaborate
ForallCore.ProofState, Core.Elaborate
forallCore.Elaborate
forceableIdris.AbsSyntaxTree, Idris.AbsSyntax
forceArgsIdris.DataOpts
forCodegenIdris.AbsSyntax
FOREIGNCALLIRTS.Bytecode
foreignTypeIRTS.Java.JTypes
foreignWrapperTypeIRTS.Java.JTypes
forgetCore.TT
ForgotCore.TT
FPtrIRTS.Lang, IRTS.Defunctionalise
freeNamesCore.TT
FrozenCore.Evaluate
fsepUtil.Pretty
FStaticIRTS.Lang, IRTS.Defunctionalise
FStringIRTS.Lang, IRTS.Defunctionalise
FTypeIRTS.Lang, IRTS.Defunctionalise
fullExprIdris.ParseExpr, Idris.Parser
fullRenderUtil.Pretty
fullTacticIdris.ParseExpr, Idris.Parser
FunctionCore.Evaluate
FunctionColourIdris.Colours
functionColourIdris.Colours
FunDoc 
1 (Data Constructor)Idris.Docs
2 (Type/Class)Idris.Docs
FUnitIRTS.Lang, IRTS.Defunctionalise