cryptol-2.9.0: Cryptol: The Language of Cryptography

Index - R

raiseCryptol.REPL.Monad
raiseErrorCryptol.Eval.Backend, Cryptol.Eval.Value
randomBitCryptol.Testing.Random
randomFloatCryptol.Testing.Random
randomIntegerCryptol.Testing.Random
randomIntModCryptol.Testing.Random
randomRationalCryptol.Testing.Random
randomRecordCryptol.Testing.Random
randomSequenceCryptol.Testing.Random
randomSizeCryptol.Testing.Random
randomStreamCryptol.Testing.Random
randomTupleCryptol.Testing.Random
randomVCryptol.Testing.Random
randomValueCryptol.Testing.Random
randomWordCryptol.Testing.Random
Range 
1 (Type/Class)Cryptol.Parser.Position
2 (Data Constructor)Cryptol.Parser.Position
ratioCryptol.Eval.Backend
rationalAddCryptol.Eval.Backend
rationalCeilingCryptol.Eval.Backend
rationalDivideCryptol.Eval.Backend
rationalEqCryptol.Eval.Backend
rationalFloorCryptol.Eval.Backend
rationalGreaterThanCryptol.Eval.Backend
rationalLessThanCryptol.Eval.Backend
rationalMulCryptol.Eval.Backend
rationalNegateCryptol.Eval.Backend
rationalRecipCryptol.Eval.Backend
rationalRoundAwayCryptol.Eval.Backend
rationalRoundToEvenCryptol.Eval.Backend
rationalSubCryptol.Eval.Backend
rationalTruncCryptol.Eval.Backend
ratioVCryptol.Eval.Generic
rCombCryptol.Parser.Position
rCombsCryptol.Parser.Position
readBytesCryptol.ModuleSystem.Monad
ReadyCryptol.Eval.Monad
readyCryptol.Eval.Monad
recipVCryptol.Eval.Generic
recordElementsCryptol.Utils.RecordMap
recordErrorCryptol.TypeCheck.Monad
recordFromFieldsCryptol.Utils.RecordMap
recordFromFieldsErrCryptol.Utils.RecordMap
recordFromFieldsWithDisplayCryptol.Utils.RecordMap
RecordMapCryptol.Utils.RecordMap
recordMapAccumCryptol.Utils.RecordMap
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.Random
reportResultCryptol.Testing.Random
reportTestsPossibleCryptol.Testing.Random
reportTestsRunCryptol.Testing.Random
resetModuleEnvCryptol.ModuleSystem.Env
ResultCryptol.TypeCheck.Unify
rethrowEvalErrorCryptol.REPL.Monad
returnOneTestCryptol.Testing.Random
returnTestsCryptol.Testing.Random
reverseSeqMapCryptol.Eval.Value
reverseVCryptol.Eval.Generic
rewModuleCryptol.Transform.MonoValues
RightAssocCryptol.Utils.Fixity, Cryptol.Parser.AST
ringBinaryCryptol.Eval.Generic
ringNullaryCryptol.Eval.Generic
ringUnaryCryptol.Eval.Generic
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
roFileReaderCryptol.ModuleSystem.Monad
roLoadingCryptol.ModuleSystem.Monad
rootExactCryptol.TypeCheck.Solver.InfNat
rotateLeftReindexCryptol.Eval.Generic
rotateRightReindexCryptol.Eval.Generic
rotateShrinkCryptol.Eval.Generic
roundAwayVCryptol.Eval.Generic
roundOpCryptol.Eval.Generic
roundToEvenVCryptol.Eval.Generic
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
runOneTestCryptol.Testing.Random
runRenamerCryptol.ModuleSystem.Renamer
runREPLCryptol.REPL.Monad
runResultCryptol.TypeCheck.Unify
runSpecTCryptol.Transform.Specialize
runSupplyTCryptol.ModuleSystem.Name
runTestsCryptol.Testing.Random
RW 
1 (Type/Class)Cryptol.TypeCheck.Monad
2 (Data Constructor)Cryptol.TypeCheck.Monad