idris-0.99.1: Functional Programming Language with Dependent Types

Index - B

B16Idris.Core.TT
B32Idris.Core.TT
B64Idris.Core.TT
B8Idris.Core.TT
backtickIdris.Parser.Ops, Idris.Parser
bannerIdris.ModeCommon
basenameIdris.AbsSyntaxTree, Idris.AbsSyntax
BASETOPIRTS.Bytecode
BC 
1 (Type/Class)IRTS.Bytecode
2 (Type/Class)IRTS.BCImp
bc 
1 (Function)IRTS.Bytecode
2 (Function)IRTS.BCImp
BCAsmIdris.AbsSyntaxTree, Idris.AbsSyntax
BEIRTS.Lang, IRTS.Defunctionalise
BelieveMeIdris.Core.Evaluate
BIIdris.Core.TT
biIdris.AbsSyntaxTree, Idris.AbsSyntax
BiggerIdris.AbsSyntaxTree, Idris.AbsSyntax
binaryIdris.Parser.Ops, Idris.Parser
BindIdris.Core.TT
bindAllIdris.Core.TT
BinderIdris.Core.TT
binderCountIdris.Core.TT
binderImplIdris.Core.TT
binderKindIdris.Core.TT
binderTyIdris.Core.TT
binderValIdris.Core.TT
BindingIdris.AbsSyntaxTree, Idris.AbsSyntax
bindingOfIdris.Core.TT
bindListIdris.Parser.Helpers, Idris.Parser
bindsymbolIdris.Parser.Expr, 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.Parser.Expr, Idris.Parser
bracketed'Idris.Parser.Expr, Idris.Parser
bracketedExprIdris.Parser.Expr, Idris.Parser
BrowseIdris.REPL.Commands
BrowseNSIdris.IdeMode
bugaddrIdris.Delaborate
buildIdris.Elab.Term
buildDatatypesIdris.Reflection
buildFunDefnsIdris.Reflection
buildModsIdris.Package
buildPkgIdris.Package
buildSCGIdris.Termination
buildSCG'Idris.Termination
buildTCIdris.Elab.Term
buildTreeIdris.Chaser
buildTypeIdris.Elab.Type
ByReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
BytecodeIdris.AbsSyntaxTree, Idris.AbsSyntax