Index - B
backslash | Common.Pretty |
BadExpr | IR.Constraint.Error |
BadPattern | IR.Constraint.Error |
bar | Common.Pretty |
BindAnon | IR.IR |
Binder | |
1 (Type/Class) | IR.IR |
2 (Data Constructor) | IR.IR |
BinderDef | IR.Constraint.Constrain.Expression |
binderToVar | IR.IR |
binderToVarId | IR.Constraint.Type |
BindVar | IR.IR |
block | Common.Pretty |
braces | Common.Pretty |
brackets | Common.Pretty |
Break | |
1 (Data Constructor) | Front.Ast |
2 (Data Constructor) | IR.IR |
buildConsMap | IR.Pattern.Common |
buildCtx | IR.Pattern.Anomaly |
buildTypeMap | IR.Pattern.Common |
Builtin | Front.Identifiers |
builtinData | Front.Identifiers |
builtinKinds | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
builtinTypes | Front.Identifiers |