disco-0.2: Functional programming language for teaching discrete math.

Index - B

BDisco.Types
bagDisco.Pretty.DSL, Disco.Pretty
BagContainerDisco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed
baseRelsDisco.Typecheck.Solve
BaseTyDisco.Types
BFixityDisco.Syntax.Operators
Binder_Disco.AST.Generic
Binding 
1 (Type/Class)Disco.AST.Surface
2 (Data Constructor)Disco.AST.Surface
Binding_ 
1 (Type/Class)Disco.AST.Generic
2 (Data Constructor)Disco.AST.Generic
BlackholeDisco.Value
boolDisco.Exhaustiveness.TypeInfo
boolvDisco.Value
BOpDisco.Syntax.Operators
BOpFDisco.Syntax.Operators
bopMapDisco.Syntax.Operators
bopQualDisco.Types.Qualifiers, Disco.Types.Rules
bPrecDisco.Syntax.Operators
braces 
1 (Function)Disco.Pretty.DSL, Disco.Pretty
2 (Function)Disco.Parser
brackets 
1 (Function)Disco.Pretty.DSL, Disco.Pretty
2 (Function)Disco.Parser
Branch 
1 (Type/Class)Disco.AST.Surface
2 (Data Constructor)Disco.Exhaustiveness
Branch_Disco.AST.Generic
breakIfDisco.Exhaustiveness.Constraint
bulletListDisco.Pretty.DSL, Disco.Pretty