idris-0.10: Functional Programming Language with Dependent Types

Index - B

B16Idris.Core.TT
B32Idris.Core.TT
B64Idris.Core.TT
B8Idris.Core.TT
backtickIdris.ParseOps, Idris.Parser
basenameIdris.AbsSyntaxTree, Idris.AbsSyntax
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
BEIRTS.Lang, IRTS.Defunctionalise
BelieveMeIdris.Core.Evaluate
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
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
BrowseIdris.AbsSyntaxTree, Idris.AbsSyntax
BrowseNSIdris.IdeMode
bugaddrIdris.Delaborate
buildIdris.Elab.Term
buildDatatypesIdris.Reflection
buildFunDefnsIdris.Reflection
buildModsPkg.Package
buildPkgPkg.Package
buildSCGIdris.Coverage
buildSCG'Idris.Coverage
buildTCIdris.Elab.Term
buildTreeIdris.Chaser
buildTypeIdris.Elab.Type
ByReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
BytecodeIdris.AbsSyntaxTree, Idris.AbsSyntax