idris-1.3.4: Functional Programming Language with Dependent Types (Index - B)

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 - B

B16 | Idris.Core.TT
B32 | Idris.Core.TT
B64 | Idris.Core.TT
B8 | Idris.Core.TT
backtickOperator | Idris.Parser.Ops
banner | Idris.ModeCommon
basename | Idris.AbsSyntaxTree, Idris.AbsSyntax
BASETOP | IRTS.Bytecode
BC | IRTS.Bytecode
bc | IRTS.Bytecode
BCAsm | Idris.Options
BE | IRTS.Lang, IRTS.Defunctionalise
BelieveMe | Idris.Core.Evaluate
BI | Idris.Core.TT
bi | Idris.AbsSyntaxTree, Idris.AbsSyntax
Bigger | Idris.AbsSyntaxTree, Idris.AbsSyntax
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
bindsymbol | Idris.Parser.Expr
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
bracketed' | Idris.Parser.Expr
bracketedExpr | Idris.Parser.Expr
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
buildTC | Idris.Elab.Term
buildTree | Idris.Chaser
buildType | Idris.Elab.Type
ByReflection | Idris.AbsSyntaxTree, Idris.AbsSyntax
Bytecode | Idris.Options