| Cache | ReWire.HSE.Cache |
| Call | |
| 1 (Data Constructor) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| carryadd' | ReWire.BitWord |
| Case | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| 3 (Data Constructor) | Embedder.Atmo.Syntax |
| 4 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| caseSubst | Embedder.Isabelle.Syntax |
| Cat | |
| 1 (Data Constructor) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| cat | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Verilog.Syntax |
| 3 (Function) | ReWire.Hyle.Syntax |
| Cell | |
| 1 (Type/Class) | ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Synolon.Syntax |
| cellAnnote | ReWire.Synolon.Syntax |
| cellInit | ReWire.Synolon.Syntax |
| cellName | ReWire.Synolon.Syntax |
| cellTy | ReWire.Synolon.Syntax |
| CEq | ReWire.Verilog.Syntax |
| Certify | ReWire.Config, Embedder.Config |
| certify | ReWire.Config, Embedder.Config |
| CertifyOff | ReWire.Config, Embedder.Config |
| CertifyRequired | ReWire.Config, Embedder.Config |
| CertifyWarn | ReWire.Config, Embedder.Config |
| check | ReWire.Hyle.Check |
| checkAgainst | ReWire.Eidos.Lint |
| checkDataDefn | ReWire.Eidos.Lint |
| checkDefn | ReWire.Eidos.Lint |
| checkDistinct | ReWire.Eidos.Lint |
| checkExp | ReWire.Eidos.Lint |
| checkOccSig | ReWire.Eidos.Lint |
| checkRepr | ReWire.Eidos.Lint |
| checkTy | ReWire.Eidos.Lint |
| checkValueBinder | ReWire.Eidos.Lint |
| Chunk | ReWire.VHDL.Syntax |
| ChunkHex | ReWire.VHDL.Syntax |
| ChunkLit | ReWire.VHDL.Syntax |
| clock | ReWire.Config, Embedder.Config |
| clockReset | ReWire.Hyle.ToVerilog |
| Cmd | ReWire.Synolon.Syntax |
| CmdBind | ReWire.Synolon.Syntax |
| cmdBinders | ReWire.Synolon.Syntax |
| cmdExps | ReWire.Synolon.Syntax |
| CmdGet | ReWire.Synolon.Syntax |
| CmdPut | ReWire.Synolon.Syntax |
| CNEq | ReWire.Verilog.Syntax |
| colon | ReWire.Pretty |
| Comb | ReWire.Hyle.Syntax |
| comma | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Eidos.Lexer |
| Comment | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| Comp | ReWire.Cryptol.Syntax |
| CompDol | Embedder.Builtins |
| CompDot | Embedder.Builtins |
| compileFile | ReWire.FrontEnd |
| compileProgram | |
| 1 (Function) | ReWire.Hyle.ToCryptol |
| 2 (Function) | ReWire.Hyle.ToVerilog |
| 3 (Function) | ReWire.Hyle.ToVHDL |
| Component | |
| 1 (Type/Class) | ReWire.VHDL.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| Con | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Concat | ReWire.Verilog.Syntax |
| concat | ReWire.BitVector |
| concrete | Embedder.Atmo.Types |
| Cond | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.VHDL.Syntax |
| CondEq | ReWire.VHDL.Syntax |
| CondRising | ReWire.VHDL.Syntax |
| Config | ReWire.Config, Embedder.Config |
| conName | |
| 1 (Function) | ReWire.GHC.Recognize |
| 2 (Function) | ReWire.Eidos.Lexer |
| cons | ReWire.Vectors |
| const | ReWire.Prelude |
| Constant | ReWire.VHDL.Syntax |
| constructorArgs | Embedder.Isabelle.Syntax |
| constructorName | Embedder.Isabelle.Syntax |
| Cryptol | |
| 1 (Data Constructor) | ReWire.Config, Embedder.Config |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| cryptol | ReWire.Cryptol |
| cryptolName | ReWire.Cryptol.Syntax |
| ctorNames | Embedder.Atmo.Types |
| Ctors | ReWire.HSE.Rename |
| CtorSigs | ReWire.HSE.Rename |
| curry | ReWire.Prelude |
| cycles | ReWire.Config, Embedder.Config |