B16 | Idris.Core.TT |
B16V | Idris.Core.TT |
B32 | Idris.Core.TT |
B32V | Idris.Core.TT |
B64 | Idris.Core.TT |
B64V | Idris.Core.TT |
B8 | Idris.Core.TT |
B8V | Idris.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 |
bdecode | Idris.IBC |
BE | IRTS.Lang, IRTS.Defunctionalise |
BelieveMe | Idris.Core.Evaluate |
bencode | Idris.IBC |
BI | Idris.Core.TT |
bi | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Bigger | Idris.AbsSyntaxTree, Idris.AbsSyntax |
bigInteger | IRTS.Java.ASTBuilding |
bigIntegerType | IRTS.Java.JTypes |
binary | Idris.ParseOps, Idris.Parser |
Bind | Idris.Core.TT |
bindAll | Idris.Core.TT |
Binder | Idris.Core.TT |
binderTy | Idris.Core.TT |
binderVal | Idris.Core.TT |
Binding | Idris.AbsSyntaxTree, Idris.AbsSyntax |
bindingOf | Idris.AbsSyntaxTree, Idris.AbsSyntax |
bindList | Idris.ParseHelpers, Idris.Parser |
bindTyArgs | Idris.Core.TT |
bold | Idris.Colours |
BoolAtom | Idris.IdeSlave |
Bound | Idris.Core.TT |
boundNamesIn | Idris.AbsSyntaxTree, Idris.AbsSyntax |
BoundVarColour | Idris.Colours |
boundVarColour | Idris.Colours |
box | IRTS.Java.JTypes |
brace_stack | Idris.AbsSyntaxTree, Idris.AbsSyntax |
bracketed | Idris.ParseExpr, Idris.Parser |
bracketedExpr | Idris.ParseExpr, Idris.Parser |
BufferType | Idris.Core.TT |
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 |
ByReflection | Idris.AbsSyntaxTree, Idris.AbsSyntax |
Bytecode | Idris.AbsSyntaxTree, Idris.AbsSyntax |
byteType | IRTS.Java.JTypes |