idris-0.9.17: Functional Programming Language with Dependent Types

Index - B

B16Idris.Core.TT
B16VIdris.Core.TT
B32Idris.Core.TT
B32VIdris.Core.TT
B64Idris.Core.TT
B64VIdris.Core.TT
B8Idris.Core.TT
B8VIdris.Core.TT
backtickIdris.ParseOps, Idris.Parser
bannerIdris.REPL
BASETOPIRTS.Bytecode
BC 
1 (Type/Class)IRTS.BCImp
2 (Type/Class)IRTS.Bytecode
bc 
1 (Function)IRTS.BCImp
2 (Function)IRTS.Bytecode
BCAsmIdris.AbsSyntaxTree, Idris.AbsSyntax
bdecodeIdris.IBC
BEIRTS.Lang, IRTS.Defunctionalise
BelieveMeIdris.Core.Evaluate
bencodeIdris.IBC
BIIdris.Core.TT
biIdris.AbsSyntaxTree, Idris.AbsSyntax
BiggerIdris.AbsSyntaxTree, Idris.AbsSyntax
binaryIdris.ParseOps, Idris.Parser
BindIdris.Core.TT
bindAllIdris.Core.TT
BinderIdris.Core.TT
binderImplIdris.Core.TT
binderKindIdris.Core.TT
binderTyIdris.Core.TT
binderValIdris.Core.TT
BindingIdris.AbsSyntaxTree, Idris.AbsSyntax
bindingOfIdris.Core.TT
bindListIdris.ParseHelpers, Idris.Parser
bindsymbolIdris.ParseExpr, Idris.Parser
bindTCIdris.Core.TT
bindTyArgsIdris.Core.TT
BlockIdris.Docstrings
BlockquoteIdris.Docstrings
boldIdris.Colours
BoldTextIdris.Core.TT
BoolAtomIdris.IdeMode
BoundIdris.Core.TT
boundNamesInIdris.AbsSyntaxTree, Idris.AbsSyntax
BoundVarColourIdris.Colours
boundVarColourIdris.Colours
bound_inIdris.Core.ProofTerm
bound_in_termIdris.Core.ProofTerm
brace_stackIdris.AbsSyntaxTree, Idris.AbsSyntax
bracketedIdris.ParseExpr, Idris.Parser
bracketed'Idris.ParseExpr, Idris.Parser
bracketedExprIdris.ParseExpr, Idris.Parser
BufferTypeIdris.Core.TT
bugaddrIdris.Delaborate
buildIdris.ElabTerm
buildModsPkg.Package
buildPkgPkg.Package
buildSCGIdris.Coverage
buildSCG'Idris.Coverage
buildTCIdris.ElabTerm
buildTreeIdris.Chaser
buildTypeIdris.Elab.Type
ByReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
BytecodeIdris.AbsSyntaxTree, Idris.AbsSyntax