raise | Cryptol.REPL.Monad |
randomBit | Cryptol.Testing.Random |
randomRecord | Cryptol.Testing.Random |
randomSBVBitVector | Cryptol.Symbolic.BitVector |
randomSequence | Cryptol.Testing.Random |
randomStream | Cryptol.Testing.Random |
randomTuple | Cryptol.Testing.Random |
randomV | Cryptol.Prims.Eval |
randomValue | Cryptol.Testing.Random |
randomWord | Cryptol.Testing.Random |
Range | |
1 (Type/Class) | Cryptol.Parser.Position |
2 (Data Constructor) | Cryptol.Parser.Position |
rational | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
rbrace | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
rbrack | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
rComb | Cryptol.Parser.Position |
rCombs | Cryptol.Parser.Position |
ReadEnv | Cryptol.Eval.Env |
recordError | Cryptol.TypeCheck.Monad |
RecordSel | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
recordWarning | Cryptol.TypeCheck.Monad |
Recursive | Cryptol.TypeCheck.AST |
RecursiveModules | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
recursiveModules | Cryptol.ModuleSystem.Monad |
RecursiveType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
RecursiveTypeDecls | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
reifyName | Cryptol.Transform.Specialize |
removeIncludes | Cryptol.Parser.NoInclude |
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 |
renameDecls | Cryptol.ModuleSystem.Base |
renameExpr | Cryptol.ModuleSystem.Base |
renameModule | Cryptol.ModuleSystem.Base |
RenamerError | Cryptol.ModuleSystem.Renamer |
RenamerErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
renamerErrors | Cryptol.ModuleSystem.Monad |
RenamerWarning | Cryptol.ModuleSystem.Renamer |
RenamerWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
renamerWarnings | Cryptol.ModuleSystem.Monad |
render | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
renderStyle | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
reorderArgs | Cryptol.TypeCheck.Solver.Eval |
RepeatedDefinitions | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
RepeatedTyParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
REPL | |
1 (Type/Class) | Cryptol.REPL.Monad |
2 (Data Constructor) | Cryptol.REPL.Monad |
REPLException | Cryptol.REPL.Monad |
replicateV | Cryptol.Symbolic.Prims |
ReplInput | Cryptol.Parser.AST |
replParse | Cryptol.REPL.Command |
resetModuleEnv | Cryptol.ModuleSystem.Env |
Result | |
1 (Type/Class) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Type/Class) | Cryptol.TypeCheck.Unify |
rethrowEvalError | Cryptol.REPL.Monad |
rewModule | Cryptol.Transform.MonoValues |
ribbonsPerLine | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
RightAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
RO | |
1 (Type/Class) | Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.Monad |
3 (Type/Class) | Cryptol.ModuleSystem.Monad |
4 (Data Constructor) | Cryptol.ModuleSystem.Monad |
roLoading | Cryptol.ModuleSystem.Monad |
rotateLS | Cryptol.Prims.Eval |
rotateLW | Cryptol.Prims.Eval |
rotateRS | Cryptol.Prims.Eval |
rotateRW | Cryptol.Prims.Eval |
RotL | Cryptol.Parser.Lexer |
RotR | Cryptol.Parser.Lexer |
rparen | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
rPrint | Cryptol.REPL.Monad |
rPutStr | Cryptol.REPL.Monad |
rPutStrLn | Cryptol.REPL.Monad |
runCommand | Cryptol.REPL.Command |
runInferM | Cryptol.TypeCheck.Monad |
runKindM | Cryptol.TypeCheck.Monad |
runModuleM | Cryptol.ModuleSystem.Monad |
runModuleT | Cryptol.ModuleSystem.Monad |
runOneTest | |
1 (Function) | Cryptol.Testing.Eval |
2 (Function) | Cryptol.Testing.Random |
3 (Function) | Cryptol.Testing.Exhaust |
runRenamer | Cryptol.ModuleSystem.Renamer |
runREPL | Cryptol.REPL.Monad |
runSpecT | Cryptol.Transform.Specialize |
RW | |
1 (Type/Class) | Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.Monad |