| raise | Cryptol.REPL.Monad |
| raiseError | Cryptol.Backend, Cryptol.Eval.Value |
| randomTests | Cryptol.Testing.Random |
| randomTests' | Cryptol.Testing.Random |
| randomV | Cryptol.Eval.Generic |
| randomValue | Cryptol.Testing.Random |
| Range | |
| 1 (Type/Class) | Cryptol.Parser.Position |
| 2 (Data Constructor) | Cryptol.Parser.Position |
| rangeWithin | Cryptol.Parser.Position |
| ratio | Cryptol.Backend |
| rationalAdd | Cryptol.Backend |
| rationalCeiling | Cryptol.Backend |
| rationalDivide | Cryptol.Backend |
| rationalEq | Cryptol.Backend |
| rationalFloor | Cryptol.Backend |
| rationalGreaterThan | Cryptol.Backend |
| rationalLessThan | Cryptol.Backend |
| rationalMul | Cryptol.Backend |
| rationalNegate | Cryptol.Backend |
| rationalRecip | Cryptol.Backend |
| rationalRoundAway | Cryptol.Backend |
| rationalRoundToEven | Cryptol.Backend |
| rationalSub | Cryptol.Backend |
| rationalTrunc | Cryptol.Backend |
| ratioV | Cryptol.Eval.Generic |
| rComb | Cryptol.Parser.Position |
| rCombMaybe | Cryptol.Parser.Position |
| rCombs | Cryptol.Parser.Position |
| readBytes | Cryptol.ModuleSystem.Monad |
| Ready | Cryptol.Backend.Monad |
| ready | Cryptol.Backend.Monad |
| recipV | Cryptol.Eval.Generic |
| recordElements | Cryptol.Utils.RecordMap |
| recordError | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.ModuleSystem.Renamer.Monad |
| recordErrorLoc | Cryptol.TypeCheck.Monad |
| recordFromFields | Cryptol.Utils.RecordMap |
| recordFromFieldsErr | Cryptol.Utils.RecordMap |
| recordFromFieldsWithDisplay | Cryptol.Utils.RecordMap |
| recordImport | Cryptol.ModuleSystem.Renamer.Monad |
| RecordMap | Cryptol.Utils.RecordMap |
| recordMapAccum | Cryptol.Utils.RecordMap |
| RecordSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
| RecordSelectorTok | Cryptol.Parser.Token |
| recordUse | Cryptol.ModuleSystem.Renamer.Monad |
| recordWarning | |
| 1 (Function) | Cryptol.TypeCheck.Monad |
| 2 (Function) | Cryptol.ModuleSystem.Renamer.Monad |
| Recursive | Cryptol.TypeCheck.AST |
| RecursiveModules | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| recursiveModules | Cryptol.ModuleSystem.Monad |
| RecursiveType | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| RecursiveTypeDecls | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| reflow | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| removeIncludesModule | Cryptol.Parser.NoInclude |
| removeLoadedModule | Cryptol.ModuleSystem.Env |
| RemovePatterns | Cryptol.Parser.NoPat |
| removePatterns | Cryptol.Parser.NoPat |
| Rename | Cryptol.ModuleSystem.Renamer |
| rename | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| RenamedModule | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Renamer |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Renamer |
| RenameM | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad |
| renameModule | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem.Base |
| RenamerError | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |
| RenamerErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| renamerErrors | Cryptol.ModuleSystem.Monad |
| RenamerInfo | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| RenamerWarning | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |
| RenamerWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| renamerWarnings | Cryptol.ModuleSystem.Monad |
| renameTopDecls | Cryptol.ModuleSystem.Renamer |
| renameType | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem |
| renameVar | |
| 1 (Function) | Cryptol.ModuleSystem.Renamer |
| 2 (Function) | Cryptol.ModuleSystem |
| renContext | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| renderOneLine | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| renEnv | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| renIfaces | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| RenModParam | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad |
| renModParamInstance | Cryptol.ModuleSystem.Renamer.Monad |
| renModParamName | Cryptol.ModuleSystem.Renamer.Monad |
| renModParamRange | Cryptol.ModuleSystem.Renamer.Monad |
| renModParamSig | Cryptol.ModuleSystem.Renamer.Monad |
| renSupply | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| RepeatedTypeParameter | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| RepeatedVariableInForall | Cryptol.TypeCheck.Sanity |
| REPL | |
| 1 (Type/Class) | Cryptol.REPL.Monad |
| 2 (Data Constructor) | Cryptol.REPL.Monad |
| replCheckExpr | Cryptol.REPL.Command |
| replEvalExpr | Cryptol.REPL.Command |
| REPLException | Cryptol.REPL.Monad |
| ReplInput | Cryptol.Parser.AST |
| replParse | Cryptol.REPL.Command |
| replParseExpr | Cryptol.REPL.Command |
| reportExpr | Cryptol.REPL.Command |
| reportResult | Cryptol.REPL.Command |
| reportTestsPossible | Cryptol.REPL.Command |
| reportTestsRun | Cryptol.REPL.Command |
| resetModuleEnv | Cryptol.ModuleSystem.Env |
| resetSolver | Cryptol.TypeCheck.Solver.SMT |
| resetTCSolver | Cryptol.REPL.Monad |
| ResolvedExt | Cryptol.ModuleSystem.Renamer.Imports |
| ResolvedLocal | Cryptol.ModuleSystem.Renamer.Imports |
| ResolvedModule | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Imports |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Imports |
| resolveImports | Cryptol.ModuleSystem.Renamer.Imports |
| Result | Cryptol.TypeCheck.Unify |
| rethrowEvalError | Cryptol.REPL.Monad |
| returnTests | Cryptol.Testing.Random |
| returnTests' | Cryptol.Testing.Random |
| reverseSeqMap | Cryptol.Backend.SeqMap |
| reverseV | Cryptol.Eval.Generic |
| reverseWordVal | Cryptol.Backend.WordValue |
| rewModule | Cryptol.Transform.MonoValues |
| RightAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST |
| ringBinary | Cryptol.Eval.Generic |
| ringNullary | Cryptol.Eval.Generic |
| ringUnary | Cryptol.Eval.Generic |
| rmDefines | Cryptol.ModuleSystem.Renamer |
| rmImported | Cryptol.ModuleSystem.Renamer |
| rmInScope | Cryptol.ModuleSystem.Renamer |
| rmModule | Cryptol.ModuleSystem.Renamer |
| rmodDefines | Cryptol.ModuleSystem.Renamer.Imports |
| rmodImports | Cryptol.ModuleSystem.Renamer.Imports |
| rmodKind | Cryptol.ModuleSystem.Renamer.Imports |
| rmodNested | Cryptol.ModuleSystem.Renamer.Imports |
| rmodPublic | Cryptol.ModuleSystem.Renamer.Imports |
| RO | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| 3 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad |
| 4 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad |
| 5 (Type/Class) | Cryptol.ModuleSystem.Monad |
| 6 (Data Constructor) | Cryptol.ModuleSystem.Monad |
| roCallStacks | Cryptol.ModuleSystem.Monad |
| roCurMod | Cryptol.ModuleSystem.Renamer.Monad |
| roEvalOpts | Cryptol.ModuleSystem.Monad |
| roExternal | Cryptol.ModuleSystem.Renamer.Monad |
| roFileReader | Cryptol.ModuleSystem.Monad |
| roFromModParam | Cryptol.ModuleSystem.Renamer.Monad |
| roLoading | Cryptol.ModuleSystem.Monad |
| roLoc | Cryptol.ModuleSystem.Renamer.Monad |
| roModParams | Cryptol.ModuleSystem.Renamer.Monad |
| roNames | Cryptol.ModuleSystem.Renamer.Monad |
| roNestedMods | Cryptol.ModuleSystem.Renamer.Monad |
| rootExact | Cryptol.TypeCheck.Solver.InfNat |
| rootPath | Cryptol.TypeCheck.Unify |
| roResolvedModules | Cryptol.ModuleSystem.Renamer.Monad |
| rotateLeftReindex | Cryptol.Eval.Generic |
| rotateRightReindex | Cryptol.Eval.Generic |
| rotateShrink | Cryptol.Eval.Generic |
| roTCSolver | Cryptol.ModuleSystem.Monad |
| roundAwayV | Cryptol.Eval.Generic |
| roundOp | Cryptol.Eval.Generic |
| roundToEvenV | Cryptol.Eval.Generic |
| rPrint | Cryptol.REPL.Monad |
| rPutStr | Cryptol.REPL.Monad |
| rPutStrLn | Cryptol.REPL.Monad |
| RST | Cryptol.Parser.Unlit, Cryptol.Parser |
| runCommand | Cryptol.REPL.Command |
| runDoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| runDocWith | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
| runEval | Cryptol.Backend.Monad, Cryptol.Eval |
| runExpandPropGuardsM | Cryptol.Parser.ExpandPropGuards |
| runInferM | Cryptol.TypeCheck.Monad |
| runKindM | Cryptol.TypeCheck.Monad |
| runModuleM | Cryptol.ModuleSystem.Monad |
| runModuleT | Cryptol.ModuleSystem.Monad |
| runRenamer | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer |
| runREPL | Cryptol.REPL.Monad |
| runResult | Cryptol.TypeCheck.Unify |
| runSpecT | Cryptol.Transform.Specialize |
| runSupply | Cryptol.ModuleSystem.Name |
| runSupplyT | Cryptol.ModuleSystem.Name |
| RW | |
| 1 (Type/Class) | Cryptol.TypeCheck.Monad |
| 2 (Data Constructor) | Cryptol.TypeCheck.Monad |
| 3 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad |
| 4 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad |
| rwCurrentDeps | Cryptol.ModuleSystem.Renamer.Monad |
| rwDepGraph | Cryptol.ModuleSystem.Renamer.Monad |
| rwErrors | Cryptol.ModuleSystem.Renamer.Monad |
| rwExternalDeps | Cryptol.ModuleSystem.Renamer.Monad |
| rwNameUseCount | Cryptol.ModuleSystem.Renamer.Monad |
| rwSupply | Cryptol.ModuleSystem.Renamer.Monad |
| rwWarnings | Cryptol.ModuleSystem.Renamer.Monad |