| RAnd | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| rAnd | ReWire.Bits |
| rAnd' | ReWire.BitWord |
| Range | ReWire.Verilog.Syntax |
| rangeTy | Embedder.Atmo.Types |
| RBindI | Embedder.Builtins |
| RBindR | Embedder.Builtins |
| RBindRInf | Embedder.Builtins |
| RBindS | Embedder.Builtins |
| rca | ReWire.BitWord |
| RDecl | Embedder.Atmo.DependencyGraph |
| RDef | Embedder.Atmo.DependencyGraph |
| Re | ReWire.Interactive |
| reacOrStateT | ReWire.Eidos.Types |
| ReacT | RWC.Primitives, ReWire |
| Rec | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| recAnnote | Embedder.Atmo.Syntax |
| RecDecl | Embedder.Atmo.DependencyGraph |
| RecDefn | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| recFields | Embedder.Atmo.Syntax |
| RecHeader | Embedder.Atmo.Syntax |
| recName | Embedder.Atmo.Syntax |
| Record | Embedder.Isabelle.Syntax |
| recordFields | Embedder.Isabelle.Syntax |
| recordName | Embedder.Isabelle.Syntax |
| RecordSel | Embedder.Isabelle.Syntax |
| recordTVars | Embedder.Isabelle.Syntax |
| RecordUpdate | Embedder.Isabelle.Syntax |
| RecordVal | Embedder.Isabelle.Syntax |
| recPoly | Embedder.Atmo.Syntax |
| RecSel | Embedder.Atmo.Syntax |
| RecUpd | Embedder.Atmo.Syntax |
| RecVal | Embedder.Atmo.Syntax |
| recVars | Embedder.Atmo.Syntax |
| RedAnd | ReWire.Hyle.Syntax |
| RedOr | ReWire.Hyle.Syntax |
| reduceExp | ReWire.Eidos.Simplify |
| reduceProgram | ReWire.Eidos.Simplify |
| RedXOr | ReWire.Hyle.Syntax |
| refreshDefn | ReWire.Eidos.Subst |
| refreshExp | ReWire.Eidos.Subst |
| refTy | Embedder.Atmo.Types |
| Reg | ReWire.Verilog.Syntax |
| Register | |
| 1 (Type/Class) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| relocateErr | ReWire.Error |
| relocatingNoLocTo | ReWire.Error |
| relocatingTo | ReWire.Error |
| rename | ReWire.HSE.Rename |
| Renamer | ReWire.HSE.Rename |
| renderStrict | ReWire.Pretty |
| Rep | ReWire.Hyle.Syntax |
| RepBad | ReWire.Eidos.Lint |
| RepBits | ReWire.Eidos.Lint |
| RepFinite | ReWire.Eidos.Lint |
| RepInteger | ReWire.Eidos.Lint |
| Repl | ReWire.Verilog.Syntax |
| replicate | |
| 1 (Function) | ReWire.BitVector |
| 2 (Function) | ReWire.Vectors |
| RepOpen | ReWire.Eidos.Lint |
| RePure | ReWire.Interactive |
| reservedWords | |
| 1 (Function) | ReWire.Hyle.Syntax |
| 2 (Function) | ReWire.VHDL.Syntax |
| 3 (Function) | ReWire.Eidos.Lexer |
| reset | ReWire.Config, Embedder.Config |
| ResetFlag | ReWire.Config, Embedder.Config |
| resetFlags | ReWire.Config, Embedder.Config |
| resInputTy | Embedder.Atmo.Types |
| Resize | Embedder.Builtins, ReWire.Builtins |
| resize | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Bits |
| resize' | ReWire.BitWord |
| resolveExports | ReWire.HSE.Exports |
| Return | Embedder.Builtins, ReWire.Builtins |
| return | ReWire.Prelude |
| ReturnI | Embedder.Builtins |
| ReturnR | Embedder.Builtins |
| ReturnS | Embedder.Builtins |
| reverse | ReWire.Vectors |
| rewireUserMods | Embedder.Atmo.ToIsabelle |
| Right | ReWire.Prelude |
| RNAnd | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| rNAnd | ReWire.Bits |
| rNand' | ReWire.BitWord |
| RNor | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| rNor | ReWire.Bits |
| rNor' | ReWire.BitWord |
| rNudge' | ReWire.BitWord |
| ROr | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| rOr | ReWire.Bits |
| rOr' | ReWire.BitWord |
| rotL | ReWire.Bits |
| rotR | ReWire.Bits |
| RShift | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| RShiftArith | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| rslice | ReWire.Vectors |
| rtlOpt | ReWire.Config, Embedder.Config |
| run | |
| 1 (Function) | ReWire.Hyle.Interp |
| 2 (Function) | ReWire.Interactive |
| runCache | |
| 1 (Function) | ReWire.HSE.Cache |
| 2 (Function) | Embedder.ModCache |
| runIdentity | ReWire.Interactive |
| runP | ReWire.Interactive |
| runReacT | ReWire.Interactive |
| runSimpT | ReWire.Eidos.Simplify |
| runStateT | ReWire.Interactive |
| runSyntaxError | ReWire.Error |
| RWBuiltin | Embedder.Builtins |
| RWCore | ReWire.Config, Embedder.Config |
| rwOpText | Embedder.Isabelle.Syntax |
| rwPrimAdd | RWC.Primitives, ReWire |
| rwPrimAnd | RWC.Primitives, ReWire |
| rwPrimBind | RWC.Primitives, ReWire |
| rwPrimBitIndex | RWC.Primitives, ReWire |
| rwPrimBits | RWC.Primitives, ReWire |
| rwPrimBitSlice | RWC.Primitives, ReWire |
| rwPrimCryptol | RWC.Primitives, ReWire |
| rwPrimDiv | RWC.Primitives, ReWire |
| rwPrimEq | RWC.Primitives, ReWire |
| rwPrimError | RWC.Primitives, ReWire |
| rwPrimExtern | RWC.Primitives, ReWire |
| rwPrimExtrude | RWC.Primitives, ReWire |
| rwPrimFinite | RWC.Primitives, ReWire |
| rwPrimFiniteMaxBound | RWC.Primitives, ReWire |
| rwPrimFiniteMinBound | RWC.Primitives, ReWire |
| rwPrimFromFinite | RWC.Primitives, ReWire |
| rwPrimGet | RWC.Primitives, ReWire |
| rwPrimGt | RWC.Primitives, ReWire |
| rwPrimGtEq | RWC.Primitives, ReWire |
| rwPrimLAnd | RWC.Primitives, ReWire |
| rwPrimLift | RWC.Primitives, ReWire |
| rwPrimLNot | RWC.Primitives, ReWire |
| rwPrimLOr | RWC.Primitives, ReWire |
| rwPrimLShift | RWC.Primitives, ReWire |
| rwPrimLt | RWC.Primitives, ReWire |
| rwPrimLtEq | RWC.Primitives, ReWire |
| rwPrimMod | RWC.Primitives, ReWire |
| rwPrimMSBit | RWC.Primitives, ReWire |
| rwPrimMul | RWC.Primitives, ReWire |
| rwPrimNatVal | RWC.Primitives, ReWire |
| rwPrimNot | RWC.Primitives, ReWire |
| rwPrimOr | RWC.Primitives, ReWire |
| rwPrimPow | RWC.Primitives, ReWire |
| rwPrimPut | RWC.Primitives, ReWire |
| rwPrimRAnd | RWC.Primitives, ReWire |
| rwPrimResize | RWC.Primitives, ReWire |
| rwPrimReturn | RWC.Primitives, ReWire |
| rwPrimRNAnd | RWC.Primitives, ReWire |
| rwPrimRNor | RWC.Primitives, ReWire |
| rwPrimROr | RWC.Primitives, ReWire |
| rwPrimRShift | RWC.Primitives, ReWire |
| rwPrimRShiftArith | RWC.Primitives, ReWire |
| rwPrimRXNor | RWC.Primitives, ReWire |
| rwPrimRXOr | RWC.Primitives, ReWire |
| rwPrimSignal | RWC.Primitives, ReWire |
| rwPrimSub | RWC.Primitives, ReWire |
| rwPrimToFinite | RWC.Primitives, ReWire |
| rwPrimToFiniteMod | RWC.Primitives, ReWire |
| rwPrimVecConcat | RWC.Primitives, ReWire |
| rwPrimVecFromList | RWC.Primitives, ReWire |
| rwPrimVecGenerate | RWC.Primitives, ReWire |
| rwPrimVecIndex | RWC.Primitives, ReWire |
| rwPrimVecIndexProxy | RWC.Primitives, ReWire |
| rwPrimVecMap | RWC.Primitives, ReWire |
| rwPrimVecReplicate | RWC.Primitives, ReWire |
| rwPrimVecReverse | RWC.Primitives, ReWire |
| rwPrimVecRSlice | RWC.Primitives, ReWire |
| rwPrimVecSlice | RWC.Primitives, ReWire |
| rwPrimXNor | RWC.Primitives, ReWire |
| rwPrimXOr | RWC.Primitives, ReWire |
| rwu2qn | Embedder.Builtins |
| rwu2s | Embedder.Builtins |
| RWUser | Embedder.Atmo.Syntax |
| RWUserOp | Embedder.Builtins |
| RXNor | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| rXNor | ReWire.Bits |
| rXnor' | ReWire.BitWord |
| RXOr | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| rXOr | ReWire.Bits |
| rXor' | ReWire.BitWord |