idris-1.0: 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 - B

B16 | Idris.Core.TT
B32 | Idris.Core.TT
B64 | Idris.Core.TT
B8 | Idris.Core.TT
backtick | Idris.Parser.Ops, Idris.Parser
banner | Idris.ModeCommon
basename | Idris.AbsSyntaxTree, Idris.AbsSyntax
BASETOP | IRTS.Bytecode
BC |
1 (Type/Class) | IRTS.Bytecode
2 (Type/Class) | IRTS.BCImp
bc |
1 (Function) | IRTS.Bytecode
2 (Function) | IRTS.BCImp
BCAsm | Idris.AbsSyntaxTree, Idris.AbsSyntax
BE | IRTS.Lang, IRTS.Defunctionalise
BelieveMe | Idris.Core.Evaluate
BI | Idris.Core.TT
bi | Idris.AbsSyntaxTree, Idris.AbsSyntax
Bigger | Idris.AbsSyntaxTree, Idris.AbsSyntax
binary | Idris.Parser.Ops, Idris.Parser
Bind | Idris.Core.TT
bindAll | Idris.Core.TT
Binder | Idris.Core.TT
binderCount | Idris.Core.TT
binderImpl | Idris.Core.TT
binderKind | Idris.Core.TT
binderTy | Idris.Core.TT
binderVal | Idris.Core.TT
Binding | Idris.AbsSyntaxTree, Idris.AbsSyntax
bindingOf | Idris.Core.TT
bindList | Idris.Parser.Helpers, Idris.Parser
bindsymbol | Idris.Parser.Expr, Idris.Parser
bindTyArgs | Idris.Core.TT
Block | Idris.Docstrings
Blockquote | Idris.Docstrings
bold | Idris.Colours
BoldText | Idris.Core.TT
BoolAtom | Idris.IdeMode
Bound | Idris.Core.TT
boundNamesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax
BoundVarColour | Idris.Colours
boundVarColour | Idris.Colours
bound_in | Idris.Core.ProofTerm
bound_in_term | Idris.Core.ProofTerm
brace_stack | Idris.AbsSyntaxTree, Idris.AbsSyntax
bracketed | Idris.Parser.Expr, Idris.Parser
bracketed' | Idris.Parser.Expr, Idris.Parser
bracketedExpr | Idris.Parser.Expr, Idris.Parser
Browse | Idris.REPL.Commands
BrowseNS | Idris.IdeMode
bugaddr | Idris.Delaborate
build | Idris.Elab.Term
buildDatatypes | Idris.Reflection
buildFunDefns | Idris.Reflection
buildMods | Idris.Package
buildPkg | Idris.Package
buildSCG | Idris.Termination
buildSCG' | Idris.Termination
buildTC | Idris.Elab.Term
buildTree | Idris.Chaser
buildType | Idris.Elab.Type
ByReflection | Idris.AbsSyntaxTree, Idris.AbsSyntax
Bytecode | Idris.AbsSyntaxTree, Idris.AbsSyntax