idris-1.3.4: Functional Programming Language with Dependent Types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- Z
- _
- All

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
FCData | IRTS.Lang, IRTS.Defunctionalise
fcIn | Idris.Core.TT
FCon | IRTS.Lang, IRTS.Defunctionalise
FConstructor | IRTS.Lang, IRTS.Defunctionalise
FCReflection | Idris.Options
fc_end | Idris.Core.TT
fc_fname | Idris.Core.TT
fc_start | Idris.Core.TT
FD | Idris.Docs
FDesc | IRTS.Lang, IRTS.Defunctionalise
FFunction | IRTS.Lang, IRTS.Defunctionalise
FFunctionIO | IRTS.Lang, IRTS.Defunctionalise
fgetState | Idris.ASTUtils
Field | Idris.ASTUtils
FieldSet | Idris.Parser.Expr
FieldUpdate | Idris.Parser.Expr
FileArg | Idris.Help
FileFC | Idris.Core.TT
fileFC | Idris.Core.TT
Filename | Idris.Options
filename | Idris.Package.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
findCalls' | Idris.Core.CaseTree
findExports | IRTS.Exports
findHighlight | Idris.Elab.Term
findIBC | Idris.Imports
findImport | Idris.Imports
findInPath | Idris.Imports
findLinear | Idris.Elab.Utils
findParams | Idris.Elab.Utils
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
Fixity | Idris.AbsSyntaxTree, Idris.AbsSyntax
fixity | Idris.Parser.Ops
fixityType | Idris.Parser.Ops
Fl | Idris.Core.TT
float | Idris.Parser.Helpers
FManagedPtr | IRTS.Lang, IRTS.Defunctionalise
fmapMB | Idris.Core.TT
fmodifyState | Idris.ASTUtils
FnCase | Idris.Core.CaseTree
FnInfo |
1 (Type/Class) | Idris.AbsSyntaxTree, Idris.AbsSyntax
2 (Data Constructor) | Idris.AbsSyntaxTree, Idris.AbsSyntax
fnName | Idris.Parser.Ops
FnOpt | Idris.AbsSyntaxTree, Idris.AbsSyntax
FnOpts | Idris.AbsSyntaxTree, Idris.AbsSyntax
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
footer | IRTS.JavaScript.Codegen
Forall | Idris.Core.ProofState, Idris.Core.Elaborate
forAll | Idris.Core.Elaborate
forall_constraint | Idris.AbsSyntaxTree, Idris.AbsSyntax
forall_imp | Idris.AbsSyntaxTree, Idris.AbsSyntax
forceable | Idris.AbsSyntaxTree, Idris.AbsSyntax
forceDefCtxt | Idris.Core.DeepSeq, Idris.DeepSeq
forceWith | Idris.Elab.Clause
forCodegen | Idris.AbsSyntax
FOREIGNCALL | IRTS.Bytecode
ForeignFun | Util.DynamicLinker
forget | Idris.Core.TT
forgetEnv | Idris.Core.TT
Forgot | Idris.Core.TT
formatMessage | Idris.Output
FPtr | IRTS.Lang, IRTS.Defunctionalise
fputState | Idris.ASTUtils
freeNames | Idris.Core.TT
fromTTMaybe | Idris.Reflection
Frozen | Idris.Core.Evaluate
FStatic | IRTS.Lang, IRTS.Defunctionalise
fstEnv | Idris.Core.TT
FStr | IRTS.Lang, IRTS.Defunctionalise
FString | IRTS.Lang, IRTS.Defunctionalise
FType | IRTS.Lang, IRTS.Defunctionalise
Full | Idris.IdeMode
FullDocs | Idris.Options
fullExpr | Idris.Parser.Expr
fullTactic | Idris.Parser.Expr
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