idris-1.3.2: Functional Programming Language with Dependent Types

Index - B

B16Idris.Core.TT
B32Idris.Core.TT
B64Idris.Core.TT
B8Idris.Core.TT
backtickOperatorIdris.Parser.Ops
bannerIdris.ModeCommon
basenameIdris.AbsSyntaxTree, Idris.AbsSyntax
BASETOPIRTS.Bytecode
BCIRTS.Bytecode
bcIRTS.Bytecode
BCAsmIdris.Options
BEIRTS.Lang, IRTS.Defunctionalise
BelieveMeIdris.Core.Evaluate
BIIdris.Core.TT
biIdris.AbsSyntaxTree, Idris.AbsSyntax
BiggerIdris.AbsSyntaxTree, Idris.AbsSyntax
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
bindsymbolIdris.Parser.Expr
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
bracketed'Idris.Parser.Expr
bracketedExprIdris.Parser.Expr
BrowseIdris.REPL.Commands
BrowseNSIdris.IdeMode
bugaddrIdris.Delaborate
buildIdris.Elab.Term
buildDatatypesIdris.Reflection
buildFunDefnsIdris.Reflection
buildModsIdris.Package
buildPkgIdris.Package
buildSCGIdris.Termination
buildTCIdris.Elab.Term
buildTreeIdris.Chaser
buildTypeIdris.Elab.Type
ByReflectionIdris.AbsSyntaxTree, Idris.AbsSyntax
BytecodeIdris.Options