| Label | ReWire.Error |
| labelBase | ReWire.Eidos.Naming |
| Lam | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| lambdasToCases | ReWire.HSE.Desugar |
| LAnd | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| Language | ReWire.Config, Embedder.Config |
| last | ReWire.Vectors |
| lastComponent | ReWire.Hyle.ToVerilog |
| lastIndex | ReWire.Vectors |
| layoutSmart | ReWire.Pretty |
| Left | ReWire.Prelude |
| Len | ReWire.Cryptol.Syntax |
| len | ReWire |
| length | ReWire |
| LenSucc | ReWire.Cryptol.Syntax |
| LenVar | ReWire.Cryptol.Syntax |
| Let | |
| 1 (Data Constructor) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| 3 (Data Constructor) | Embedder.Atmo.Syntax |
| 4 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| letSubst | Embedder.Isabelle.Syntax |
| lexeme | ReWire.Eidos.Lexer |
| Lift | Embedder.Builtins, ReWire.Builtins |
| lift | ReWire |
| liftDiscriminator | ReWire.HSE.Desugar |
| liftedJoinName | ReWire.Eidos.Naming |
| LiftR | Embedder.Builtins |
| LiftS | Embedder.Builtins |
| line | ReWire.Pretty |
| LineVar | ReWire.VHDL.Syntax |
| lint | |
| 1 (Function) | ReWire.Eidos.Lint |
| 2 (Function) | ReWire.Synolon.Lint |
| lintDefn | ReWire.Eidos.Lint |
| LintMode | ReWire.Eidos.Lint |
| LintMono | ReWire.Eidos.Lint |
| LintMonoANF | ReWire.Eidos.Lint |
| LintPoly | ReWire.Eidos.Lint |
| lintPre | ReWire.Synolon.Lint |
| lintProc | ReWire.Synolon.Lint |
| List | Embedder.Isabelle.Syntax |
| listConName | ReWire.Eidos.Lexer |
| listTy | Embedder.Atmo.Types |
| Lit | |
| 1 (Data Constructor) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | ReWire.VHDL.Syntax |
| 4 (Type/Class) | ReWire.Bits |
| lit | ReWire.Bits |
| lit' | ReWire.BitWord |
| LitAlt | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitBits | ReWire.Verilog.Syntax |
| LitInt | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitList | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitNum | Embedder.Isabelle.Syntax |
| LitRep | ReWire.Eidos.Lint |
| litRep | ReWire.Eidos.Lint |
| LitStr | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitString | Embedder.Isabelle.Syntax |
| LitVec | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitWord | Embedder.Isabelle.Syntax |
| LNot | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| lnot | ReWire.Bits |
| loadCore | ReWire.GHC.Session |
| LoadPath | |
| 1 (Type/Class) | ReWire.HSE.Cache, Embedder.ModCache, Embedder.FrontEnd |
| 2 (Type/Class) | ReWire.ModCache, ReWire.FrontEnd |
| loadPath | ReWire.Config, Embedder.Config |
| localOcc | ReWire.GHC.Recognize |
| LocalParam | ReWire.Verilog.Syntax |
| locators | ReWire.Config, Embedder.Config |
| Logic | ReWire.Verilog.Syntax |
| lookupCon | ReWire.Eidos.Lint |
| lookupCtors | ReWire.HSE.Rename |
| lookupCtorSig | ReWire.HSE.Rename |
| lookupCtorSigsForType | ReWire.HSE.Rename |
| LOr | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| lsb1 | ReWire.BitVector |
| lsBit' | ReWire.BitWord |
| LShift | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| LShiftArith | ReWire.Verilog.Syntax |
| LShr | ReWire.Hyle.Syntax |
| Lt | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| LtEq | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| LVal | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Verilog.Syntax |
| 3 (Type/Class) | ReWire.VHDL.Syntax |
| LVals | ReWire.Verilog.Syntax |
| LVElem | ReWire.VHDL.Syntax |
| LVName | ReWire.VHDL.Syntax |
| LVRange | ReWire.VHDL.Syntax |