cryptol-2.7.0: Cryptol: The Language of Cryptography

Index - R

raiseCryptol.REPL.Monad
randomBitCryptol.Testing.Random
randomIntegerCryptol.Testing.Random
randomIntModCryptol.Testing.Random
randomRecordCryptol.Testing.Random
randomSequenceCryptol.Testing.Random
randomSizeCryptol.Testing.Random
randomStreamCryptol.Testing.Random
randomTupleCryptol.Testing.Random
randomVCryptol.Prims.Eval
randomValueCryptol.Testing.Random
randomWordCryptol.Testing.Random
Range 
1 (Type/Class)Cryptol.Parser.Position
2 (Data Constructor)Cryptol.Parser.Position
rCombCryptol.Parser.Position
rCombsCryptol.Parser.Position
ReadyCryptol.Eval.Monad
readyCryptol.Eval.Monad
recordErrorCryptol.TypeCheck.Monad
RecordSelCryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
recordWarningCryptol.TypeCheck.Monad
RecursiveCryptol.TypeCheck.AST
RecursiveModulesCryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
recursiveModulesCryptol.ModuleSystem.Monad
RecursiveTypeCryptol.TypeCheck.Error, Cryptol.TypeCheck
RecursiveTypeDeclsCryptol.TypeCheck.Error, Cryptol.TypeCheck
removeIncludesModuleCryptol.Parser.NoInclude
removeLoadedModuleCryptol.ModuleSystem.Env
RemovePatternsCryptol.Parser.NoPat
removePatternsCryptol.Parser.NoPat
RenameCryptol.ModuleSystem.Renamer
rename 
1 (Function)Cryptol.ModuleSystem.Renamer
2 (Function)Cryptol.ModuleSystem.Base
RenameMCryptol.ModuleSystem.Renamer
renameModule 
1 (Function)Cryptol.ModuleSystem.Renamer
2 (Function)Cryptol.ModuleSystem.Base
RenamerErrorCryptol.ModuleSystem.Renamer
RenamerErrorsCryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
renamerErrorsCryptol.ModuleSystem.Monad
RenamerWarningCryptol.ModuleSystem.Renamer
RenamerWarningsCryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
renamerWarningsCryptol.ModuleSystem.Monad
renameType 
1 (Function)Cryptol.ModuleSystem.Renamer
2 (Function)Cryptol.ModuleSystem
renameVar 
1 (Function)Cryptol.ModuleSystem.Renamer
2 (Function)Cryptol.ModuleSystem
renderCryptol.Utils.PP, Cryptol.TypeCheck.PP
renderOneLineCryptol.Utils.PP, Cryptol.TypeCheck.PP
RepeatedTypeParameterCryptol.TypeCheck.Error, Cryptol.TypeCheck
RepeatedVariableInForallCryptol.TypeCheck.Sanity
REPL 
1 (Type/Class)Cryptol.REPL.Monad
2 (Data Constructor)Cryptol.REPL.Monad
replCheckExprCryptol.REPL.Command
replEvalExprCryptol.REPL.Command
REPLExceptionCryptol.REPL.Monad
ReplInputCryptol.Parser.AST
replParseCryptol.REPL.Command
replParseExprCryptol.REPL.Command
reportPropCryptol.Testing.Concrete
reportResultCryptol.Testing.Concrete
reportTestsPossibleCryptol.Testing.Concrete
reportTestsRunCryptol.Testing.Concrete
resetModuleEnvCryptol.ModuleSystem.Env
ResultCryptol.TypeCheck.Unify
rethrowEvalErrorCryptol.REPL.Monad
returnOneTestCryptol.Testing.Random
returnTestsCryptol.Testing.Random
reverseSeqMapCryptol.Eval.Value
reverseVCryptol.Prims.Eval
rewModuleCryptol.Transform.MonoValues
RightAssocCryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Parser.AST
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
roEvalOptsCryptol.ModuleSystem.Monad
roLoadingCryptol.ModuleSystem.Monad
rootExactCryptol.TypeCheck.Solver.InfNat
rotateLBCryptol.Prims.Eval
rotateLSCryptol.Prims.Eval
rotateLWCryptol.Prims.Eval
rotateRBCryptol.Prims.Eval
rotateRSCryptol.Prims.Eval
rotateRWCryptol.Prims.Eval
rPrintCryptol.REPL.Monad
rPutStrCryptol.REPL.Monad
rPutStrLnCryptol.REPL.Monad
runBuildCryptol.ModuleSystem.NamingEnv
runCommandCryptol.REPL.Command
runDocCryptol.Utils.PP, Cryptol.TypeCheck.PP
runEvalCryptol.Eval.Monad, Cryptol.Eval
runInferMCryptol.TypeCheck.Monad
runKindMCryptol.TypeCheck.Monad
runModuleMCryptol.ModuleSystem.Monad
runModuleTCryptol.ModuleSystem.Monad
runOneTest 
1 (Function)Cryptol.Testing.Concrete
2 (Function)Cryptol.Testing.Random
runRenamerCryptol.ModuleSystem.Renamer
runREPLCryptol.REPL.Monad
runResultCryptol.TypeCheck.Unify
runSpecTCryptol.Transform.Specialize
runSupplyTCryptol.ModuleSystem.Name
runTestsCryptol.Testing.Concrete
RW 
1 (Type/Class)Cryptol.TypeCheck.Monad
2 (Data Constructor)Cryptol.TypeCheck.Monad