cryptol-3.0.0: Cryptol: The Language of Cryptography

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Z
- :
- !
- $
- &
- .
- <
- =
- >
- @
- |
- ~
- _
- All

Index - F

FailError | Cryptol.Testing.Random
FailFalse | Cryptol.Testing.Random
fAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
fastSchemaOf | Cryptol.TypeCheck.TypeOf
fastTypeOf | Cryptol.TypeCheck.TypeOf
FatArrR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
FCError | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FCLeft | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FCRight | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FFIArg | Cryptol.Backend.FFI
ffiArgTypes | Cryptol.TypeCheck.FFI.FFIType
FFIArray | Cryptol.TypeCheck.FFI.FFIType
FFIBadArrayType | Cryptol.TypeCheck.FFI.Error
FFIBadComponentTypes | Cryptol.TypeCheck.FFI.Error
FFIBadFloatSize | Cryptol.TypeCheck.FFI.Error
FFIBadType | Cryptol.TypeCheck.FFI.Error
FFIBadWordSize | Cryptol.TypeCheck.FFI.Error
FFIBasic | Cryptol.TypeCheck.FFI.FFIType
FFIBasicRef | Cryptol.TypeCheck.FFI.FFIType
FFIBasicRefType | Cryptol.TypeCheck.FFI.FFIType
FFIBasicType | Cryptol.TypeCheck.FFI.FFIType
FFIBasicVal | Cryptol.TypeCheck.FFI.FFIType
FFIBasicValType | Cryptol.TypeCheck.FFI.FFIType
FFIBool | Cryptol.TypeCheck.FFI.FFIType
FFIDuplicates | Cryptol.Backend.FFI.Error
FFIFloat | Cryptol.TypeCheck.FFI.FFIType
FFIFloat32 | Cryptol.TypeCheck.FFI.FFIType
FFIFloat64 | Cryptol.TypeCheck.FFI.FFIType
FFIFloatSize | Cryptol.TypeCheck.FFI.FFIType
FFIFunType |
1 (Type/Class) | Cryptol.TypeCheck.FFI.FFIType
2 (Data Constructor) | Cryptol.TypeCheck.FFI.FFIType
FFIInFunctor | Cryptol.Backend.FFI.Error
FFIInteger | Cryptol.TypeCheck.FFI.FFIType
FFILoadError | Cryptol.Backend.FFI.Error
FFILoadErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
ffiLoadErrors | Cryptol.ModuleSystem.Monad
FFINotFunction | Cryptol.TypeCheck.FFI.Error
FFINotSupported | Cryptol.Backend.Monad, Cryptol.Eval
FFIRational | Cryptol.TypeCheck.FFI.FFIType
FFIRecord | Cryptol.TypeCheck.FFI.FFIType
FFIRet | Cryptol.Backend.FFI
ffiRetType | Cryptol.TypeCheck.FFI.FFIType
ffiTParams | Cryptol.TypeCheck.FFI.FFIType
FFITuple | Cryptol.TypeCheck.FFI.FFIType
FFIType | Cryptol.TypeCheck.FFI.FFIType
FFITypeError |
1 (Type/Class) | Cryptol.TypeCheck.FFI.Error
2 (Data Constructor) | Cryptol.TypeCheck.FFI.Error
FFITypeErrorReason | Cryptol.TypeCheck.FFI.Error
FFITypeNumTooBig | Cryptol.Backend.Monad, Cryptol.Eval
FFIWord | Cryptol.TypeCheck.FFI.FFIType
FFIWord16 | Cryptol.TypeCheck.FFI.FFIType
FFIWord32 | Cryptol.TypeCheck.FFI.FFIType
FFIWord64 | Cryptol.TypeCheck.FFI.FFIType
FFIWord8 | Cryptol.TypeCheck.FFI.FFIType
FFIWordSize | Cryptol.TypeCheck.FFI.FFIType
fieldDivideV | Cryptol.Eval.Generic
FieldOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
fieldSet | Cryptol.Utils.RecordMap
fiFingerprint | Cryptol.ModuleSystem.Env
fiForeignDeps | Cryptol.ModuleSystem.Env
fiImportDeps | Cryptol.ModuleSystem.Env
fiIncludeDeps | Cryptol.ModuleSystem.Env
FileExprArg | Cryptol.REPL.Command
FileInfo |
1 (Type/Class) | Cryptol.ModuleSystem.Env
2 (Data Constructor) | Cryptol.ModuleSystem.Env
fileInfo | Cryptol.ModuleSystem.Env
FilenameArg | Cryptol.REPL.Command
FileNotFound | Cryptol.REPL.Monad
filterIfaceDecls | Cryptol.ModuleSystem.Interface
filterNames | Cryptol.ModuleSystem.Names
filterPNames | Cryptol.ModuleSystem.NamingEnv
filterUNames | Cryptol.ModuleSystem.NamingEnv
finally | Cryptol.REPL.Monad
findAmbig | Cryptol.ModuleSystem.NamingEnv
findCommand | Cryptol.REPL.Command
findCommandExact | Cryptol.REPL.Command
findDeps | Cryptol.ModuleSystem.Base
findDeps' | Cryptol.ModuleSystem.Base
findDepsOf | Cryptol.ModuleSystem.Base
findDepsOfModule | Cryptol.ModuleSystem.Base
findFile | Cryptol.ModuleSystem.Base
findForeignDecls | Cryptol.TypeCheck.AST, Cryptol.Eval.FFI
findForeignDeclsInFunctors | Cryptol.TypeCheck.AST
findModule |
1 (Function) | Cryptol.ModuleSystem.Base
2 (Function) | Cryptol.ModuleSystem
findModuleDeps | Cryptol.ModuleSystem.Base
findNbCommand | Cryptol.REPL.Command
findShadowing | Cryptol.ModuleSystem.NamingEnv
Fingerprint | Cryptol.ModuleSystem.Fingerprint
fingerprint | Cryptol.ModuleSystem.Fingerprint
fingerprintFile | Cryptol.ModuleSystem.Fingerprint
fingerprintHexString | Cryptol.ModuleSystem.Fingerprint
finiteSeqMap | Cryptol.Backend.SeqMap
finNat' | Cryptol.Eval.Type
FinType | Cryptol.Symbolic
finType | Cryptol.Symbolic
Fixity |
1 (Type/Class) | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
FixityCmp | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FixityError | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
FixityNoBind | Cryptol.Parser.NoPat
fixNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
fixPPCfg | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
flam | Cryptol.Eval.Value
flattenShape | Cryptol.Symbolic
flattenShapes | Cryptol.Symbolic
fLevel | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
flitDefaultCandidates | Cryptol.TypeCheck.Default
float32ExpPrec | Cryptol.Utils.Types
float64ExpPrec | Cryptol.Utils.Types
FloatFixed | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
FloatFrac | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
FloatFree | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
floatFromBits | Cryptol.Backend.FloatHelpers
floatFromDouble | Cryptol.Backend.FloatHelpers
floatFromRational | Cryptol.Backend.FloatHelpers
floatName | Cryptol.Utils.Ident
floatPrim | Cryptol.Utils.Ident
floatToBits | Cryptol.Backend.FloatHelpers
floatToInteger | Cryptol.Backend.FloatHelpers
floatToRational | Cryptol.Backend.FloatHelpers
floorV | Cryptol.Eval.Generic
fmap' | Cryptol.TypeCheck.Subst
focusedEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
focusModule | Cryptol.ModuleSystem.Env
foldl'V | Cryptol.Eval.Generic
foldLoop | Cryptol.ModuleSystem.Renamer.Monad
foldlV | Cryptol.Eval.Generic
Forall |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ForceExponent | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
forceUnambig | Cryptol.ModuleSystem.NamingEnv
forceValue | Cryptol.Eval.Value, Cryptol.Eval
forceWordValue | Cryptol.Backend.WordValue
ForeignImpl | Cryptol.Backend.FFI
foreignLibPath | Cryptol.Backend.FFI
ForeignSrc | Cryptol.Backend.FFI
fpAbs | Cryptol.Backend, Cryptol.Eval.Value
FPArith2 | Cryptol.Backend
fpAsLit | Cryptol.Backend, Cryptol.Eval.Value
fpBinArith |
1 (Function) | Cryptol.Backend.What4
2 (Function) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
fpBinArithV | Cryptol.Eval.Generic
fpCheckStatus | Cryptol.Backend.FloatHelpers
fpConst | Cryptol.Eval.Generic
fpCvtFromRational | Cryptol.Backend.What4
fpCvtToInteger | Cryptol.Backend.What4
fpCvtToRational | Cryptol.Backend.What4
fpDiv | Cryptol.Backend, Cryptol.Eval.Value
fpEq | Cryptol.Backend, Cryptol.Eval.Value
fpExactLit | Cryptol.Backend, Cryptol.Eval.Value
fpFMA | Cryptol.Backend, Cryptol.Eval.Value
fpFromBits | Cryptol.Backend, Cryptol.Eval.Value
fpFromInteger | Cryptol.Backend, Cryptol.Eval.Value
fpFromRational | Cryptol.Backend, Cryptol.Eval.Value
fpGreaterThan | Cryptol.Backend, Cryptol.Eval.Value
fpIsInf | Cryptol.Backend, Cryptol.Eval.Value
fpIsNaN | Cryptol.Backend, Cryptol.Eval.Value
fpIsNeg | Cryptol.Backend, Cryptol.Eval.Value
fpIsNorm | Cryptol.Backend, Cryptol.Eval.Value
fpIsSubnorm | Cryptol.Backend, Cryptol.Eval.Value
fpIsZero | Cryptol.Backend, Cryptol.Eval.Value
fpLessThan | Cryptol.Backend, Cryptol.Eval.Value
fpLit |
1 (Function) | Cryptol.Backend.FloatHelpers
2 (Function) | Cryptol.Backend, Cryptol.Eval.Value
fpLogicalEq | Cryptol.Backend, Cryptol.Eval.Value
fpMinus | Cryptol.Backend, Cryptol.Eval.Value
fpMult | Cryptol.Backend, Cryptol.Eval.Value
fpNaN | Cryptol.Backend, Cryptol.Eval.Value
fpNeg | Cryptol.Backend, Cryptol.Eval.Value
fpOpts | Cryptol.Backend.FloatHelpers
fpPlus | Cryptol.Backend, Cryptol.Eval.Value
fpPosInf | Cryptol.Backend, Cryptol.Eval.Value
fpPP | Cryptol.Backend.FloatHelpers
fpRndMode | Cryptol.Eval.Generic
fpRndRNA | Cryptol.Eval.Generic
fpRndRNE | Cryptol.Eval.Generic
fpRndRTN | Cryptol.Eval.Generic
fpRndRTP | Cryptol.Eval.Generic
fpRndRTZ | Cryptol.Eval.Generic
fpRound | Cryptol.Backend.FloatHelpers
fpRoundingMode | Cryptol.Backend.What4
fpRoundMode | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
fpSqrt | Cryptol.Backend, Cryptol.Eval.Value
fpToBits | Cryptol.Backend, Cryptol.Eval.Value
fpToInteger | Cryptol.Backend, Cryptol.Eval.Value
fpToRational | Cryptol.Backend, Cryptol.Eval.Value
Frac | Cryptol.Parser.Token, Cryptol.Parser.Lexer
FracInfo | Cryptol.Parser.AST
FreeAbstract | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
freeAbstract | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
freeParams | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
FreeTypeVariable | Cryptol.TypeCheck.Sanity
FreeVars | Cryptol.IR.FreeVars
freeVars | Cryptol.IR.FreeVars
freshBitVar | Cryptol.Symbolic
freshBV_ | Cryptol.Backend.SBV
freshFloatVar | Cryptol.Symbolic
freshIntegerVar | Cryptol.Symbolic
FreshM | Cryptol.ModuleSystem.Name
freshName |
1 (Function) | Cryptol.Transform.Specialize
2 (Function) | Cryptol.REPL.Monad
freshNameFor | Cryptol.ModuleSystem.Name
freshSBool_ | Cryptol.Backend.SBV
freshSInteger_ | Cryptol.Backend.SBV
freshTParam | Cryptol.TypeCheck.Monad
freshVar | Cryptol.Symbolic
FreshVarFns |
1 (Type/Class) | Cryptol.Symbolic
2 (Data Constructor) | Cryptol.Symbolic
freshWordVar | Cryptol.Symbolic
From | Cryptol.TypeCheck.AST
from | Cryptol.Parser.Position
fromBigEndianSBS | Cryptol.SHA
FromDefinition | Cryptol.Utils.Ident
FromFunctorInst | Cryptol.Utils.Ident
fromGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
FromImport | Cryptol.ModuleSystem.Monad
fromIntegerV | Cryptol.Eval.Generic
FromModParam | Cryptol.Utils.Ident
FromModule | Cryptol.ModuleSystem.Monad
FromModuleInstance | Cryptol.ModuleSystem.Monad
fromNat | Cryptol.TypeCheck.Solver.InfNat
fromSeq | Cryptol.Eval.Value
FromSigImport | Cryptol.ModuleSystem.Monad
fromThenToV | Cryptol.Eval.Generic
fromToByLessThanV | Cryptol.Eval.Generic
fromToByV | Cryptol.Eval.Generic
fromToDownByGreaterThanV | Cryptol.Eval.Generic
fromToDownByV | Cryptol.Eval.Generic
fromToLessThanV | Cryptol.Eval.Generic
fromToV | Cryptol.Eval.Generic
fromVBit | Cryptol.Eval.Value
fromVFloat | Cryptol.Eval.Value
fromVFun | Cryptol.Eval.Value
fromVInteger | Cryptol.Eval.Value
fromVNumPoly | Cryptol.Eval.Value
fromVPoly | Cryptol.Eval.Value
fromVRational | Cryptol.Eval.Value
fromVRecord | Cryptol.Eval.Value
fromVSeq | Cryptol.Eval.Value
fromVTuple | Cryptol.Eval.Value
fromVWord | Cryptol.Eval.Value
fromWordVal | Cryptol.Eval.Value
fromZV | Cryptol.Eval.Generic
fsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
FTBit | Cryptol.Symbolic
FTFloat | Cryptol.Symbolic
FTInteger | Cryptol.Symbolic
FTIntMod | Cryptol.Symbolic
FTNewtype | Cryptol.Symbolic
FTRational | Cryptol.Symbolic
FTRecord | Cryptol.Symbolic
FTSeq | Cryptol.Symbolic
FTTuple | Cryptol.Symbolic
fullyQualified | Cryptol.ModuleSystem.Base
FunApp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
FunctorInstance | Cryptol.Parser.AST
FunctorInstanceBadArgument | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorInstanceBadBacktick | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorInstanceMissingArgument | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorInstanceMissingName | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorParams |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.ModuleSystem.Env
FunDesc |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
funDescrArgOffset | Cryptol.Parser.AST
funDescrName | Cryptol.Parser.AST
funLogger | Cryptol.Utils.Logger
FVS | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Subst
fvs | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Subst