ermine-0.6: Ermine (Index - B)

ermine-0.6: Ermine

Index - B

B	Ermine.Syntax.Sort
backslash	Ermine.Pretty
bimemoverse	Ermine.Syntax.Type
Binder
1 (Type/Class)	Ermine.Builtin.Pattern
2 (Data Constructor)	Ermine.Builtin.Pattern
Binding
1 (Type/Class)	Ermine.Syntax.Term
2 (Data Constructor)	Ermine.Syntax.Term
binding	Ermine.Syntax.Term
bindingBodies	Ermine.Syntax.Term
bindingLoc	Ermine.Syntax.Term
bindings	Ermine.Builtin.Term
BindingType	Ermine.Syntax.Term
bindingType	Ermine.Syntax.Term
bindTerm	Ermine.Syntax.Term
bindTK	Ermine.Syntax.Type
bindType	Ermine.Syntax.Type
bitraverseAlt	Ermine.Syntax.Pattern
bitraverseScope	Ermine.Syntax.Scope
bitraverseScopeTK	Ermine.Syntax.Type
black	Ermine.Pretty
BlackHole	Ermine.Interpreter
block	Ermine.Pretty
blue	Ermine.Pretty
bodies	Ermine.Pattern.Matrix
Body
1 (Type/Class)	Ermine.Syntax.Term
2 (Data Constructor)	Ermine.Syntax.Term
body
1 (Function)	Ermine.Syntax.G
2 (Function)	Ermine.Builtin.Term
3 (Function)	Ermine.Console.Command
BodyBound	Ermine.Syntax.Term
BodyDecl	Ermine.Syntax.Term
bodyDecls	Ermine.Syntax.Term
bodyGuarded	Ermine.Syntax.Term
BodyPat	Ermine.Syntax.Term
bodyPatterns	Ermine.Syntax.Term
BodyWhere	Ermine.Syntax.Term
bodyWhere	Ermine.Syntax.Term
bold	Ermine.Pretty
bool
1 (Function)	Ermine.Pretty
2 (Function)	Ermine.Builtin.Type
bound	Ermine.Syntax.G
BoundBy	Ermine.Syntax.Scope
boundBy	Ermine.Syntax.Scope
braces	Ermine.Pretty
brackets	Ermine.Pretty
Branch	Ermine.Interpreter
Builtin	Ermine.Builtin.Type
builtin	Ermine.Builtin.Type
builtin_	Ermine.Builtin.Type
bumpRank	Ermine.Unification.Meta
byInstance	Ermine.Constraint.Simplification
bySuper	Ermine.Constraint.Simplification
bySupers	Ermine.Constraint.Simplification
Byte	Ermine.Syntax.Literal
byte	Ermine.Builtin.Type