| ! | ReWire.Vectors |
| != | ReWire.Vectors |
| $ | ReWire.Prelude |
| $$ | ReWire.Pretty |
| $+$ | Embedder.Isabelle.Syntax |
| % | ReWire.Bits |
| && | ReWire.Prelude |
| &&& | ReWire.Bits |
| &&. | ReWire.Bits |
| * | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| ** | ReWire.Bits |
| + | |
| 1 (Type/Class) | RWC.Primitives, ReWire |
| 2 (Function) | ReWire.Bits |
| 3 (Function) | ReWire.FiniteComp |
| ++ | ReWire.Vectors |
| - | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| . | ReWire.Prelude |
| .&. | ReWire.Bits |
| .|. | ReWire.Bits |
| / | ReWire.Bits |
| /= | ReWire.Bits |
| :+> | ReWire.Interactive |
| :> | ReWire.Interactive |
| < | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| <+> | ReWire.Pretty |
| <<. | |
| 1 (Function) | ReWire.BitVector |
| 2 (Function) | ReWire.Bits |
| <= | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| <> | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Bits |
| =<< | ReWire.Prelude |
| == | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| ==. | ReWire.BitVector |
| > | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| >&&< | ReWire.BitWord |
| >= | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| >==< | ReWire.BitWord |
| >> | ReWire.Prelude |
| >>. | |
| 1 (Function) | ReWire.BitVector |
| 2 (Function) | ReWire.Bits |
| >>= | ReWire.Prelude |
| >>> | ReWire.Bits |
| >^< | ReWire.BitWord |
| >||< | ReWire.BitWord |
| >~&< | ReWire.BitWord |
| >~^< | ReWire.BitWord |
| >~|< | ReWire.BitWord |
| @. | |
| 1 (Function) | ReWire.BitVector |
| 2 (Function) | ReWire.Bits |
| @@ | |
| 1 (Function) | ReWire.BitVector |
| 2 (Function) | ReWire.Bits |
| Abs | Embedder.Isabelle.Syntax |
| absVars | Embedder.Isabelle.Syntax |
| Add | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| addMainModuleHead | ReWire.HSE.Desugar, Embedder.HSE.Desugar |
| addPrims | ReWire.Eidos.PrimBasis |
| align | ReWire.Pretty |
| allBlocks | ReWire.Synolon.Syntax |
| allExports | ReWire.HSE.Rename |
| Alt | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| AltCon | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Always | ReWire.Verilog.Syntax |
| AlwaysComb | ReWire.Verilog.Syntax |
| And | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| andS | Embedder.Isabelle.Syntax |
| angles | ReWire.Pretty |
| ann | ReWire.Annotation |
| annContext | ReWire.Annotation |
| annotate | ReWire.HSE.Annotate |
| Annotated | ReWire.Annotation |
| Annotation | ReWire.Annotation |
| Annote | |
| 1 (Type/Class) | ReWire.Annotation, ReWire.HSE.Annotate |
| 2 (Data Constructor) | ReWire.Annotation |
| annProv | ReWire.Annotation |
| App | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Arg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| argIds | Embedder.Isabelle.Syntax |
| arithShiftR' | ReWire.BitWord |
| arithShiftR1' | ReWire.BitWord |
| arr | Embedder.Atmo.Types |
| Arrow | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| arrow | ReWire.Eidos.Lexer |
| arrowLeft | Embedder.Atmo.Types |
| arrowRight | Embedder.Atmo.Types |
| AShr | ReWire.Hyle.Syntax |
| ashr | ReWire.BitVector |
| Assign | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| AstError | ReWire.Error |
| atomic | Embedder.Isabelle.Syntax |
| atomP | ReWire.Eidos.Parse |
| 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 |
| 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 |
| 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 |
| EArg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| eidos | ReWire.Config, Embedder.Config |
| eidosFile | ReWire.Config, Embedder.Config |
| Either | ReWire.Prelude |
| either | ReWire.Prelude |
| eitherTyName | ReWire.GHC.Recognize |
| elabDefn | ReWire.Eidos.Parse |
| elabExp | ReWire.Eidos.Parse |
| Elem | ReWire.VHDL.Syntax |
| Element | ReWire.Verilog.Syntax |
| elseId | Embedder.Isabelle.Syntax |
| embedFile | Embedder.FrontEnd |
| embedFreeProgram | Embedder.Atmo.ToIsabelle |
| embedModule | Embedder.Atmo.ToIsabelle |
| empty | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Vectors |
| Env | |
| 1 (Type/Class) | ReWire.Eidos.Parse |
| 2 (Data Constructor) | ReWire.Eidos.Parse |
| 3 (Type/Class) | ReWire.Eidos.Lint |
| 4 (Data Constructor) | ReWire.Eidos.Lint |
| envBanReactive | ReWire.Eidos.Lint |
| envCons | ReWire.Eidos.Lint |
| envDefns | ReWire.Hyle.Interp |
| envExterns | ReWire.Hyle.Interp |
| envFromDecls | ReWire.Eidos.Lint |
| envJoins | |
| 1 (Function) | ReWire.Eidos.Parse |
| 2 (Function) | ReWire.Eidos.Lint |
| envMode | ReWire.Eidos.Lint |
| envRepr | ReWire.Eidos.Lint |
| envScope | ReWire.Eidos.Lint |
| envTail | ReWire.Eidos.Lint |
| envTVs | ReWire.Eidos.Lint |
| envVars | ReWire.Eidos.Parse |
| Eq | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| equals | ReWire.Eidos.Lexer |
| erasedArg | ReWire.GHC.Recognize |
| erasedEv | ReWire.GHC.Recognize |
| err | ReWire.HSE.Desugar |
| Error | Embedder.Builtins, ReWire.Builtins |
| error | ReWire |
| evalExp | ReWire.Hyle.Interp |
| evalNat | |
| 1 (Function) | Embedder.Atmo.Types |
| 2 (Function) | ReWire.Eidos.Types |
| evalOp | ReWire.Hyle.Interp |
| even | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| exclude | ReWire.HSE.Rename |
| Exp | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Type/Class) | ReWire.Verilog.Syntax |
| 3 (Type/Class) | ReWire.Hyle.Syntax |
| 4 (Type/Class) | ReWire.VHDL.Syntax |
| 5 (Type/Class) | Embedder.Atmo.Syntax |
| 6 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| expCtorSigs | ReWire.HSE.Rename |
| expFixity | ReWire.HSE.Rename |
| Export | |
| 1 (Type/Class) | ReWire.HSE.Exports |
| 2 (Data Constructor) | ReWire.HSE.Exports |
| ExportAll | ReWire.HSE.Exports |
| exportAll | ReWire.HSE.Exports |
| ExportFixity | ReWire.HSE.Exports |
| ExportMod | ReWire.HSE.Exports |
| Exports | ReWire.HSE.Rename |
| ExportWith | ReWire.HSE.Exports |
| expP | ReWire.Eidos.Parse |
| expSites | ReWire.Eidos.Lint |
| expType | ReWire.HSE.Rename |
| expValue | ReWire.HSE.Rename |
| extAnnote | ReWire.Hyle.Syntax |
| extend | ReWire.HSE.Rename |
| extendWithGlobs | ReWire.HSE.Globs |
| Extern | |
| 1 (Type/Class) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| extern | ReWire |
| ExternKind | ReWire.Hyle.Syntax |
| externResultSize | ReWire.Hyle.Syntax |
| externWithSig | ReWire |
| extGenerics | ReWire.Hyle.Syntax |
| extInputs | ReWire.Hyle.Syntax |
| extKind | ReWire.Hyle.Syntax |
| extModel | ReWire.Hyle.Syntax |
| extName | ReWire.Hyle.Syntax |
| extOutputs | ReWire.Hyle.Syntax |
| Extrude | Embedder.Builtins, ReWire.Builtins |
| extrude | ReWire |
| extrudeDev | ReWire.Monad |
| extrudeStateDev | ReWire.Monad |
| failAt | ReWire.Error |
| failAt' | ReWire.Error |
| failAtWith | ReWire.Error |
| failInternal | ReWire.Error |
| failNowhere | ReWire.Error |
| failParse | ReWire.Eidos.Lexer |
| false' | ReWire.BitWord |
| fastPrint | ReWire.Pretty |
| fastPrint' | ReWire.Pretty |
| FDecl | Embedder.Atmo.DependencyGraph |
| FieldId | Embedder.Atmo.Syntax, Embedder.Atmo.Util |
| filePath | ReWire.Error |
| filterName | Embedder.Atmo.ToIsabelle |
| FinAdd | Embedder.Builtins |
| finBitIndex | ReWire.Bits |
| finBitSlice | ReWire.Bits |
| findCtorSigFromField | ReWire.HSE.Rename |
| FinDiv | Embedder.Builtins |
| FinEq | Embedder.Builtins |
| finger | ReWire.HSE.Rename |
| Finish | ReWire.Verilog.Syntax |
| Finite | |
| 1 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| 2 (Type/Class) | RWC.Primitives, ReWire |
| finite | ReWire.Finite |
| FiniteMaxBound | Embedder.Builtins, ReWire.Builtins |
| FiniteMinBound | Embedder.Builtins, ReWire.Builtins |
| finiteTy | Embedder.Atmo.Types |
| FinLt | Embedder.Builtins |
| finMax | Embedder.Atmo.Types |
| FinMul | Embedder.Builtins |
| FinSub | Embedder.Builtins |
| firstTerm | Embedder.Isabelle.Syntax |
| fitsRep | ReWire.Eidos.Lint |
| fix | ReWire.Fix |
| fix' | ReWire.Fix |
| fixFixity | ReWire.HSE.Rename |
| fixLocalOps | ReWire.HSE.Fixity |
| fixOn | ReWire.Fix |
| fixOn' | ReWire.Fix |
| fixPure | ReWire.Fix |
| fixUntil | ReWire.Fix |
| Flag | ReWire.Flags |
| FlagCertify | ReWire.Flags |
| FlagClockName | ReWire.Flags |
| FlagCore | ReWire.Flags |
| FlagCryptol | ReWire.Flags |
| FlagCycles | ReWire.Flags |
| FlagDebugLint | ReWire.Flags |
| FlagDump | ReWire.Flags |
| FlagDumpAll | ReWire.Flags |
| FlagEidos | ReWire.Flags |
| FlagEvalDepth | ReWire.Flags |
| FlagFlatten | ReWire.Flags |
| FlagFromCore | ReWire.Flags |
| FlagHelp | ReWire.Flags |
| FlagInputNames | ReWire.Flags |
| FlagInterpret | ReWire.Flags |
| FlagInvertReset | ReWire.Flags |
| FlagLoadPath | ReWire.Flags |
| FlagLocators | ReWire.Flags |
| FlagNoClock | ReWire.Flags |
| FlagNoHalt | ReWire.Flags |
| FlagNoLocators | ReWire.Flags |
| FlagNoReset | ReWire.Flags |
| FlagNoWarn | ReWire.Flags |
| FlagO | ReWire.Flags |
| FlagOutputNames | ReWire.Flags |
| FlagPretty | ReWire.Flags |
| FlagResetName | ReWire.Flags |
| FlagRtlOpt | ReWire.Flags |
| FlagStableNames | ReWire.Flags |
| FlagStart | ReWire.Flags |
| FlagStateNames | ReWire.Flags |
| FlagSyncReset | ReWire.Flags |
| FlagSynolon | ReWire.Flags |
| FlagTestbench | ReWire.Flags |
| FlagTop | ReWire.Flags |
| FlagVerbose | ReWire.Flags |
| FlagVerilog | ReWire.Flags |
| FlagVhdl | ReWire.Flags |
| FlagVhdlPkgs | ReWire.Flags |
| FlagW | ReWire.Flags |
| Flatten | ReWire.Config, Embedder.Config |
| flatten | ReWire.Config, Embedder.Config |
| flattenAlts | ReWire.HSE.Desugar |
| flattenApp | ReWire.Eidos.Types |
| flattenArrow | ReWire.Eidos.Types |
| flattenCase | Embedder.Atmo.ToIsabelle |
| flattenLam | Embedder.Atmo.Util |
| flattenLambdas | ReWire.HSE.Desugar |
| flattenSig | Embedder.Atmo.Types |
| flattenTuple | Embedder.Atmo.Util |
| flattenTy | Embedder.Atmo.ToIsabelle |
| flattenTyApp | ReWire.Eidos.Types |
| flattenTyTuple | Embedder.Atmo.ToIsabelle |
| flip | ReWire.Prelude |
| fours | ReWire.BitWord |
| FQCtors | ReWire.HSE.Rename |
| FQCtorSigs | ReWire.HSE.Rename |
| FQName | ReWire.HSE.Rename |
| Free | Embedder.Isabelle.Syntax |
| FreeProgram | Embedder.Atmo.Syntax |
| freeUniqs | ReWire.Eidos.Subst |
| Fresh | ReWire.HSE.Desugar |
| fresh | ReWire.HSE.Desugar |
| fromBool | ReWire.BitWord |
| FromFinite | Embedder.Builtins, ReWire.Builtins |
| fromFinite | ReWire.Finite |
| FromGeneric | |
| 1 (Type/Class) | ReWire.Pretty |
| 2 (Data Constructor) | ReWire.Pretty |
| fromGeneric | ReWire.Pretty |
| fromImps | ReWire.HSE.Rename |
| fromList | ReWire |
| FromSource | ReWire.Annotation |
| fromString | ReWire.Pretty |
| fromText | ReWire.Pretty |
| fst | ReWire.Prelude |
| Fun | Embedder.Isabelle.Syntax |
| FunBinding | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| FunCall | ReWire.VHDL.Syntax |
| fundamental | |
| 1 (Function) | Embedder.Atmo.Types |
| 2 (Function) | ReWire.Eidos.Types |
| funEquations | Embedder.Isabelle.Syntax |
| funId | Embedder.Isabelle.Syntax |
| fve | Embedder.Atmo.DependencyGraph |
| fvePat | Embedder.Atmo.DependencyGraph |
| fvePb | Embedder.Atmo.DependencyGraph |
| fvt | Embedder.Atmo.DependencyGraph |
| gather | ReWire.Hyle.Syntax |
| generate | ReWire.Vectors |
| genericShowbPrec | ReWire.Pretty |
| Get | Embedder.Builtins, ReWire.Builtins |
| get | ReWire |
| getAnn | ReWire.Eidos.Lexer |
| getAtmoFile | Embedder.Config |
| getBaseName | Embedder.Atmo.ToIsabelle |
| getCtors | ReWire.HSE.Rename |
| getDevice | ReWire.ModCache |
| getEmbedFile | Embedder.Config |
| getExportFixities | ReWire.HSE.Exports |
| getExports | ReWire.HSE.Rename |
| getFixities | ReWire.HSE.Fixity |
| getImps | ReWire.HSE.Globs |
| getInlines | ReWire.HSE.Exports |
| getLocalCtorSigs | ReWire.HSE.Rename |
| getLocalTypes | ReWire.HSE.Rename |
| getModule | Embedder.ModCache |
| getModuleWith | ReWire.HSE.Cache |
| getNodeData | Embedder.Atmo.DependencyGraph |
| getNodeDefn | Embedder.Atmo.DependencyGraph |
| getNodeRec | Embedder.Atmo.DependencyGraph |
| getNodeTSyns | Embedder.Atmo.DependencyGraph |
| getOutFile | ReWire.Config, Embedder.Config |
| getPatVars | Embedder.Atmo.Syntax |
| getStates | Embedder.Atmo.FlattenMonadTrans |
| getTypeExports | ReWire.HSE.Exports |
| GId | ReWire.Hyle.Syntax |
| gmapT | ReWire.SYB |
| Goto | ReWire.Synolon.Syntax |
| grunt | ReWire.Interactive |
| Gt | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| GtEq | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| Halt | ReWire.Synolon.Syntax |
| haltSites | ReWire.Synolon.Syntax |
| hasArrow | ReWire.Eidos.Types |
| hashHex | ReWire.Sha256 |
| hasJump | ReWire.Eidos.ANF |
| Haskell | ReWire.Config, Embedder.Config |
| hcat | ReWire.Pretty |
| head | ReWire.Vectors |
| helpers | ReWire.Cryptol.Syntax |
| helpersPackage | ReWire.VHDL.Helpers |
| hex | ReWire.Interactive |
| hexify | ReWire.BitWord |
| Hide | Embedder.Isabelle.Syntax |
| higherOrder | |
| 1 (Function) | Embedder.Atmo.Types |
| 2 (Function) | ReWire.Eidos.Types |
| hoistInstances | ReWire.Hyle.Transform |
| homeishMod | ReWire.GHC.Recognize |
| hsep | ReWire.Pretty |
| Id | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| id | ReWire.Prelude |
| identChar | ReWire.Eidos.Lexer |
| Identity | RWC.Primitives, ReWire |
| identRaw | ReWire.Eidos.Lexer |
| identStartChar | ReWire.Eidos.Lexer |
| idOcc | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| idSig | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| idSite | ReWire.Eidos.Lint |
| idUniq | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| IEnv | |
| 1 (Type/Class) | ReWire.Hyle.Interp |
| 2 (Data Constructor) | ReWire.Hyle.Interp |
| If | |
| 1 (Data Constructor) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Verilog.Syntax |
| 3 (Data Constructor) | ReWire.Hyle.Syntax |
| 4 (Data Constructor) | Embedder.Isabelle.Syntax |
| 5 (Data Constructor) | Embedder.Atmo.Syntax |
| IfElse | ReWire.Verilog.Syntax |
| ifId | Embedder.Isabelle.Syntax |
| imports | Embedder.Isabelle.Syntax |
| In | ReWire.VHDL.Syntax |
| Index | |
| 1 (Data Constructor) | ReWire.Cryptol.Syntax |
| 2 (Type/Class) | ReWire.Verilog.Syntax |
| 3 (Type/Class) | ReWire.Hyle.Syntax |
| 4 (Type/Class) | ReWire.VHDL.Syntax |
| index | ReWire.Vectors |
| index' | ReWire.Vectors |
| infixBuiltinList | Embedder.Isabelle.Syntax |
| infixRWUserOpList | Embedder.Isabelle.Syntax |
| inId | Embedder.Isabelle.Syntax |
| init | ReWire.Vectors |
| Initial | ReWire.Verilog.Syntax |
| Inline | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| inline | ReWire.Hyle.Transform |
| inlineable | Embedder.Atmo.Util |
| inlineAnnotated | ReWire.Eidos.Inline |
| inlineBy | ReWire.Hyle.Transform |
| InOut | ReWire.Verilog.Syntax |
| Input | ReWire.Verilog.Syntax |
| inputsFile | ReWire.Config, Embedder.Config |
| inputSigs | ReWire.Config, Embedder.Config |
| inputValue | ReWire.Hyle.Interp |
| Ins | ReWire.Hyle.Interp |
| insertVar | ReWire.Eidos.Parse |
| Instance | |
| 1 (Type/Class) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| Instantiate | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| instantiate | ReWire.Eidos.Types |
| instantiateDefn | ReWire.Eidos.Subst |
| int | ReWire.Pretty |
| int2bin | ReWire.BitWord |
| int2bits' | ReWire.BitWord |
| integer | ReWire.Eidos.Lexer |
| interp | ReWire.Hyle.Interp |
| Interpret | ReWire.Config, Embedder.Config |
| interpret | ReWire.Config, Embedder.Config |
| intToBits' | ReWire.BitWord |
| intTy | Embedder.Atmo.Types |
| Inverted | ReWire.Config, Embedder.Config |
| IsaEq | Embedder.Isabelle.Syntax |
| isAtom | ReWire.Eidos.ANF |
| isIdentChar | ReWire.Eidos.Lexer |
| isIdentStart | ReWire.Eidos.Lexer |
| isInfix | Embedder.Isabelle.Syntax |
| isNil | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Verilog.Syntax |
| 3 (Function) | ReWire.Hyle.Syntax |
| isOperand | ReWire.Synolon.Lint |
| isPrefix | Embedder.Isabelle.Syntax |
| isPrim | Embedder.Atmo.Util |
| isPrimExp | ReWire.Eidos.ANF |
| isPrimModule | ReWire.GHC.Recognize |
| isPrimVar | ReWire.GHC.Recognize |
| isReacT | Embedder.Atmo.Types |
| isReWire | Embedder.Atmo.ToIsabelle |
| isStateT | Embedder.Atmo.Types |
| isTuple | Embedder.Isabelle.Syntax |
| isTupleCon | ReWire.Synolon.Repr |
| isTupleCtor | Embedder.Atmo.Util |
| iter | ReWire.Monad |
| iter' | ReWire.BitWord |
| iterRe | ReWire.Interactive |
| iterSt | ReWire.Monad |
| Join | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| JoinId | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| jpArity | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| jpId | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| JScope | ReWire.Eidos.Parse |
| Jump | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Just | ReWire.Prelude |
| keyword | ReWire.Eidos.Lexer |
| KFun | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Kind | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| kindP | ReWire.Eidos.Parse |
| KNat | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| KnownNat | RWC.Primitives, ReWire |
| KStar | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 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 |
| machineDefn | ReWire.Eidos.Types |
| machineSummary | ReWire.Synolon.Transform |
| main | |
| 1 (Function) | RWE |
| 2 (Function) | RWC |
| mangle | ReWire.Hyle.Mangle |
| mangleFresh | ReWire.Hyle.Mangle |
| mangleMod | ReWire.Hyle.Mangle |
| map | ReWire.Vectors |
| mapTermTargets | ReWire.Synolon.Syntax |
| mark | ReWire.Error |
| matchesSig | ReWire.Eidos.BuiltinSigs |
| maxBound | ReWire.Finite |
| maxUniq | ReWire.Eidos.Subst |
| Maybe | ReWire.Prelude |
| maybe | ReWire.Prelude |
| maybeTyName | ReWire.GHC.Recognize |
| minBound | ReWire.Finite |
| minus' | ReWire.BitWord |
| minusP1 | Embedder.Atmo.Types |
| mkApp | Embedder.Atmo.Util |
| mkArrow | ReWire.Eidos.Types |
| mkArrowTy | Embedder.Atmo.Types |
| mkError | Embedder.Atmo.Util |
| mkFooter | Embedder.Isabelle.Syntax |
| mkHeader | Embedder.Isabelle.Syntax |
| mkLam | Embedder.Atmo.Util |
| mkPair | Embedder.Atmo.Util |
| mkPairPat | Embedder.Atmo.Util |
| mkPatRec | Embedder.Atmo.Util |
| mkRDecl | Embedder.Atmo.DependencyGraph |
| mkRecSel | Embedder.Atmo.Util |
| mkRecUpd | Embedder.Atmo.Util |
| mkRecVal | Embedder.Atmo.Util |
| mkState | Embedder.Atmo.FlattenMonadTrans |
| mkTuple | |
| 1 (Function) | Embedder.Atmo.Util |
| 2 (Function) | ReWire.HSE.Desugar |
| mkTupleCtor | Embedder.Atmo.Util |
| mkTuplePat | Embedder.Atmo.Util |
| mkTyApp | |
| 1 (Function) | Embedder.Atmo.Types |
| 2 (Function) | ReWire.Eidos.Types |
| Mod | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| mod | |
| 1 (Function) | ReWire.HSE.Rename |
| 2 (Function) | ReWire.FiniteComp |
| mod' | ReWire.BitWord |
| modComments | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Verilog.Syntax |
| modDefns | ReWire.Cryptol.Syntax |
| modify | ReWire |
| modName | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Verilog.Syntax |
| modParams | ReWire.Cryptol.Syntax |
| modPorts | ReWire.Verilog.Syntax |
| modSignals | ReWire.Verilog.Syntax |
| modStmt | ReWire.Verilog.Syntax |
| Module | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Cryptol.Syntax |
| 3 (Type/Class) | ReWire.Verilog.Syntax |
| 4 (Data Constructor) | ReWire.Verilog.Syntax |
| 5 (Type/Class) | Embedder.Atmo.Syntax |
| 6 (Data Constructor) | Embedder.Atmo.Syntax |
| Monad | RWC.Primitives, ReWire |
| MonadError | ReWire.Error |
| MonadTrans | RWC.Primitives, ReWire |
| monoSig | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| mparens | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Verilog.Syntax |
| MSBit | Embedder.Builtins, ReWire.Builtins |
| msbit | ReWire.Bits |
| msBit' | ReWire.BitWord |
| MsgAnnote | ReWire.Annotation |
| Mul | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| mustInline | Embedder.Atmo.Util |
| Name | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.Cryptol.Syntax |
| 3 (Type/Class) | ReWire.Verilog.Syntax |
| 4 (Type/Class) | ReWire.Hyle.Syntax |
| 5 (Type/Class) | ReWire.VHDL.Syntax |
| name | ReWire.HSE.Rename |
| Namespace | ReWire.HSE.Rename |
| nat | ReWire.BitVector |
| natNorm | ReWire.Eidos.Types |
| natural | ReWire.Eidos.Lexer |
| NatVal | Embedder.Builtins, ReWire.Builtins |
| natVal | ReWire |
| nbits | ReWire.BitVector |
| Ne | ReWire.Hyle.Syntax |
| Neg | ReWire.Verilog.Syntax |
| negate' | ReWire.BitWord |
| negTy | Embedder.Atmo.Types |
| NEq | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins |
| nest | ReWire.Pretty |
| neuterExterns | ReWire.Eidos.Externs |
| nextUniq | ReWire.Eidos.Subst |
| nil | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Verilog.Syntax |
| 3 (Function) | ReWire.Hyle.Syntax |
| 4 (Function) | ReWire.BitVector |
| 5 (Function) | Embedder.Atmo.Util |
| nilTy | Embedder.Atmo.Types |
| noAnn | ReWire.Annotation |
| NoAnnote | ReWire.Annotation |
| noHalt | ReWire.Config, Embedder.Config |
| NoInline | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| noLocators | ReWire.Config, Embedder.Config |
| NonRec | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| nonrestoringDivide' | ReWire.BitWord |
| nonTail | ReWire.Eidos.Lint |
| NoProvenance | ReWire.Annotation |
| normalize | ReWire.Eidos.ANF |
| normIds | ReWire.HSE.Desugar |
| normTyContext | ReWire.HSE.Desugar |
| Not | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| not | ReWire.Prelude |
| notBit | ReWire.BitWord |
| Nothing | ReWire.Prelude |
| noWarn | ReWire.Config, Embedder.Config |
| nudgeL' | ReWire.BitWord |
| nudgeR' | ReWire.BitWord |
| Num | ReWire.VHDL.Syntax |
| occCounts | ReWire.Eidos.Subst |
| occIds | ReWire.Eidos.Subst |
| odd | |
| 1 (Function) | ReWire.Bits |
| 2 (Function) | ReWire.FiniteComp |
| One | ReWire.Verilog.Syntax |
| one | |
| 1 (Function) | ReWire.BitWord |
| 2 (Function) | ReWire.Bits |
| one' | ReWire.BitWord |
| ones | ReWire.BitVector |
| Op | ReWire.Hyle.Syntax |
| opName | ReWire.Hyle.Syntax |
| opResultSize | ReWire.Hyle.Syntax |
| optimize | ReWire.Hyle.Transform |
| optimizeProc | ReWire.Synolon.Transform |
| Or | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| originArgs | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| originName | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| originTag | ReWire.Eidos.Naming |
| otherwise | ReWire.Prelude |
| Out | ReWire.VHDL.Syntax |
| outFile | ReWire.Config, Embedder.Config |
| OutFlag | ReWire.Config, Embedder.Config |
| outFlags | ReWire.Config, Embedder.Config |
| Output | ReWire.Verilog.Syntax |
| outputSigs | ReWire.Config, Embedder.Config |
| Outs | ReWire.Hyle.Interp |
| packhi | ReWire.Vectors |
| packlo | ReWire.Vectors |
| pad' | ReWire.BitWord |
| padMax' | ReWire.BitWord |
| padTrunc' | ReWire.BitWord |
| pairTy | Embedder.Atmo.Types |
| Param | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Cryptol.Syntax |
| param | ReWire.Eidos.Parse |
| paramTys | Embedder.Atmo.Types, Embedder.Atmo.Util |
| ParAssign | ReWire.Verilog.Syntax |
| Parenless | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Type/Class) | ReWire.Verilog.Syntax |
| parenless | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Verilog.Syntax |
| parens | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Eidos.Lexer |
| pArg | Embedder.Isabelle.Syntax |
| parseEir | ReWire.Eidos.Parse |
| parseEirText | ReWire.Eidos.Parse |
| parseHyle | ReWire.Hyle.Parse |
| parseHyleDefns | ReWire.Hyle.Parse |
| parseHyleText | ReWire.Hyle.Parse |
| Parser | ReWire.Eidos.Lexer |
| parseSyn | ReWire.Synolon.Parse |
| parseSynText | ReWire.Synolon.Parse |
| partialEval | ReWire.Hyle.Transform |
| pass | |
| 1 (Function) | ReWire.HSE.Desugar |
| 2 (Function) | ReWire.Pass |
| Pat | Embedder.Atmo.Syntax |
| PatAs | Embedder.Atmo.Syntax |
| PatBind | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| PatCon | Embedder.Atmo.Syntax |
| PatRec | Embedder.Atmo.Syntax |
| PatTuple | Embedder.Atmo.Syntax |
| PatVar | Embedder.Atmo.Syntax |
| PatWildCard | Embedder.Atmo.Syntax |
| Pause | ReWire.Synolon.Syntax |
| pauseTargets | ReWire.Synolon.Syntax |
| pbTycons | Embedder.Atmo.DependencyGraph |
| pDebug | ReWire.Config, Embedder.Config |
| pendingSig | ReWire.Eidos.Parse |
| pgmModules | ReWire.Verilog.Syntax |
| pickFresh | ReWire.Hyle.Mangle |
| pickVar | Embedder.Atmo.Types |
| plus' | ReWire.BitWord |
| plusTy | Embedder.Atmo.Types |
| Poly | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| poly | Embedder.Atmo.Types |
| poly' | Embedder.Atmo.Types |
| Poly1 | Embedder.Atmo.Types |
| poly1Ty | Embedder.Atmo.Types |
| pOp | Embedder.Isabelle.Syntax |
| Port | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.VHDL.Syntax |
| 3 (Data Constructor) | ReWire.VHDL.Syntax |
| Pos | ReWire.Verilog.Syntax |
| Pow | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| power' | ReWire.BitWord |
| pp | ReWire.Interactive |
| ppAlt | ReWire.Eidos.Pretty |
| ppArm | ReWire.VHDL.Syntax |
| ppAtom | ReWire.Eidos.Pretty |
| ppAtomE | ReWire.Synolon.Pretty |
| ppBind | ReWire.Eidos.Pretty |
| ppBinder | ReWire.Eidos.Pretty |
| ppBinOp | ReWire.Verilog.Syntax |
| ppBits | ReWire.VHDL.Syntax |
| ppBlock | ReWire.Synolon.Pretty |
| ppCell | ReWire.Synolon.Pretty |
| ppCmd | ReWire.Synolon.Pretty |
| ppCommaList | ReWire.Verilog.Syntax |
| ppComment | |
| 1 (Function) | ReWire.Verilog.Syntax |
| 2 (Function) | ReWire.VHDL.Syntax |
| ppContext | ReWire.VHDL.Syntax |
| ppDataDefn | ReWire.Eidos.Pretty |
| ppDefn | ReWire.Eidos.Pretty |
| ppDims | ReWire.Verilog.Syntax |
| ppExp | ReWire.Eidos.Pretty |
| ppFun | ReWire.Cryptol.Syntax |
| ppHex | ReWire.VHDL.Syntax |
| ppId | ReWire.Eidos.Pretty |
| ppInit | ReWire.VHDL.Syntax |
| ppItem | ReWire.Verilog.Syntax |
| ppKind | ReWire.Eidos.Pretty |
| ppLit | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.VHDL.Syntax |
| ppName | |
| 1 (Function) | ReWire.VHDL.Syntax |
| 2 (Function) | ReWire.Eidos.Pretty |
| ppOcc | ReWire.Eidos.Pretty |
| ppOcc' | ReWire.Eidos.Pretty |
| ppParams | ReWire.Cryptol.Syntax |
| ppProc | ReWire.Synolon.Pretty |
| ppProgram | |
| 1 (Function) | ReWire.Eidos.Pretty |
| 2 (Function) | ReWire.Synolon.Pretty |
| ppSig | ReWire.Eidos.Pretty |
| ppStrLit | ReWire.Eidos.Pretty |
| ppTAlt | ReWire.Synolon.Pretty |
| ppTerm | ReWire.Synolon.Pretty |
| ppTy | ReWire.Eidos.Pretty |
| ppTyVar | ReWire.Eidos.Pretty |
| ppUnit | ReWire.VHDL.Syntax |
| ppUnOp | ReWire.Verilog.Syntax |
| ppVecTy | ReWire.VHDL.Syntax |
| prefixBuiltinList | Embedder.Isabelle.Syntax |
| prefixRWUserOpList | Embedder.Isabelle.Syntax |
| Pretty | |
| 1 (Type/Class) | ReWire.Pretty |
| 2 (Data Constructor) | ReWire.Config, Embedder.Config |
| 3 (Type/Class) | ReWire.Interactive |
| pretty | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Config, Embedder.Config |
| 3 (Function) | ReWire.Interactive |
| prettyFP | Embedder.Atmo.Syntax |
| prettyPrint | ReWire.Pretty |
| prettyPrint' | ReWire.Pretty |
| prettyProgram | |
| 1 (Function) | ReWire.Eidos.Pretty |
| 2 (Function) | ReWire.Synolon.Pretty |
| prettyTerm | Embedder.Isabelle.Syntax |
| Prim | |
| 1 (Data Constructor) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| 3 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| primDatas | ReWire.Eidos.PrimBasis |
| primId | Embedder.Isabelle.Syntax |
| primSpan | ReWire.Annotation |
| printApp | Embedder.Isabelle.Syntax |
| printApp' | Embedder.Isabelle.Syntax |
| printCon | Embedder.Isabelle.Syntax |
| printDatatypeConstructor | Embedder.Isabelle.Syntax |
| printDecls | Embedder.Isabelle.Syntax |
| printError | ReWire.Error |
| printHeader | ReWire.Pass |
| printInfoHSE | ReWire.HSE.PassInfo |
| printInfoTop | ReWire.HSE.PassInfo |
| printTBuiltin | Embedder.Isabelle.Syntax |
| printTuple | Embedder.Isabelle.Syntax |
| printType | Embedder.Isabelle.Syntax |
| printType' | Embedder.Isabelle.Syntax |
| printTypSig | Embedder.Isabelle.Syntax |
| printTyTuple | Embedder.Isabelle.Syntax |
| Proc | |
| 1 (Type/Class) | ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Synolon.Syntax |
| procAnnote | ReWire.Synolon.Syntax |
| procBlocks | ReWire.Synolon.Syntax |
| procCells | ReWire.Synolon.Syntax |
| procClock | ReWire.Synolon.Syntax |
| procEntry | ReWire.Synolon.Syntax |
| Process | ReWire.VHDL.Syntax |
| procInTy | ReWire.Synolon.Syntax |
| procName | ReWire.Synolon.Syntax |
| procOutTy | ReWire.Synolon.Syntax |
| ProcVar | ReWire.VHDL.Syntax |
| progDatas | |
| 1 (Function) | ReWire.Eidos.Syntax |
| 2 (Function) | ReWire.Synolon.Syntax |
| progDefns | |
| 1 (Function) | ReWire.Hyle.Syntax |
| 2 (Function) | ReWire.Eidos.Syntax |
| 3 (Function) | ReWire.Synolon.Syntax |
| progDevice | ReWire.Hyle.Syntax |
| progExterns | ReWire.Hyle.Syntax |
| progProcs | ReWire.Synolon.Syntax |
| Program | |
| 1 (Type/Class) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Type/Class) | Embedder.Atmo.Syntax |
| 4 (Data Constructor) | Embedder.Atmo.Syntax |
| 5 (Type/Class) | ReWire.Eidos.Syntax |
| 6 (Data Constructor) | ReWire.Eidos.Syntax |
| 7 (Type/Class) | ReWire.Synolon.Syntax |
| 8 (Data Constructor) | ReWire.Synolon.Syntax |
| progTop | ReWire.Eidos.Syntax |
| Provenance | ReWire.Annotation |
| Proxy | |
| 1 (Type/Class) | RWC.Primitives, ReWire |
| 2 (Data Constructor) | RWC.Primitives, ReWire |
| proxy | Embedder.Atmo.Util |
| proxyNat | Embedder.Atmo.Types |
| proxyTy | Embedder.Atmo.Types |
| Pttrn | Embedder.Isabelle.Syntax |
| PttrnAs | Embedder.Isabelle.Syntax |
| PttrnCon | Embedder.Isabelle.Syntax |
| PttrnRecord | Embedder.Isabelle.Syntax |
| PttrnTuple | Embedder.Isabelle.Syntax |
| PttrnVar | Embedder.Isabelle.Syntax |
| PttrnWildCard | Embedder.Isabelle.Syntax |
| pTyArg | Embedder.Isabelle.Syntax |
| punctuate | ReWire.Pretty |
| pure | ReWire.Prelude |
| purge | ReWire.Eidos.Simplify |
| purgeDevLets | ReWire.Hyle.Transform |
| purgeUnused | ReWire.Hyle.Transform |
| purgeZeroWidth | ReWire.Hyle.Transform |
| purify | ReWire.Eidos.ToSynolon |
| Put | Embedder.Builtins, ReWire.Builtins |
| put | ReWire |
| PutMsg | ReWire.Error |
| putMsg | ReWire.Error |
| qn2rwu | Embedder.Builtins |
| QName | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| qname | Embedder.Isabelle.Syntax |
| QNamish | ReWire.HSE.Rename |
| qnamish | ReWire.HSE.Rename |
| qualifiers | Embedder.Isabelle.Syntax |
| qualName | ReWire.GHC.Recognize |
| query | ReWire.SYB |
| queryWith | ReWire.SYB |
| 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 |
| s2rwu | Embedder.Builtins |
| s2tb | Embedder.Builtins |
| sanitizeComment | |
| 1 (Function) | ReWire.Verilog.Syntax |
| 2 (Function) | ReWire.VHDL.Syntax |
| SAssign | ReWire.VHDL.Syntax |
| scJoins | ReWire.Eidos.Parse |
| Scope | |
| 1 (Type/Class) | ReWire.Eidos.Parse |
| 2 (Data Constructor) | ReWire.Eidos.Parse |
| scTVs | ReWire.Eidos.Parse |
| sDeclHead | ReWire.HSE.Exports |
| secondTerm | Embedder.Isabelle.Syntax |
| seedNames | ReWire.Hyle.Mangle |
| SelAssign | ReWire.VHDL.Syntax |
| selfGroup | Embedder.Isabelle.Syntax |
| semi | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Eidos.Lexer |
| Sensitivity | ReWire.Verilog.Syntax |
| Seq | |
| 1 (Data Constructor) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | Embedder.Builtins |
| SeqAssign | ReWire.Verilog.Syntax |
| SeqI | Embedder.Builtins |
| SeqLit | ReWire.Cryptol.Syntax |
| SeqR | Embedder.Builtins |
| SeqRInf | Embedder.Builtins |
| SeqS | Embedder.Builtins |
| SeqStmt | ReWire.VHDL.Syntax |
| setCtors | ReWire.HSE.Rename |
| setTyAnn | Embedder.Atmo.Types |
| SExt | ReWire.Hyle.Syntax |
| sext | ReWire.Bits |
| SFinish | ReWire.VHDL.Syntax |
| SGe | ReWire.Hyle.Syntax |
| SGt | ReWire.Hyle.Syntax |
| shiftAmount' | ReWire.BitWord |
| shiftL' | ReWire.BitWord |
| shiftL1' | ReWire.BitWord |
| shiftR' | ReWire.BitWord |
| shiftR1' | ReWire.BitWord |
| Shl | ReWire.Hyle.Syntax |
| showb | ReWire.Pretty |
| ShowBin | ReWire.Interactive |
| showbPrec | ReWire.Pretty |
| ShowDec | ReWire.Interactive |
| ShowHex | ReWire.Interactive |
| showHex | ReWire.BitVector |
| showHex' | ReWire.BitVector |
| showt | ReWire.Pretty |
| SIf | ReWire.VHDL.Syntax |
| Sig | |
| 1 (Type/Class) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 4 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| sig | Embedder.Atmo.Types |
| SigComment | ReWire.VHDL.Syntax |
| Signal | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.VHDL.Syntax |
| 3 (Data Constructor) | ReWire.VHDL.Syntax |
| 4 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| signal | ReWire |
| sigName | ReWire.Verilog.Syntax |
| Signed | ReWire.Verilog.Syntax |
| sigP | ReWire.Eidos.Parse |
| sigTVs | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| sigTy | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| simplify | ReWire.Eidos.Simplify |
| SimpT | ReWire.Eidos.Simplify |
| Sing | ReWire.Cryptol.Syntax |
| singleton | ReWire.Vectors |
| SInstIn | ReWire.Hyle.Syntax |
| Size | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Type/Class) | ReWire.Verilog.Syntax |
| 3 (Type/Class) | ReWire.Hyle.Syntax |
| 4 (Type/Class) | ReWire.VHDL.Syntax |
| size | ReWire.BitVector |
| SizeAnnotated | ReWire.Hyle.Syntax |
| sizeOf | |
| 1 (Function) | ReWire.Hyle.Syntax |
| 2 (Function) | ReWire.Synolon.Repr |
| sizeOfM | ReWire.Synolon.Repr |
| Sizes | ReWire.Synolon.Repr |
| SLe | ReWire.Hyle.Syntax |
| SLet | ReWire.Hyle.Syntax |
| Slice | |
| 1 (Data Constructor) | ReWire.Hyle.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| slice | |
| 1 (Function) | ReWire.Cryptol.Syntax |
| 2 (Function) | ReWire.Vectors |
| SLt | ReWire.Hyle.Syntax |
| snd | ReWire.Prelude |
| SNext | ReWire.Hyle.Syntax |
| snoc | ReWire.Vectors |
| softline | ReWire.Pretty |
| sortFreeProgram | Embedder.Atmo.DependencyGraph |
| source | ReWire.Config, Embedder.Config |
| SOutput | ReWire.Hyle.Syntax |
| space | |
| 1 (Function) | ReWire.Pretty |
| 2 (Function) | ReWire.Eidos.Lexer |
| Span | |
| 1 (Type/Class) | ReWire.Annotation |
| 2 (Data Constructor) | ReWire.Annotation |
| spanAnnote | ReWire.GHC.Recognize |
| spanEnd | ReWire.Annotation |
| spanFile | ReWire.Annotation |
| spanStart | ReWire.Annotation |
| specialize | ReWire.Eidos.Spec |
| SpecOrigin | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| splitStart | ReWire.GHC.Recognize |
| squote | ReWire.Pretty |
| srcAnnote | ReWire.Annotation |
| stableNames | ReWire.Config, Embedder.Config |
| start | ReWire.Config, Embedder.Config |
| StateDev | ReWire.Monad |
| stateSigs | ReWire.Config, Embedder.Config |
| StateT | RWC.Primitives, ReWire |
| step | ReWire.Interactive |
| stepPure | ReWire.Interactive |
| Stmt | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.Hyle.Syntax |
| 3 (Type/Class) | ReWire.VHDL.Syntax |
| stringLit | ReWire.Eidos.Lexer |
| stripFreshTag | ReWire.Hyle.Mangle |
| strTy | Embedder.Atmo.Types |
| Sub | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| subRange | ReWire.Hyle.Interp |
| substTv | ReWire.Eidos.Types |
| substVars | ReWire.Eidos.Subst |
| substVarsRefreshing | ReWire.Eidos.Subst |
| svReserved | ReWire.Hyle.Mangle |
| SWait | ReWire.VHDL.Syntax |
| SWriteLn | ReWire.VHDL.Syntax |
| symbol | ReWire.Eidos.Lexer |
| Synchronous | ReWire.Config, Embedder.Config |
| synolon | ReWire.Config, Embedder.Config |
| synolonFile | ReWire.Config, Embedder.Config |
| synolonToHyle | ReWire.Synolon.ToHyle |
| SyntaxErrorT | ReWire.Error |
| synthable | ReWire.Eidos.Types |
| Synthesized | ReWire.Annotation |
| synthTy | ReWire.Eidos.Parse |
| szBitRep | ReWire.BitVector |
| T | ReWire.SYB |
| tagReg | ReWire.Hyle.ToVerilog |
| tail | ReWire.Vectors |
| take | ReWire.Vectors |
| TAlt | |
| 1 (Type/Class) | ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Synolon.Syntax |
| TArg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| target | ReWire.Config, Embedder.Config |
| tb2s | Embedder.Builtins |
| TBits | ReWire.Cryptol.Syntax |
| TBuiltin | Embedder.Isabelle.Syntax |
| TCall | ReWire.Cryptol.Syntax |
| TCase | ReWire.Synolon.Syntax |
| tCase | Embedder.Atmo.ToIsabelle |
| tDataCon | Embedder.Atmo.ToIsabelle |
| tDataDefn | Embedder.Atmo.ToIsabelle |
| TDecl | Embedder.Atmo.DependencyGraph |
| tDeclaration | Embedder.Atmo.ToIsabelle |
| TDef | Embedder.Atmo.DependencyGraph |
| tDefn | Embedder.Atmo.ToIsabelle |
| Term | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Type/Class) | ReWire.Synolon.Syntax |
| termExps | ReWire.Synolon.Syntax |
| termId | Embedder.Isabelle.Syntax |
| termName | Embedder.Isabelle.Syntax |
| termTargets | ReWire.Synolon.Syntax |
| testbench | |
| 1 (Function) | ReWire.Hyle.ToVerilog |
| 2 (Function) | ReWire.Hyle.ToVHDL |
| 3 (Function) | ReWire.Config, Embedder.Config |
| tExp | Embedder.Atmo.ToIsabelle |
| text | ReWire.Pretty |
| textListRWOp | Embedder.Isabelle.Syntax |
| textS | Embedder.Isabelle.Syntax |
| TextShow | ReWire.Pretty |
| tFreeProgram | Embedder.Atmo.ToIsabelle |
| tFun | Embedder.Atmo.ToIsabelle |
| tFunBinding | Embedder.Atmo.ToIsabelle |
| tGlobal | Embedder.Atmo.ToIsabelle |
| thenId | Embedder.Isabelle.Syntax |
| Theory | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| thyName | Embedder.Isabelle.Syntax |
| TId | ReWire.SYB |
| times' | ReWire.BitWord |
| tLocal | Embedder.Atmo.ToIsabelle |
| TM | ReWire.SYB |
| tModule | Embedder.Atmo.ToIsabelle |
| TName | Embedder.Isabelle.Syntax |
| TNum | Embedder.Isabelle.Syntax |
| toAnnote | ReWire.Annotation |
| toAtmo | Embedder.HSE.ToAtmo |
| toBin | ReWire.BitWord |
| toBit' | ReWire.BitWord |
| toEidos | ReWire.GHC.ToEidos |
| toFilePath | ReWire.HSE.Rename |
| ToFinite | Embedder.Builtins, ReWire.Builtins |
| toFinite | ReWire.Finite |
| toFinite' | ReWire.Finite |
| ToFiniteMod | Embedder.Builtins, ReWire.Builtins |
| toHex | ReWire.BitWord |
| toInt | ReWire.BitWord |
| toInt' | ReWire.BitWord |
| toInteger | ReWire.Bits |
| toInteger' | ReWire.BitWord |
| toIntegerV | RWC.Primitives, ReWire |
| toIntLE' | ReWire.BitWord |
| toList | ReWire.Interactive |
| top | ReWire.Config, Embedder.Config |
| tPat | Embedder.Atmo.ToIsabelle |
| tPatBind | Embedder.Atmo.ToIsabelle |
| tPoly | Embedder.Atmo.ToIsabelle |
| tPolySig | Embedder.Atmo.ToIsabelle |
| Tr | ReWire.SYB |
| trace | ReWire.Interactive |
| traceP | ReWire.Interactive |
| transExport | ReWire.HSE.Exports |
| transform | ReWire.SYB |
| transformM | ReWire.SYB |
| transformTr | ReWire.SYB |
| translate | ReWire.Cryptol.Translate |
| transMonadT | Embedder.Atmo.FlattenMonadTrans |
| tRDefns | Embedder.Atmo.ToIsabelle |
| tRecDefn | Embedder.Atmo.ToIsabelle |
| Trunc | ReWire.Hyle.Syntax |
| tryParseInDir | ReWire.HSE.Parse |
| TSeq | ReWire.Cryptol.Syntax |
| tType | Embedder.Atmo.ToIsabelle |
| tTypeSig | Embedder.Atmo.ToIsabelle |
| tTypeSynonym | Embedder.Atmo.ToIsabelle |
| Tuple | Embedder.Atmo.Syntax |
| tupled | ReWire.Pretty |
| tupleName | |
| 1 (Function) | ReWire.GHC.Recognize |
| 2 (Function) | ReWire.Eidos.Lexer |
| tupleTy | Embedder.Atmo.Types |
| Tuplex | Embedder.Isabelle.Syntax |
| TVar | Embedder.Isabelle.Syntax |
| tvKind | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tvOcc | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TVScope | ReWire.Eidos.Parse |
| tvSite | ReWire.Eidos.Lint |
| tvUniq | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Ty | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Type/Class) | Embedder.Atmo.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyAnn | |
| 1 (Function) | Embedder.Isabelle.Syntax |
| 2 (Function) | Embedder.Atmo.Types |
| TyApp | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyAtomic | Embedder.Isabelle.Syntax |
| TyBool | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyBuiltin | |
| 1 (Type/Class) | Embedder.Builtins, Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| tybuiltin | Embedder.Atmo.Util |
| tybuiltins | Embedder.Builtins |
| TyCon | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyConId | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyConKey | ReWire.GHC.Recognize |
| tyConModule | ReWire.GHC.Recognize |
| tycons | Embedder.Atmo.DependencyGraph |
| tyConTable | ReWire.GHC.Recognize |
| TyDev | Embedder.Builtins, Embedder.Atmo.Syntax |
| tyEq | ReWire.Eidos.Types |
| TyFin | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyFun | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyIdentity | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyInteger | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyList | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyNat | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyNeg | Embedder.Builtins, Embedder.Atmo.Syntax |
| Typ | Embedder.Isabelle.Syntax |
| tyP | ReWire.Eidos.Parse |
| typ | Embedder.Isabelle.Syntax |
| typAnn | Embedder.Isabelle.Syntax |
| TypAnnTerm | Embedder.Isabelle.Syntax |
| Type | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | ReWire.HSE.Rename |
| TypeAnnotated | Embedder.Atmo.Types |
| typeArgs | Embedder.Isabelle.Syntax |
| typeB | Embedder.Isabelle.Syntax |
| typeId | Embedder.Isabelle.Syntax |
| typeN | Embedder.Isabelle.Syntax |
| typeOf | |
| 1 (Function) | Embedder.Atmo.Types |
| 2 (Function) | ReWire.Eidos.Types |
| typeSigCod | Embedder.Isabelle.Syntax |
| typeSynAnnote | Embedder.Atmo.Syntax |
| typeSynName | Embedder.Atmo.Syntax |
| TypeSynonym | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Type/Class) | Embedder.Atmo.Syntax |
| 3 (Data Constructor) | Embedder.Atmo.Syntax |
| typeSynType | Embedder.Atmo.Syntax |
| TyPlus | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyProd | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyProxy | Embedder.Builtins, Embedder.Atmo.Syntax |
| TypSig | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| typSigArgs | Embedder.Isabelle.Syntax |
| TyRe | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyReacT | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyRef | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyS | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyState | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyStateDev | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyStateT | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyString | Embedder.Builtins, Embedder.Atmo.Syntax |
| tysynNames | ReWire.HSE.Exports |
| TyTuple | Embedder.Atmo.Syntax |
| TyUnit | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyVar | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 3 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyVarT | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyVec | Embedder.Builtins, Embedder.Atmo.Syntax |
| UDiv | ReWire.Hyle.Syntax |
| UGe | ReWire.Hyle.Syntax |
| UGt | ReWire.Hyle.Syntax |
| uKey | ReWire.GHC.Recognize |
| ULe | ReWire.Hyle.Syntax |
| ULt | ReWire.Hyle.Syntax |
| UMod | ReWire.Hyle.Syntax |
| unAnn | ReWire.Annotation |
| unBlind | ReWire.Hyle.Syntax, ReWire.Annotation |
| uncurry | ReWire.Prelude |
| Undef | ReWire.Hyle.Syntax |
| undefined | ReWire.Prelude |
| underscore | ReWire.Eidos.Lexer |
| Uniq | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| uniqName | ReWire.Eidos.Lexer |
| Unit | |
| 1 (Type/Class) | ReWire.VHDL.Syntax |
| 2 (Data Constructor) | ReWire.VHDL.Syntax |
| unitComments | ReWire.VHDL.Syntax |
| unitComponents | ReWire.VHDL.Syntax |
| unitName | ReWire.VHDL.Syntax |
| unitPackages | ReWire.VHDL.Syntax |
| unitPorts | ReWire.VHDL.Syntax |
| unitSignals | ReWire.VHDL.Syntax |
| unitStmts | ReWire.VHDL.Syntax |
| UnOp | ReWire.Cryptol.Syntax |
| unpackhi | ReWire.Vectors |
| unpacklo | ReWire.Vectors |
| unqualify | Embedder.Atmo.DependencyGraph |
| unqualifyNode | Embedder.Atmo.DependencyGraph |
| Unsigned | ReWire.Verilog.Syntax |
| untype | Embedder.Atmo.Syntax |
| Update | Embedder.Builtins |
| update | ReWire.Vectors |
| userBuiltin | Embedder.Atmo.Util |
| userPred | ReWire.GHC.Recognize |
| Value | |
| 1 (Type/Class) | ReWire.Verilog.Syntax |
| 2 (Type/Class) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | ReWire.HSE.Rename |
| Var | |
| 1 (Data Constructor) | ReWire.Cryptol.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | ReWire.VHDL.Syntax |
| 4 (Data Constructor) | Embedder.Atmo.Syntax |
| 5 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| varAnnote | ReWire.GHC.Recognize |
| Vec | |
| 1 (Type/Class) | ReWire.BitWord |
| 2 (Type/Class) | RWC.Primitives, ReWire |
| 3 (Type/Class) | ReWire.Interactive |
| VecConcat | Embedder.Builtins, ReWire.Builtins |
| vecElemTy | Embedder.Atmo.Types |
| VecFromList | Embedder.Builtins, ReWire.Builtins |
| VecGenerate | Embedder.Builtins, ReWire.Builtins |
| VecIndex | Embedder.Builtins, ReWire.Builtins |
| VecIndexProxy | Embedder.Builtins, ReWire.Builtins |
| VecLastIndexProxy | Embedder.Builtins |
| VecMap | Embedder.Builtins, ReWire.Builtins |
| VecReplicate | Embedder.Builtins, ReWire.Builtins |
| VecReverse | Embedder.Builtins, ReWire.Builtins |
| VecRSlice | Embedder.Builtins, ReWire.Builtins |
| vecSize | Embedder.Atmo.Types |
| VecSlice | Embedder.Builtins, ReWire.Builtins |
| vecTy | Embedder.Atmo.Types |
| verb' | ReWire.Pass |
| Verbose | ReWire.Config, Embedder.Config |
| verbose | ReWire.Config, Embedder.Config |
| Verilog | ReWire.Config, Embedder.Config |
| VHDL | ReWire.Config, Embedder.Config |
| vhdlName | ReWire.VHDL.Syntax |
| vhdlPackages | ReWire.Config, Embedder.Config |
| VName | Embedder.Isabelle.Syntax |
| vocabTable | ReWire.GHC.Recognize |
| vsep | ReWire.Pretty |
| W | ReWire |
| warnAt | ReWire.Error |
| Warning | |
| 1 (Type/Class) | ReWire.Error |
| 2 (Data Constructor) | ReWire.Error |
| WCast | ReWire.Verilog.Syntax |
| wError | ReWire.Config, Embedder.Config |
| wheresToLets | ReWire.HSE.Desugar |
| width | ReWire.BitVector |
| Wire | ReWire.Verilog.Syntax |
| WireAssign | ReWire.Verilog.Syntax |
| withSpan | ReWire.Eidos.Lexer |
| WordIndex | Embedder.Builtins |
| WordIndexFin | Embedder.Builtins |
| WordIndexProxy | Embedder.Builtins |
| WordSlice | Embedder.Builtins |
| WriterPlus | ReWire.Interactive |
| X | ReWire.Verilog.Syntax |
| XCall | ReWire.Hyle.Syntax |
| XNor | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| XOr | |
| 1 (Data Constructor) | ReWire.Verilog.Syntax |
| 2 (Data Constructor) | ReWire.Hyle.Syntax |
| 3 (Data Constructor) | Embedder.Builtins, ReWire.Builtins |
| xor | ReWire.Bits |
| xshow | ReWire.Interactive |
| yamlPrefixes | ReWire.Hyle.Interp |
| Z | ReWire.Verilog.Syntax |
| Zero | ReWire.Verilog.Syntax |
| zero | |
| 1 (Function) | ReWire.BitWord |
| 2 (Function) | ReWire.Bits |
| zero' | ReWire.BitWord |
| zeroP1 | Embedder.Atmo.Types |
| zeros | ReWire.BitVector |
| ZExt | ReWire.Hyle.Syntax |
| ^ | ReWire.Bits |
| |-> | Embedder.Atmo.Types |
| || | ReWire.Prelude |
| ||. | ReWire.Bits |
| ||| | ReWire.Bits |
| ~^ | ReWire.Bits |