| DataAlt | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dataAnnote | |
| 1 (Function) | Embedder.Atmo.Syntax |
| 2 (Function) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| DataCon | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 4 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| DataConId | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dataCons | |
| 1 (Function) | Embedder.Atmo.Syntax |
| 2 (Function) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| datacons | Embedder.Atmo.DependencyGraph |
| dataconsPat | Embedder.Atmo.DependencyGraph |
| dataconsPb | Embedder.Atmo.DependencyGraph |
| DataDefn | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 4 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dataDefnP | ReWire.Eidos.Parse |
| DataEnv | |
| 1 (Type/Class) | ReWire.Synolon.Repr |
| 2 (Data Constructor) | ReWire.Synolon.Repr |
| dataEnv | ReWire.Synolon.Repr |
| DataHeader | Embedder.Atmo.Syntax |
| dataKind | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dataName | |
| 1 (Function) | Embedder.Atmo.Syntax |
| 2 (Function) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Datatype | Embedder.Isabelle.Syntax |
| DatatypeConstructor | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| datatypeConstructors | Embedder.Isabelle.Syntax |
| datatypeName | Embedder.Isabelle.Syntax |
| datatypeTVars | Embedder.Isabelle.Syntax |
| dataVars | Embedder.Atmo.Syntax |
| dcolon | ReWire.Eidos.Lexer |
| DCon | Embedder.Atmo.DependencyGraph |
| dconFieldTys | ReWire.Eidos.Lint |
| DDecl | Embedder.Atmo.DependencyGraph |
| DDef | Embedder.Atmo.DependencyGraph |
| debugLint | ReWire.Config, Embedder.Config |
| dec | ReWire.Interactive |
| Decl | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | Embedder.Isabelle.Syntax |
| Declaration | Embedder.Atmo.DependencyGraph |
| decls | Embedder.Isabelle.Syntax |
| declSites | ReWire.Eidos.Lint |
| decr' | ReWire.BitWord |
| deCtors | ReWire.Synolon.Repr |
| deCtorSig | ReWire.Synolon.Repr |
| dedupe | ReWire.Hyle.Transform |
| Def | |
| 1 (Type/Class) | Embedder.Atmo.DependencyGraph |
| 2 (Data Constructor) | Embedder.Atmo.DependencyGraph |
| def2Decl | Embedder.Atmo.DependencyGraph |
| DefaultAlt | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defaultInputsFile | ReWire.Config, Embedder.Config |
| defaultLayoutOptions | ReWire.Pretty |
| Definition | Embedder.Isabelle.Syntax |
| definitionName | Embedder.Isabelle.Syntax |
| definitionTerm | Embedder.Isabelle.Syntax |
| definitionType | Embedder.Isabelle.Syntax |
| definitionVars | Embedder.Isabelle.Syntax |
| Defn | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Cryptol.Syntax |
| 3 (Type/Class) | ReWire.Hyle.Syntax |
| 4 (Data Constructor) | ReWire.Hyle.Syntax |
| 5 (Type/Class) | Embedder.Atmo.Syntax |
| 6 (Data Constructor) | Embedder.Atmo.Syntax |
| 7 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 8 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnAnnote | |
| 1 (Function) | ReWire.Hyle.Syntax |
| 2 (Function) | Embedder.Atmo.Syntax |
| 3 (Function) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnArgs | ReWire.Cryptol.Syntax |
| DefnAttr | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnAttr | |
| 1 (Function) | Embedder.Atmo.Syntax |
| 2 (Function) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnBase | ReWire.Eidos.Naming |
| defnBinds | Embedder.Atmo.Syntax |
| defnBody | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Hyle.Syntax |
| 3 (Function) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnComments | ReWire.Cryptol.Syntax |
| defnDoc | ReWire.Hyle.Syntax |
| defnId | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnName | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Hyle.Syntax |
| 3 (Function) | Embedder.Atmo.Syntax |
| defnNoInline | ReWire.Hyle.Syntax |
| defnOrigin | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnP | ReWire.Eidos.Parse |
| defnParams | |
| 1 (Function) | ReWire.Hyle.Syntax |
| 2 (Function) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnPolyTy | Embedder.Atmo.Syntax |
| defnPortNames | ReWire.Hyle.ToVerilog |
| defnQuantN | ReWire.Cryptol.Syntax |
| defnResTy | ReWire.Cryptol.Syntax |
| defnSig | ReWire.Hyle.Syntax |
| defnWhere | ReWire.Cryptol.Syntax |
| Delay | ReWire.Verilog.Syntax |
| deparenify | ReWire.HSE.Desugar |
| depatLambdas | ReWire.HSE.Desugar |
| depth | ReWire.Config, Embedder.Config |
| Desugar | |
| 1 (Type/Class) | ReWire.HSE.Desugar |
| 2 (Data Constructor) | ReWire.HSE.Desugar |
| desugar | |
| 1 (Function) | ReWire.HSE.Desugar |
| 2 (Function) | Embedder.HSE.Desugar |
| desugarAsPats | ReWire.HSE.Desugar |
| desugarDos | ReWire.HSE.Desugar |
| desugarFuns | ReWire.HSE.Desugar |
| desugarGuards | ReWire.HSE.Desugar |
| desugarIfs | ReWire.HSE.Desugar |
| desugarInfix | ReWire.HSE.Desugar |
| desugarLets | ReWire.HSE.Desugar |
| desugarNegLitPats | ReWire.HSE.Desugar |
| desugarNegs | ReWire.HSE.Desugar |
| desugarRecords | ReWire.HSE.Desugar |
| desugarTuples | ReWire.HSE.Desugar |
| desugarTyFuns | ReWire.HSE.Desugar |
| deuniquifyLocalOps | ReWire.HSE.Fixity |
| Dev | ReWire.Monad |
| devAnnote | ReWire.Hyle.Syntax |
| devBody | ReWire.Hyle.Syntax |
| Device | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Verilog.Syntax |
| 3 (Type/Class) | ReWire.Hyle.Syntax |
| 4 (Data Constructor) | ReWire.Hyle.Syntax |
| 5 (Type/Class) | ReWire.VHDL.Syntax |
| 6 (Data Constructor) | ReWire.VHDL.Syntax |
| devInputs | ReWire.Hyle.Syntax |
| devInstances | ReWire.Hyle.Syntax |
| devName | ReWire.Hyle.Syntax |
| devOutputs | ReWire.Hyle.Syntax |
| devRegisters | ReWire.Hyle.Syntax |
| devTags | ReWire.Hyle.Syntax |
| devUnits | ReWire.VHDL.Syntax |
| dictTyCons | ReWire.Eidos.Simplify |
| Direction | ReWire.VHDL.Syntax |
| Disp | Embedder.Isabelle.Syntax |
| Display | ReWire.Verilog.Syntax |
| Div | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| div | ReWire.FiniteComp |
| divCounter' | ReWire.BitWord |
| divide' | ReWire.BitWord |
| Doc | ReWire.Pretty |
| dot | ReWire.Pretty |
| dquote | ReWire.Pretty |
| dquotes | ReWire.Pretty |
| driverMain | Driver |
| drop | ReWire.Vectors |
| dsAlt | ReWire.HSE.Desugar |
| dsBinds | ReWire.HSE.Desugar |
| dsConDecl | ReWire.HSE.Desugar |
| dsDecl | ReWire.HSE.Desugar |
| dsDeclHead | ReWire.HSE.Desugar |
| dsExp | ReWire.HSE.Desugar |
| dshow | ReWire.Interactive |
| dsMatch | ReWire.HSE.Desugar |
| dsModule | ReWire.HSE.Desugar |
| dsPat | ReWire.HSE.Desugar |
| dsQName | ReWire.HSE.Desugar |
| dstArrow | |
| 1 (Function) | Embedder.Atmo.Types |
| 2 (Function) | ReWire.Eidos.Types |
| dstNegTy | Embedder.Atmo.Types |
| dstPlusTy | Embedder.Atmo.Types |
| dstPoly1 | Embedder.Atmo.Types |
| dstReacT | Embedder.Atmo.Types |
| dstStateT | Embedder.Atmo.Types |
| dstTyApp | Embedder.Atmo.Types |
| dsType | ReWire.HSE.Desugar |
| DTyp | Embedder.Isabelle.Syntax |
| dump | ReWire.Config, Embedder.Config |
| dumpCore | ReWire.GHC.Session |