| bakedPackagePath | ReWire.GHC.PackagePath |
| BakeOrigin | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| BAnd | Embedder.Builtins |
| bar | Embedder.Isabelle.Syntax |
| bareName | ReWire.Eidos.Lexer |
| BDefs | Embedder.Atmo.Syntax |
| bFalse | ReWire.Verilog.Syntax |
| binary | ReWire.Interactive |
| Bind | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Cryptol.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| 4 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| BindI | Embedder.Builtins |
| BindR | Embedder.Builtins |
| BindRInf | Embedder.Builtins |
| BindS | Embedder.Builtins |
| Binds | Embedder.Atmo.Syntax |
| bindVar | ReWire.Eidos.Lint |
| binify | ReWire.BitWord |
| BinOp | ReWire.Cryptol.Syntax |
| Bit | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.BitWord |
| 3 (Type/Class) | ReWire |
| bit | ReWire.Bits |
| BitIndex | Embedder.Builtins, ReWire.Builtins |
| bitIndex | ReWire.Bits |
| Bits | Embedder.Builtins, ReWire.Builtins |
| BitSlice | Embedder.Builtins, ReWire.Builtins |
| bitSlice | ReWire.Bits |
| bitsToInteger' | ReWire.BitWord |
| bitVec | ReWire.BitVector |
| bitwiseAnd' | ReWire.BitWord |
| bitwiseNot' | ReWire.BitWord |
| bitwiseOr' | ReWire.BitWord |
| bitwiseXNor' | ReWire.BitWord |
| bitwiseXor' | ReWire.BitWord |
| Blind | |
| 1 (Type/Class) | ReWire.Hyle.Syntax, ReWire.Annotation |
| 2 (Data Constructor) | ReWire.Hyle.Syntax, ReWire.Annotation |
| blkAnnote | ReWire.Synolon.Syntax |
| blkCmds | ReWire.Synolon.Syntax |
| blkParams | ReWire.Synolon.Syntax |
| blkTerm | ReWire.Synolon.Syntax |
| Block | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.Synolon.Syntax |
| 3 (Data Constructor) | ReWire.Synolon.Syntax |
| blockExps | ReWire.Synolon.Syntax |
| blockLabel | ReWire.Eidos.Naming |
| bnot | ReWire.Bits |
| booth' | ReWire.BitWord |
| boothround | ReWire.BitWord |
| BOr | Embedder.Builtins |
| boundedFix | ReWire.Fix |
| boundedFixOn | ReWire.Fix |
| braced | ReWire.Pretty |
| braces | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Eidos.Lexer |
| brackets | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Eidos.Lexer |
| bshow | ReWire.Interactive |
| bTrue | ReWire.Verilog.Syntax |
| Builtin | Embedder.Builtins, ReWire.Builtins |
| builtin | Embedder.Atmo.Util |
| builtinName | Embedder.Builtins, ReWire.Builtins |
| builtins | Embedder.Builtins, ReWire.Builtins |
| builtinSig | ReWire.Eidos.BuiltinSigs |
| builtinUserName | Embedder.Builtins |
| builtinUserQName | Embedder.Builtins |
| BV | ReWire.BitVector |
| BXOr | Embedder.Builtins |