| MalformedLiteral | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| MalformedSelector | Cryptol.Parser.Token, Cryptol.Parser.Lexer |
| mapMaybeTM | Cryptol.TypeCheck.TypeMap |
| mapMaybeWithKeyTM | Cryptol.TypeCheck.TypeMap |
| mapNameIdent | Cryptol.ModuleSystem.Name |
| mapNames | |
| 1 (Function) | Cryptol.ModuleSystem.Names |
| 2 (Function) | Cryptol.IR.TraverseNames |
| mapNamingEnv | Cryptol.ModuleSystem.NamingEnv |
| mapSeqMap | Cryptol.Backend.SeqMap |
| mapTM | Cryptol.TypeCheck.TypeMap |
| mapWithFieldName | Cryptol.Utils.RecordMap |
| mapWithKeyTM | Cryptol.TypeCheck.TypeMap |
| Markdown | Cryptol.Parser.Unlit, Cryptol.Parser |
| mask | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| Match | |
| 1 (Type/Class) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| 2 (Data Constructor) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| 3 (Type/Class) | Cryptol.Parser.AST |
| 4 (Data Constructor) | Cryptol.Parser.AST |
| 5 (Type/Class) | Cryptol.TypeCheck.AST |
| match | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matchDefault | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| Matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| MatchLet | Cryptol.Parser.AST |
| matchMaybe | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat |
| matchThen | Cryptol.TypeCheck.Solver.Types |
| maxBigIntWidth | Cryptol.Backend.Arch |
| MaybeCheckedType | Cryptol.TypeCheck.Instantiate |
| maybeNameDoc | Cryptol.TypeCheck.Parseable |
| maybeReady | Cryptol.Backend.Monad |
| MBQual | Cryptol.TypeCheck.ModuleBacktickInstance |
| mctxDecls | Cryptol.ModuleSystem.Env |
| mctxExported | Cryptol.ModuleSystem.Env |
| mctxNameDisp | Cryptol.ModuleSystem.Env |
| mctxNames | Cryptol.ModuleSystem.Env |
| mctxParams | Cryptol.ModuleSystem.Env |
| mDecls | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| mDef | Cryptol.Parser.AST |
| mDoc | Cryptol.TypeCheck.AST |
| meCoreLint | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meDynEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meEvalEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meFocusedModule | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meLoadedModules | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| membersTM | Cryptol.TypeCheck.TypeMap |
| memoMap | Cryptol.Backend.SeqMap |
| meMonoBinds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meNameSeeds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| mergeDistinctSubst | Cryptol.TypeCheck.Subst |
| mergeEval | Cryptol.Backend, Cryptol.Eval.Value |
| mergeSeqMap | Cryptol.Backend.SeqMap |
| mergeValue | Cryptol.Eval.Value |
| mergeWord | Cryptol.Backend.WordValue |
| mergeWord' | Cryptol.Backend.WordValue |
| meSearchPath | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| meSupply | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| mExports | Cryptol.TypeCheck.AST |
| mFunctors | Cryptol.TypeCheck.AST |
| MGU | Cryptol.TypeCheck.Unify |
| mgu | Cryptol.TypeCheck.Unify |
| mguMany | Cryptol.TypeCheck.Unify |
| mImports | Cryptol.Parser.AST |
| minpByteReader | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| minpCallStacks | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| minpEvalOpts | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| minpModuleEnv | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| minpTCSolver | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| Minus | Cryptol.Parser.Token |
| mIsFunctor | Cryptol.Parser.AST |
| MissingField | Cryptol.TypeCheck.Sanity |
| MissingModParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| MissingModTParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| MissingModVParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck |
| mkBv | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete |
| mkDeclared | Cryptol.ModuleSystem.Name |
| mkIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkIfaceDecl | Cryptol.TypeCheck.Interface |
| mkInfix | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| mkLit | Cryptol.Eval.Generic |
| mkLocal | Cryptol.ModuleSystem.Name |
| mkModParam | Cryptol.ModuleSystem.Name |
| mkQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| mkSeq | Cryptol.Eval.Value |
| mkUnqual | Cryptol.Parser.Name, Cryptol.Parser.AST |
| mModParams | Cryptol.Parser.AST |
| mName | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.AST |
| mNested | Cryptol.TypeCheck.AST |
| mNewtypes | Cryptol.TypeCheck.AST |
| Mod | |
| 1 (Data Constructor) | Cryptol.Parser.Token |
| 2 (Type/Class) | Cryptol.ModuleSystem.Binds |
| 3 (Data Constructor) | Cryptol.ModuleSystem.Binds |
| modBuilder | Cryptol.ModuleSystem.Binds |
| ModContext | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env |
| modContextOf | Cryptol.ModuleSystem.Env |
| modContextParamNames | Cryptol.ModuleSystem.Env |
| ModContextParams | Cryptol.ModuleSystem.Env |
| modDefines | Cryptol.ModuleSystem.Binds |
| modelPred | Cryptol.Symbolic |
| modify | Cryptol.Transform.Specialize |
| modifyCallStack | Cryptol.Backend.Monad |
| modifyEvalEnv | Cryptol.ModuleSystem.Monad |
| modifyEvalEnvM | Cryptol.ModuleSystem.Monad |
| modifyModuleEnv | Cryptol.ModuleSystem.Monad |
| modifySpecCache | Cryptol.Transform.Specialize |
| modImports | Cryptol.ModuleSystem.Binds |
| modInstances | Cryptol.ModuleSystem.Binds |
| ModKind | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports |
| modKind | Cryptol.ModuleSystem.Binds |
| modMods | Cryptol.ModuleSystem.Binds |
| ModName | Cryptol.Utils.Ident, Cryptol.Parser.AST |
| ModNameArg | Cryptol.REPL.Command |
| modNameArg | Cryptol.Utils.Ident |
| modNameChunks | Cryptol.Utils.Ident |
| modNameChunksText | Cryptol.Utils.Ident |
| modNameIfaceMod | Cryptol.Utils.Ident |
| modNameIsNormal | Cryptol.Utils.Ident |
| modNameToNormalModName | Cryptol.Utils.Ident |
| modNameToText | Cryptol.Utils.Ident |
| modNested | Cryptol.ModuleSystem.Binds |
| ModParam | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| 3 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 4 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| modParamIdent | Cryptol.Utils.Ident |
| ModParamName | Cryptol.ModuleSystem.Renamer.Error |
| ModParamNames | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| modParamsNamingEnv | Cryptol.ModuleSystem.NamingEnv |
| ModPath | |
| 1 (Type/Class) | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Error |
| modPathCommon | Cryptol.Utils.Ident |
| modPathIsNormal | Cryptol.Utils.Ident |
| modPathIsOrContains | Cryptol.Utils.Ident |
| modPathSplit | Cryptol.Utils.Ident |
| modPublic | Cryptol.ModuleSystem.Binds |
| modRange | Cryptol.Parser.AST |
| modState | Cryptol.ModuleSystem.Binds |
| modToMap | Cryptol.ModuleSystem.Binds |
| ModTParam | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| modTyParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| Module | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| 3 (Type/Class) | Cryptol.TypeCheck.AST |
| 4 (Data Constructor) | Cryptol.TypeCheck.AST |
| ModuleArg | Cryptol.Parser.AST |
| ModuleCmd | Cryptol.ModuleSystem |
| moduleCmd | Cryptol.REPL.Command |
| moduleCmdResult | Cryptol.REPL.Command |
| ModuleDefinition | Cryptol.Parser.AST |
| moduleDeps | Cryptol.IR.FreeVars |
| ModuleEnv | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
| moduleEnv | Cryptol.Eval |
| ModuleError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleFile | Cryptol.ModuleSystem.Base |
| ModuleG | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Type/Class) | Cryptol.TypeCheck.AST |
| ModuleInput | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| ModuleInstance | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Type/Class) | Cryptol.TypeCheck.ModuleInstance |
| moduleInstance | Cryptol.TypeCheck.ModuleInstance |
| ModuleInstanceArg | Cryptol.Parser.AST |
| ModuleInstanceArgs | Cryptol.Parser.AST |
| ModuleInstanceNamedArg | |
| 1 (Type/Class) | Cryptol.Parser.AST |
| 2 (Data Constructor) | Cryptol.Parser.AST |
| ModuleKindMismatch | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |
| moduleLinter | Cryptol.ModuleSystem.Base |
| ModuleM | Cryptol.ModuleSystem.Monad |
| ModuleNameMismatch | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleNameMismatch | Cryptol.ModuleSystem.Monad |
| ModuleNotFound | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleNotFound | Cryptol.ModuleSystem.Monad |
| ModuleParseError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| moduleParseError | Cryptol.ModuleSystem.Monad |
| ModulePath | Cryptol.ModuleSystem.Env |
| modulePathLabel | Cryptol.ModuleSystem.Env |
| ModuleRes | Cryptol.ModuleSystem |
| ModuleSystemError | Cryptol.REPL.Monad |
| ModuleT | |
| 1 (Type/Class) | Cryptol.ModuleSystem.Monad |
| 2 (Data Constructor) | Cryptol.ModuleSystem.Monad |
| ModuleWarning | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
| modV | Cryptol.Eval.Generic |
| ModVParam | |
| 1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| 2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| MonoValues | Cryptol.Parser.Name, Cryptol.Parser.AST |
| move | Cryptol.Parser.Position |
| moves | Cryptol.Parser.Position |
| mParamConstraints | Cryptol.TypeCheck.AST |
| mParamFuns | Cryptol.TypeCheck.AST |
| mParams | Cryptol.TypeCheck.AST |
| mParamTypes | Cryptol.TypeCheck.AST |
| mpAs | Cryptol.Parser.AST |
| mpDoc | Cryptol.Parser.AST |
| mpIface | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpName | |
| 1 (Function) | Cryptol.Parser.AST |
| 2 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpnConstraints | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpnDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpnFuns | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpnTypes | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpnTySyn | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpParameters | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpQual | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mpRenaming | Cryptol.Parser.AST |
| mPrimTypes | Cryptol.TypeCheck.AST |
| mpSignature | Cryptol.Parser.AST |
| mSignatures | Cryptol.TypeCheck.AST |
| mSubmodules | Cryptol.TypeCheck.AST |
| MTopModule | Cryptol.TypeCheck.Monad |
| mtpDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mtpKind | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mtpName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mtpParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mTySyns | Cryptol.TypeCheck.AST |
| Mul | Cryptol.Parser.Token |
| MultipleDocs | Cryptol.Parser.NoPat |
| MultipleFixities | Cryptol.Parser.NoPat |
| MultipleModParams | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |
| MultipleSignatures | Cryptol.Parser.NoPat |
| MultipleSyms | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer |
| mulV | Cryptol.Eval.Generic |
| mvpDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mvpFixity | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mvpName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |
| mvpType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST |