| 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 |