idris (Index - B)

idris

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	Core.TT
B16V	Core.TT
B32	Core.TT
B32V	Core.TT
B64	Core.TT
B64V	Core.TT
B8	Core.TT
B8V	Core.TT
backtick	Idris.ParseOps, Idris.Parser
banner	Idris.REPL
BASETOP	IRTS.Bytecode
BC
1 (Type/Class)	IRTS.BCImp
2 (Type/Class)	IRTS.Bytecode
bc
1 (Function)	IRTS.BCImp
2 (Function)	IRTS.Bytecode
BCAsm	Idris.AbsSyntaxTree, Idris.AbsSyntax
BelieveMe	Core.Evaluate
BI	Core.TT
bi	Idris.AbsSyntax
Bigger	Idris.AbsSyntaxTree, Idris.AbsSyntax
bigInteger	IRTS.Java.ASTBuilding
bigIntegerType	IRTS.Java.JTypes
binary	Idris.ParseOps, Idris.Parser
Bind	Core.TT
bindAll	Core.TT
Binder	Core.TT
binderTy	Core.TT
binderVal	Core.TT
Binding	Idris.AbsSyntaxTree, Idris.AbsSyntax
bindList	Idris.ParseHelpers, Idris.Parser
bindTyArgs	Core.TT
bold	Idris.Colours
BoolAtom	Idris.IdeSlave
Bound	Core.TT
BoundVarColour	Idris.Colours
boundVarColour	Idris.Colours
box	IRTS.Java.JTypes
braces	Util.Pretty
brace_stack	Idris.AbsSyntaxTree, Idris.AbsSyntax
bracketed	Idris.ParseExpr, Idris.Parser
brackets	Util.Pretty
breakingSize	Util.Pretty
bugaddr	Idris.Delaborate
build
1 (Function)	Idris.ElabTerm
2 (Function)	IRTS.Compiler
buildMods	Pkg.Package
buildPkg	Pkg.Package
buildSCG	Idris.Coverage
buildSCG'	Idris.Coverage
buildTC	Idris.ElabTerm
buildTree	Idris.Chaser
Bytecode	Idris.AbsSyntaxTree, Idris.AbsSyntax
byteType	IRTS.Java.JTypes