| Add | ReWire.Builtins |
| addPrims | ReWire.Eidos.PrimBasis |
| allBlocks | ReWire.Synolon.Syntax |
| 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 |
| And | ReWire.Builtins |
| App | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Arg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Arrow | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| arrow | ReWire.Eidos.Lexer |
| atomP | ReWire.Eidos.Parse |
| bakedPackagePath | ReWire.GHC.PackagePath |
| BakeOrigin | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| bareName | ReWire.Eidos.Lexer |
| Bind | |
| 1 (Data Constructor) | ReWire.Builtins |
| 2 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| bindVar | ReWire.Eidos.Lint |
| BitIndex | ReWire.Builtins |
| Bits | ReWire.Builtins |
| BitSlice | ReWire.Builtins |
| blkAnnote | ReWire.Synolon.Syntax |
| blkCmds | ReWire.Synolon.Syntax |
| blkParams | ReWire.Synolon.Syntax |
| blkTerm | ReWire.Synolon.Syntax |
| Block | |
| 1 (Type/Class) | ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Synolon.Syntax |
| blockExps | ReWire.Synolon.Syntax |
| blockLabel | ReWire.Eidos.Naming |
| braces | ReWire.Eidos.Lexer |
| brackets | ReWire.Eidos.Lexer |
| Builtin | ReWire.Builtins |
| builtinName | ReWire.Builtins |
| builtins | ReWire.Builtins |
| builtinSig | ReWire.Eidos.BuiltinSigs |
| Case | ReWire.Eidos.Syntax, ReWire.Synolon.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 |
| 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 |
| Cmd | ReWire.Synolon.Syntax |
| CmdBind | ReWire.Synolon.Syntax |
| cmdBinders | ReWire.Synolon.Syntax |
| cmdExps | ReWire.Synolon.Syntax |
| CmdGet | ReWire.Synolon.Syntax |
| CmdPut | ReWire.Synolon.Syntax |
| comma | ReWire.Eidos.Lexer |
| compileFile | ReWire.FrontEnd |
| Con | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| conName | |
| 1 (Function) | ReWire.GHC.Recognize |
| 2 (Function) | ReWire.Eidos.Lexer |
| Cryptol | ReWire.Builtins |
| DataAlt | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dataAnnote | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| DataCon | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| DataConId | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dataCons | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| DataDefn | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (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 |
| dataKind | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dataName | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dcolon | ReWire.Eidos.Lexer |
| dconFieldTys | ReWire.Eidos.Lint |
| declSites | ReWire.Eidos.Lint |
| deCtors | ReWire.Synolon.Repr |
| deCtorSig | ReWire.Synolon.Repr |
| DefaultAlt | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Defn | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnAnnote | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| DefnAttr | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnAttr | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnBase | ReWire.Eidos.Naming |
| defnBody | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnId | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnOrigin | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| defnP | ReWire.Eidos.Parse |
| defnParams | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| dictTyCons | ReWire.Eidos.Simplify |
| Div | ReWire.Builtins |
| dstArrow | ReWire.Eidos.Types |
| dumpCore | ReWire.GHC.Session |
| EArg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| eitherTyName | ReWire.GHC.Recognize |
| elabDefn | ReWire.Eidos.Parse |
| elabExp | ReWire.Eidos.Parse |
| 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 |
| 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 | ReWire.Builtins |
| equals | ReWire.Eidos.Lexer |
| erasedArg | ReWire.GHC.Recognize |
| erasedEv | ReWire.GHC.Recognize |
| Error | ReWire.Builtins |
| evalNat | ReWire.Eidos.Types |
| Exp | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| expP | ReWire.Eidos.Parse |
| expSites | ReWire.Eidos.Lint |
| Extern | ReWire.Builtins |
| Extrude | ReWire.Builtins |
| failParse | ReWire.Eidos.Lexer |
| Finite | ReWire.Builtins |
| FiniteMaxBound | ReWire.Builtins |
| FiniteMinBound | ReWire.Builtins |
| fitsRep | ReWire.Eidos.Lint |
| flattenApp | ReWire.Eidos.Types |
| flattenArrow | ReWire.Eidos.Types |
| flattenTyApp | ReWire.Eidos.Types |
| freeUniqs | ReWire.Eidos.Subst |
| FromFinite | ReWire.Builtins |
| fundamental | ReWire.Eidos.Types |
| Get | ReWire.Builtins |
| getAnn | ReWire.Eidos.Lexer |
| getDevice | ReWire.ModCache |
| Goto | ReWire.Synolon.Syntax |
| Gt | ReWire.Builtins |
| GtEq | ReWire.Builtins |
| Halt | ReWire.Synolon.Syntax |
| haltSites | ReWire.Synolon.Syntax |
| hasArrow | ReWire.Eidos.Types |
| hasJump | ReWire.Eidos.ANF |
| higherOrder | ReWire.Eidos.Types |
| homeishMod | ReWire.GHC.Recognize |
| Id | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| identChar | ReWire.Eidos.Lexer |
| 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 |
| Inline | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| inlineAnnotated | ReWire.Eidos.Inline |
| insertVar | ReWire.Eidos.Parse |
| instantiate | ReWire.Eidos.Types |
| instantiateDefn | ReWire.Eidos.Subst |
| integer | ReWire.Eidos.Lexer |
| isAtom | ReWire.Eidos.ANF |
| isIdentChar | ReWire.Eidos.Lexer |
| isIdentStart | ReWire.Eidos.Lexer |
| isOperand | ReWire.Synolon.Lint |
| isPrimExp | ReWire.Eidos.ANF |
| isPrimModule | ReWire.GHC.Recognize |
| isPrimVar | ReWire.GHC.Recognize |
| isTupleCon | ReWire.Synolon.Repr |
| 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 |
| 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 |
| KStar | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| labelBase | ReWire.Eidos.Naming |
| Lam | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LAnd | ReWire.Builtins |
| Let | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| lexeme | ReWire.Eidos.Lexer |
| Lift | ReWire.Builtins |
| liftedJoinName | ReWire.Eidos.Naming |
| 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 |
| listConName | ReWire.Eidos.Lexer |
| LitAlt | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitInt | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitList | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitRep | ReWire.Eidos.Lint |
| litRep | ReWire.Eidos.Lint |
| LitStr | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LitVec | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| LNot | ReWire.Builtins |
| loadCore | ReWire.GHC.Session |
| LoadPath | ReWire.ModCache, ReWire.FrontEnd |
| localOcc | ReWire.GHC.Recognize |
| lookupCon | ReWire.Eidos.Lint |
| LOr | ReWire.Builtins |
| LShift | ReWire.Builtins |
| Lt | ReWire.Builtins |
| LtEq | ReWire.Builtins |
| machineDefn | ReWire.Eidos.Types |
| machineSummary | ReWire.Synolon.Transform |
| mapTermTargets | ReWire.Synolon.Syntax |
| matchesSig | ReWire.Eidos.BuiltinSigs |
| maxUniq | ReWire.Eidos.Subst |
| maybeTyName | ReWire.GHC.Recognize |
| mkArrow | ReWire.Eidos.Types |
| mkTyApp | ReWire.Eidos.Types |
| Mod | ReWire.Builtins |
| monoSig | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| MSBit | ReWire.Builtins |
| Mul | ReWire.Builtins |
| natNorm | ReWire.Eidos.Types |
| natural | ReWire.Eidos.Lexer |
| NatVal | ReWire.Builtins |
| neuterExterns | ReWire.Eidos.Externs |
| nextUniq | ReWire.Eidos.Subst |
| NoInline | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| NonRec | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| nonTail | ReWire.Eidos.Lint |
| normalize | ReWire.Eidos.ANF |
| Not | ReWire.Builtins |
| occCounts | ReWire.Eidos.Subst |
| occIds | ReWire.Eidos.Subst |
| optimizeProc | ReWire.Synolon.Transform |
| Or | ReWire.Builtins |
| originArgs | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| originName | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| originTag | ReWire.Eidos.Naming |
| param | ReWire.Eidos.Parse |
| parens | ReWire.Eidos.Lexer |
| parseEir | ReWire.Eidos.Parse |
| parseEirText | ReWire.Eidos.Parse |
| Parser | ReWire.Eidos.Lexer |
| parseSyn | ReWire.Synolon.Parse |
| parseSynText | ReWire.Synolon.Parse |
| pass | ReWire.Pass |
| Pause | ReWire.Synolon.Syntax |
| pauseTargets | ReWire.Synolon.Syntax |
| pendingSig | ReWire.Eidos.Parse |
| Pow | ReWire.Builtins |
| ppAlt | ReWire.Eidos.Pretty |
| ppAtom | ReWire.Eidos.Pretty |
| ppAtomE | ReWire.Synolon.Pretty |
| ppBind | ReWire.Eidos.Pretty |
| ppBinder | ReWire.Eidos.Pretty |
| ppBlock | ReWire.Synolon.Pretty |
| ppCell | ReWire.Synolon.Pretty |
| ppCmd | ReWire.Synolon.Pretty |
| ppDataDefn | ReWire.Eidos.Pretty |
| ppDefn | ReWire.Eidos.Pretty |
| ppExp | ReWire.Eidos.Pretty |
| ppId | ReWire.Eidos.Pretty |
| ppKind | ReWire.Eidos.Pretty |
| ppName | ReWire.Eidos.Pretty |
| ppOcc | ReWire.Eidos.Pretty |
| ppOcc' | ReWire.Eidos.Pretty |
| 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 |
| prettyProgram | |
| 1 (Function) | ReWire.Eidos.Pretty |
| 2 (Function) | ReWire.Synolon.Pretty |
| Prim | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| primDatas | ReWire.Eidos.PrimBasis |
| printHeader | ReWire.Pass |
| 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 |
| procInTy | ReWire.Synolon.Syntax |
| procName | ReWire.Synolon.Syntax |
| procOutTy | ReWire.Synolon.Syntax |
| progDatas | |
| 1 (Function) | ReWire.Eidos.Syntax |
| 2 (Function) | ReWire.Synolon.Syntax |
| progDefns | |
| 1 (Function) | ReWire.Eidos.Syntax |
| 2 (Function) | ReWire.Synolon.Syntax |
| progProcs | ReWire.Synolon.Syntax |
| Program | |
| 1 (Type/Class) | ReWire.Eidos.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax |
| 3 (Type/Class) | ReWire.Synolon.Syntax |
| 4 (Data Constructor) | ReWire.Synolon.Syntax |
| progTop | ReWire.Eidos.Syntax |
| purge | ReWire.Eidos.Simplify |
| purify | ReWire.Eidos.ToSynolon |
| Put | ReWire.Builtins |
| qualName | ReWire.GHC.Recognize |
| RAnd | ReWire.Builtins |
| reacOrStateT | ReWire.Eidos.Types |
| Rec | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| reduceExp | ReWire.Eidos.Simplify |
| reduceProgram | ReWire.Eidos.Simplify |
| refreshDefn | ReWire.Eidos.Subst |
| refreshExp | ReWire.Eidos.Subst |
| RepBad | ReWire.Eidos.Lint |
| RepBits | ReWire.Eidos.Lint |
| RepFinite | ReWire.Eidos.Lint |
| RepInteger | ReWire.Eidos.Lint |
| RepOpen | ReWire.Eidos.Lint |
| reservedWords | ReWire.Eidos.Lexer |
| Resize | ReWire.Builtins |
| Return | ReWire.Builtins |
| RNAnd | ReWire.Builtins |
| RNor | ReWire.Builtins |
| ROr | ReWire.Builtins |
| RShift | ReWire.Builtins |
| RShiftArith | ReWire.Builtins |
| runSimpT | ReWire.Eidos.Simplify |
| RXNor | ReWire.Builtins |
| RXOr | ReWire.Builtins |
| scJoins | ReWire.Eidos.Parse |
| Scope | |
| 1 (Type/Class) | ReWire.Eidos.Parse |
| 2 (Data Constructor) | ReWire.Eidos.Parse |
| scTVs | ReWire.Eidos.Parse |
| semi | ReWire.Eidos.Lexer |
| Sig | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Signal | ReWire.Builtins |
| 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 |
| sizeOf | ReWire.Synolon.Repr |
| sizeOfM | ReWire.Synolon.Repr |
| Sizes | ReWire.Synolon.Repr |
| space | ReWire.Eidos.Lexer |
| spanAnnote | ReWire.GHC.Recognize |
| 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 |
| stringLit | ReWire.Eidos.Lexer |
| Sub | ReWire.Builtins |
| substTv | ReWire.Eidos.Types |
| substVars | ReWire.Eidos.Subst |
| substVarsRefreshing | ReWire.Eidos.Subst |
| symbol | ReWire.Eidos.Lexer |
| synolonToHyle | ReWire.Synolon.ToHyle |
| synthable | ReWire.Eidos.Types |
| synthTy | ReWire.Eidos.Parse |
| TAlt | |
| 1 (Type/Class) | ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Synolon.Syntax |
| TArg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TCase | ReWire.Synolon.Syntax |
| Term | ReWire.Synolon.Syntax |
| termExps | ReWire.Synolon.Syntax |
| termTargets | ReWire.Synolon.Syntax |
| toEidos | ReWire.GHC.ToEidos |
| ToFinite | ReWire.Builtins |
| ToFiniteMod | ReWire.Builtins |
| tupleName | |
| 1 (Function) | ReWire.GHC.Recognize |
| 2 (Function) | ReWire.Eidos.Lexer |
| 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 | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyApp | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyCon | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyConId | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyConKey | ReWire.GHC.Recognize |
| tyConModule | ReWire.GHC.Recognize |
| tyConTable | ReWire.GHC.Recognize |
| tyEq | ReWire.Eidos.Types |
| TyNat | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyP | ReWire.Eidos.Parse |
| typeOf | ReWire.Eidos.Types |
| TyVar | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyVarT | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| uKey | ReWire.GHC.Recognize |
| underscore | ReWire.Eidos.Lexer |
| Uniq | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| uniqName | ReWire.Eidos.Lexer |
| userPred | ReWire.GHC.Recognize |
| Var | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| varAnnote | ReWire.GHC.Recognize |
| VecConcat | ReWire.Builtins |
| VecFromList | ReWire.Builtins |
| VecGenerate | ReWire.Builtins |
| VecIndex | ReWire.Builtins |
| VecIndexProxy | ReWire.Builtins |
| VecMap | ReWire.Builtins |
| VecReplicate | ReWire.Builtins |
| VecReverse | ReWire.Builtins |
| VecRSlice | ReWire.Builtins |
| VecSlice | ReWire.Builtins |
| verb' | ReWire.Pass |
| vocabTable | ReWire.GHC.Recognize |
| withSpan | ReWire.Eidos.Lexer |
| XNor | ReWire.Builtins |
| XOr | ReWire.Builtins |