cryptol-2.11.0: Cryptol: The Language of Cryptography

Index - R

raiseCryptol.REPL.Monad
raiseErrorCryptol.Backend, Cryptol.Eval.Value
randomTestsCryptol.Testing.Random
randomVCryptol.Eval.Generic
randomValueCryptol.Testing.Random
Range 
1 (Type/Class)Cryptol.Parser.Position
2 (Data Constructor)Cryptol.Parser.Position
ratioCryptol.Backend
rationalAddCryptol.Backend
rationalCeilingCryptol.Backend
rationalDivideCryptol.Backend
rationalEqCryptol.Backend
rationalFloorCryptol.Backend
rationalGreaterThanCryptol.Backend
rationalLessThanCryptol.Backend
rationalMulCryptol.Backend
rationalNegateCryptol.Backend
rationalRecipCryptol.Backend
rationalRoundAwayCryptol.Backend
rationalRoundToEvenCryptol.Backend
rationalSubCryptol.Backend
rationalTruncCryptol.Backend
ratioVCryptol.Eval.Generic
rCombCryptol.Parser.Position
rCombMaybeCryptol.Parser.Position
rCombsCryptol.Parser.Position
readBytesCryptol.ModuleSystem.Monad
ReadyCryptol.Backend.Monad
readyCryptol.Backend.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
reportExprCryptol.REPL.Command
reportResultCryptol.REPL.Command
reportTestsPossibleCryptol.REPL.Command
reportTestsRunCryptol.REPL.Command
resetModuleEnvCryptol.ModuleSystem.Env
ResultCryptol.TypeCheck.Unify
rethrowEvalErrorCryptol.REPL.Monad
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
roCallStacksCryptol.ModuleSystem.Monad
roEvalOptsCryptol.ModuleSystem.Monad
roFileReaderCryptol.ModuleSystem.Monad
roLoadingCryptol.ModuleSystem.Monad
rootExactCryptol.TypeCheck.Solver.InfNat
rotateLeftReindexCryptol.Eval.Generic
rotateRightReindexCryptol.Eval.Generic
rotateShrinkCryptol.Eval.Generic
roTCSolverCryptol.ModuleSystem.Monad
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.Backend.Monad, Cryptol.Eval
runInferMCryptol.TypeCheck.Monad
runKindMCryptol.TypeCheck.Monad
runModuleMCryptol.ModuleSystem.Monad
runModuleTCryptol.ModuleSystem.Monad
runRenamerCryptol.ModuleSystem.Renamer
runREPLCryptol.REPL.Monad
runResultCryptol.TypeCheck.Unify
runSpecTCryptol.Transform.Specialize
runSupplyTCryptol.ModuleSystem.Name
RW 
1 (Type/Class)Cryptol.TypeCheck.Monad
2 (Data Constructor)Cryptol.TypeCheck.Monad