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 |
FEnum | Cryptol.Symbolic |
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 |
ffiEnabled | Cryptol.Version |
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 |
FinNominalType | Cryptol.Symbolic |
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 |
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 |
fromVEnum | 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 |
FStruct | Cryptol.Symbolic |
FTBit | Cryptol.Symbolic |
FTFloat | Cryptol.Symbolic |
FTInteger | Cryptol.Symbolic |
FTIntMod | Cryptol.Symbolic |
FTNominal | 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 |