$$ | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
.*. | Cryptol.TypeCheck.AST |
.+. | Cryptol.TypeCheck.AST |
.-. | Cryptol.TypeCheck.AST |
.^. | Cryptol.TypeCheck.AST |
:&& | Cryptol.TypeCheck.Solver.Numeric.AST |
:* | Cryptol.TypeCheck.Solver.Numeric.AST |
:+ | Cryptol.TypeCheck.Solver.Numeric.AST |
:- | Cryptol.TypeCheck.Solver.Numeric.AST |
:-> | Cryptol.TypeCheck.AST |
:== | Cryptol.TypeCheck.Solver.Numeric.AST |
:==: | Cryptol.TypeCheck.Solver.Numeric.AST |
:> | Cryptol.TypeCheck.Solver.Numeric.AST |
:>: | Cryptol.TypeCheck.Solver.Numeric.AST |
:>= | Cryptol.TypeCheck.Solver.Numeric.AST |
:^^ | Cryptol.TypeCheck.Solver.Numeric.AST |
:|| | Cryptol.TypeCheck.Solver.Numeric.AST |
<+> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
<> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
=#= | Cryptol.TypeCheck.AST |
=/= | Cryptol.TypeCheck.AST |
>== | Cryptol.TypeCheck.AST |
@@ | Cryptol.TypeCheck.Subst |
addGoals | Cryptol.TypeCheck.Monad |
addHasGoal | Cryptol.TypeCheck.Monad |
addLoadedModule | Cryptol.ModuleSystem.Env |
AddLoc | Cryptol.Parser.Position |
addLoc | Cryptol.Parser.Position |
addPoly | Cryptol.Symbolic.Prims |
addPrelude | Cryptol.ModuleSystem.Base |
addTNames | Cryptol.TypeCheck.AST |
addTVarsDescs | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
allDeclGroups | |
1 (Function) | Cryptol.Transform.Specialize |
2 (Function) | Cryptol.Symbolic |
allLoadedModules | Cryptol.Transform.Specialize |
allNamesD | Cryptol.Parser.Names |
allowWild | Cryptol.TypeCheck.Monad |
allPublicNames | Cryptol.Transform.Specialize |
AllSat | Cryptol.Symbolic |
AllSatResult | Cryptol.Symbolic |
allSatSMTResults | Cryptol.Symbolic |
alterTM | Cryptol.TypeCheck.TypeMap |
alwaysQualify | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
Ambiguous | Cryptol.REPL.Command |
AmbiguousType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
anyJust | Cryptol.Utils.Misc |
anyJust2 | Cryptol.Utils.Misc |
applySubst | Cryptol.TypeCheck.Monad |
appTys | Cryptol.TypeCheck.Infer |
apSubst | |
1 (Function) | Cryptol.TypeCheck.Subst |
2 (Function) | Cryptol.TypeCheck.Solver.Numeric.AST |
apSubstMaybe | Cryptol.TypeCheck.Subst |
apSubstNL | Cryptol.TypeCheck.Solver.Numeric.NonLin |
apSubstTypeMapKeys | Cryptol.TypeCheck.Subst |
arithBinary | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
arithUnary | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
ArrL | Cryptol.Parser.Lexer |
ArrR | Cryptol.Parser.Lexer |
asBatch | Cryptol.REPL.Monad |
asciiMode | Cryptol.Eval.Value |
asPrim | Cryptol.ModuleSystem.Name |
Assoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Parser.AST |
assumeProps | Cryptol.TypeCheck.Solver.CrySAT |
at | Cryptol.Parser.Position |
atV | Cryptol.Symbolic.Prims |
BackTick | Cryptol.Parser.Lexer |
BadApplication | Cryptol.TypeCheck.Sanity |
BadInstantiation | Cryptol.TypeCheck.Sanity |
BadMatch | Cryptol.TypeCheck.Sanity |
BadProofNoAbs | Cryptol.TypeCheck.Sanity |
BadProofTyVars | Cryptol.TypeCheck.Sanity |
BadSelector | Cryptol.TypeCheck.Sanity |
BadTypeApplication | Cryptol.TypeCheck.Sanity |
Bar | Cryptol.Parser.Lexer |
bDef | Cryptol.Parser.AST |
bDoc | Cryptol.Parser.AST |
bFixity | Cryptol.Parser.AST |
BinArith | Cryptol.Prims.Eval |
Binary | |
1 (Type/Class) | Cryptol.Prims.Eval |
2 (Type/Class) | Cryptol.Symbolic.Prims |
binary | Cryptol.Prims.Eval |
Bind | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
BindDef | Cryptol.Parser.AST |
BindsNames | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
bindType | |
1 (Function) | Cryptol.Eval.Env |
2 (Function) | Cryptol.Symbolic |
bindVar | |
1 (Function) | Cryptol.Eval.Env |
2 (Function) | Cryptol.TypeCheck.Unify |
3 (Function) | Cryptol.Symbolic |
bInfix | Cryptol.Parser.AST |
BinLit | Cryptol.Parser.AST |
BitWord | Cryptol.Eval.Value |
BlockComment | Cryptol.Parser.Lexer |
bMono | Cryptol.Parser.AST |
bName | Cryptol.Parser.AST |
boolToWord | Cryptol.Eval.Value |
boundNames | Cryptol.Parser.Names |
bParams | Cryptol.Parser.AST |
bPragmas | Cryptol.Parser.AST |
braces | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
BracketL | Cryptol.Parser.Lexer |
BracketR | Cryptol.Parser.Lexer |
brackets | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
branchEnvs | Cryptol.Symbolic |
bSignature | Cryptol.Parser.AST |
BuiltInTyFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
BV | |
1 (Type/Class) | Cryptol.Eval.Value |
2 (Data Constructor) | Cryptol.Eval.Value |
CannotMixPositionalAndNamedTypeParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
CantFindFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
cantFindFile | Cryptol.ModuleSystem.Monad |
Captured | Cryptol.TypeCheck.Sanity |
CArith | Cryptol.Parser.AST |
catch | Cryptol.REPL.Monad |
catV | Cryptol.Symbolic.Prims |
cBody | Cryptol.REPL.Command |
ccatV | Cryptol.Prims.Eval |
CCmp | Cryptol.Parser.AST |
CEqual | Cryptol.Parser.AST |
cfgAutoInclude | Cryptol.Parser.Lexer, Cryptol.Parser |
cfgLayout | Cryptol.Parser.Lexer, Cryptol.Parser |
cfgModuleScope | Cryptol.Parser.Lexer, Cryptol.Parser |
cfgPreProc | Cryptol.Parser.Lexer, Cryptol.Parser |
cfgSource | Cryptol.Parser.Lexer, Cryptol.Parser |
CFin | Cryptol.Parser.AST |
CGeq | Cryptol.Parser.AST |
char | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
CharLit | Cryptol.Parser.AST |
check | Cryptol.TypeCheck.Solver.CrySAT |
checkDecls | |
1 (Function) | Cryptol.ModuleSystem.Base |
2 (Function) | Cryptol.ModuleSystem |
checkE | Cryptol.TypeCheck.Infer |
checkExpr | |
1 (Function) | Cryptol.ModuleSystem.Base |
2 (Function) | Cryptol.ModuleSystem |
checkFun | Cryptol.TypeCheck.Infer |
checkHasType | Cryptol.TypeCheck.Infer |
checkModule | Cryptol.ModuleSystem.Base |
checkMonoB | Cryptol.TypeCheck.Infer |
checkNamingEnv | Cryptol.ModuleSystem.Renamer |
checkNewtype | Cryptol.TypeCheck.Kind |
checkP | Cryptol.TypeCheck.Infer |
checkSchema | Cryptol.TypeCheck.Kind |
checkSigB | Cryptol.TypeCheck.Infer |
checkTShadowing | Cryptol.TypeCheck.Monad |
checkType | Cryptol.TypeCheck.Kind |
checkTypeOfKind | Cryptol.TypeCheck.Infer |
checkTySyn | Cryptol.TypeCheck.Kind |
cHelp | Cryptol.REPL.Command |
ChrLit | Cryptol.Parser.Lexer |
classStep | Cryptol.TypeCheck.Solver.Class |
CLocated | Cryptol.Parser.AST |
cmpBinary | Cryptol.Symbolic.Prims |
cmpEq | Cryptol.Symbolic.Prims |
cmpGt | Cryptol.Symbolic.Prims |
cmpGtEq | Cryptol.Symbolic.Prims |
cmpLt | Cryptol.Symbolic.Prims |
cmpLtEq | Cryptol.Symbolic.Prims |
cmpNameDisplay | Cryptol.ModuleSystem.Name |
cmpNameLexical | Cryptol.ModuleSystem.Name |
cmpNotEq | Cryptol.Symbolic.Prims |
cmpOrder | Cryptol.Prims.Eval |
cmpValue | Cryptol.Symbolic.Prims |
cNames | Cryptol.REPL.Command |
col | Cryptol.Parser.Position |
collectGoals | Cryptol.TypeCheck.Monad |
Colon | Cryptol.Parser.Lexer |
colon | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
combine | Cryptol.TypeCheck.Depends |
combineMaps | Cryptol.TypeCheck.Depends |
Comma | Cryptol.Parser.Lexer |
comma | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
Command | |
1 (Type/Class) | Cryptol.REPL.Command |
2 (Data Constructor) | Cryptol.REPL.Command |
CommandBody | Cryptol.REPL.Command |
CommandDescr | |
1 (Type/Class) | Cryptol.REPL.Command |
2 (Data Constructor) | Cryptol.REPL.Command |
commaSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
commitBranch | Cryptol.Version |
commitDirty | Cryptol.Version |
commitHash | Cryptol.Version |
commitShortHash | Cryptol.Version |
compareFixity | Cryptol.Parser.AST |
composeSubst | Cryptol.TypeCheck.Solver.Numeric.AST |
computePropIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
Config | |
1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
cons | Cryptol.TypeCheck.TypeMap |
ConstraintSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
copyBySchema | Cryptol.Symbolic |
copyByType | Cryptol.Symbolic |
CoreLint | |
1 (Type/Class) | Cryptol.ModuleSystem.Env |
2 (Data Constructor) | Cryptol.ModuleSystem.Env |
cppKind | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
cryAnds | Cryptol.TypeCheck.Solver.Numeric.AST |
cryDefined | Cryptol.TypeCheck.Solver.Numeric.Defined |
cryDefinedProp | Cryptol.TypeCheck.Solver.Numeric.Defined |
cryExprExprs | Cryptol.TypeCheck.Solver.Numeric.AST |
cryExprFVS | Cryptol.TypeCheck.Solver.Numeric.AST |
cryImproveModel | Cryptol.TypeCheck.Solver.Numeric.SMT |
cryIsFin | Cryptol.TypeCheck.Solver.Numeric.Fin |
cryIsFinType | Cryptol.TypeCheck.Solver.Numeric.Fin |
cryLet | Cryptol.TypeCheck.Solver.Numeric.AST |
cryOrs | Cryptol.TypeCheck.Solver.Numeric.AST |
cryPropExprs | Cryptol.TypeCheck.Solver.Numeric.AST |
cryPropFVS | Cryptol.TypeCheck.Solver.Numeric.AST |
cryRebuildExpr | Cryptol.TypeCheck.Solver.Numeric.AST |
crySimpExpr | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
crySimpExprMaybe | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
crySimpExprStep | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
crySimpExprStep1 | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
crySimplify | Cryptol.TypeCheck.Solver.Numeric.Simplify |
crySimplifyMaybe | Cryptol.TypeCheck.Solver.Numeric.Simplify |
crySimpPropExpr | Cryptol.TypeCheck.Solver.Numeric.Simplify |
crySimpPropExprMaybe | Cryptol.TypeCheck.Solver.Numeric.Simplify |
cryUserError | Cryptol.Eval.Error |
CtComprehension | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtDefaulting | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtEnumeration | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtExactType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtImprovement | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtInst | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtPartialTypeFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtSelector | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtSplitPat | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CtTypeSig | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CType | Cryptol.Parser.AST |
CurlyL | Cryptol.Parser.Lexer |
CurlyR | Cryptol.Parser.Lexer |
curRange | Cryptol.TypeCheck.Monad |
CurSCC | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
DBind | Cryptol.Parser.AST |
dctAsmps | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dctForall | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dctGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dctSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
dDefinition | Cryptol.TypeCheck.AST |
dDoc | Cryptol.TypeCheck.AST |
debugBlock | Cryptol.TypeCheck.Solver.CrySAT |
DebugLog | Cryptol.TypeCheck.Solver.CrySAT |
debugLog | Cryptol.TypeCheck.Solver.CrySAT |
debugLogList | Cryptol.TypeCheck.Solver.CrySAT |
Decl | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
4 (Data Constructor) | Cryptol.TypeCheck.AST |
Declared | Cryptol.ModuleSystem.Name |
DeclDef | Cryptol.TypeCheck.AST |
DeclGroup | Cryptol.TypeCheck.AST |
DecLit | Cryptol.Parser.AST |
DeclsArg | Cryptol.REPL.Command |
declsLinter | Cryptol.ModuleSystem.Base |
deDecls | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
deEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
defaultConfig | Cryptol.Parser.Lexer, Cryptol.Parser |
defaultFixity | Cryptol.Parser.AST |
defaultFreeVar | Cryptol.TypeCheck.Subst |
DefaultingKind | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
defaultingSubst | Cryptol.TypeCheck.Subst |
DefaultingTo | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
DefaultingWildType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
defaultPPOpts | Cryptol.Eval.Value |
defaultReplExpr | Cryptol.TypeCheck.Solve |
DefinedProp | |
1 (Type/Class) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
DefLoc | Cryptol.TypeCheck.Monad |
degree | Cryptol.Symbolic.Prims |
deIfaceDecls | Cryptol.ModuleSystem.Env |
DelayedCt | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
deNames | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
DEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
destEProofAbs | Cryptol.Transform.Specialize |
destEProofApps | Cryptol.Transform.Specialize |
destETAbs | Cryptol.Transform.Specialize |
destETApps | Cryptol.Transform.Specialize |
desugarLiteral | Cryptol.TypeCheck.Infer |
desugarProp | Cryptol.TypeCheck.Solver.Numeric.SMT |
DExpr | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
DFixity | Cryptol.Parser.AST |
dFixity | Cryptol.TypeCheck.AST |
dInfix | Cryptol.TypeCheck.AST |
DirectoryNotFound | Cryptol.REPL.Monad |
disableLet | Cryptol.REPL.Monad |
Div | Cryptol.TypeCheck.Solver.Numeric.AST |
DivideByZero | Cryptol.Eval.Error, Cryptol.Eval |
divideByZero | Cryptol.Eval.Error |
divModPoly | Cryptol.Prims.Eval |
divWrap | Cryptol.Prims.Eval |
divx | Cryptol.Symbolic.Prims |
DLocated | Cryptol.Parser.AST |
dName | Cryptol.TypeCheck.AST |
doAppSubst | Cryptol.TypeCheck.Solver.Numeric.AST |
Doc | |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
DocStr | Cryptol.Parser.Lexer |
Dot | Cryptol.Parser.Lexer |
DotDot | Cryptol.Parser.Lexer |
DotDotDot | Cryptol.Parser.Lexer |
doubleAndAdd | Cryptol.Prims.Eval |
DPatBind | Cryptol.Parser.AST |
dpData | Cryptol.TypeCheck.Solver.CrySAT |
DPragma | Cryptol.Parser.AST |
dPragmas | Cryptol.TypeCheck.AST |
DPrim | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
dpSimpExprProp | Cryptol.TypeCheck.Solver.CrySAT |
dpSimpProp | Cryptol.TypeCheck.Solver.CrySAT |
dropLoc | Cryptol.Parser.Position |
dropV | Cryptol.Symbolic.Prims |
DSignature | Cryptol.Parser.AST |
dSignature | Cryptol.TypeCheck.AST |
DType | Cryptol.Parser.AST |
dump | Cryptol.TypeCheck.PP |
DuplicateModuleName | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
duplicateModuleName | Cryptol.ModuleSystem.Monad |
duplicates | Cryptol.TypeCheck.Depends |
DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
dynamicEnv | Cryptol.ModuleSystem.Env |
EAbs | Cryptol.TypeCheck.AST |
EApp | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
EAppT | Cryptol.Parser.AST |
eBinds | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
ECast | Cryptol.TypeCheck.AST |
ecDemoteV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
eChar | Cryptol.TypeCheck.AST |
ECNum | Cryptol.Parser.AST |
EComp | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
ecSplitV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
ECString | Cryptol.Parser.AST |
eError | Cryptol.TypeCheck.AST |
EFromTo | Cryptol.Parser.AST |
EFun | Cryptol.Parser.AST |
EIf | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
EInfFrom | Cryptol.Parser.AST |
EInfix | Cryptol.Parser.AST |
EList | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
ELit | Cryptol.Parser.AST |
ELocated | Cryptol.Parser.AST |
empty | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
EmptyArm | Cryptol.TypeCheck.Sanity |
emptyEnv | Cryptol.Eval.Env, Cryptol.Eval |
emptyGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
emptyMGU | Cryptol.TypeCheck.Unify |
EmptyNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
emptyNameMap | Cryptol.TypeCheck.PP |
emptyRange | Cryptol.Parser.Position |
EmptyResult | Cryptol.Symbolic |
emptyRO | Cryptol.ModuleSystem.Monad |
emptySubst | Cryptol.TypeCheck.Subst |
emptySupply | Cryptol.ModuleSystem.Name |
emptyTM | Cryptol.TypeCheck.TypeMap |
emptyTrie | Cryptol.REPL.Trie |
enableLet | Cryptol.REPL.Monad |
Env | |
1 (Type/Class) | Cryptol.Symbolic |
2 (Data Constructor) | Cryptol.Symbolic |
EnvBool | Cryptol.REPL.Monad |
EnvNum | Cryptol.REPL.Monad |
EnvProg | Cryptol.REPL.Monad |
EnvString | Cryptol.REPL.Monad |
envTypes | |
1 (Function) | Cryptol.Eval.Env |
2 (Function) | Cryptol.Symbolic |
EnvVal | Cryptol.REPL.Monad |
envVars | |
1 (Function) | Cryptol.Eval.Env |
2 (Function) | Cryptol.Symbolic |
EOF | Cryptol.Parser.Lexer |
EParens | Cryptol.Parser.AST |
ePrim | Cryptol.TypeCheck.AST |
EProofAbs | Cryptol.TypeCheck.AST |
EProofApp | Cryptol.TypeCheck.AST |
EqDef | Cryptol.Parser.Lexer |
ERec | Cryptol.TypeCheck.AST |
ERecord | Cryptol.Parser.AST |
Err | Cryptol.Parser.Lexer |
Error | |
1 (Type/Class) | Cryptol.TypeCheck.Sanity |
2 (Data Constructor) | Cryptol.TypeCheck.Unify |
3 (Type/Class) | Cryptol.Parser.NoPat |
4 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
ErrorMsg | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
errorV | Cryptol.Symbolic.Prims |
ESel | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
eString | Cryptol.TypeCheck.AST |
ETAbs | Cryptol.TypeCheck.AST |
ETApp | Cryptol.TypeCheck.AST |
ETuple | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
ETyped | Cryptol.Parser.AST |
eTypes | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
ETypeVal | Cryptol.Parser.AST |
evalComp | Cryptol.Symbolic |
evalDecl | Cryptol.Symbolic |
evalDeclGroup | Cryptol.Symbolic |
evalDecls | |
1 (Function) | Cryptol.Eval |
2 (Function) | Cryptol.ModuleSystem.Base |
3 (Function) | Cryptol.ModuleSystem |
4 (Function) | Cryptol.Symbolic |
EvalEnv | |
1 (Type/Class) | Cryptol.Eval.Env, Cryptol.Eval |
2 (Data Constructor) | Cryptol.Eval.Env |
EvalError | |
1 (Type/Class) | Cryptol.Eval.Error, Cryptol.Eval |
2 (Data Constructor) | Cryptol.REPL.Monad |
evalExpr | |
1 (Function) | Cryptol.Eval |
2 (Function) | Cryptol.ModuleSystem.Base |
3 (Function) | Cryptol.ModuleSystem |
4 (Function) | Cryptol.Symbolic |
evalMatch | Cryptol.Symbolic |
evalPanic | |
1 (Function) | Cryptol.Eval.Error |
2 (Function) | Cryptol.Symbolic.Value |
EvalPolyError | Cryptol.REPL.Monad |
evalPrim | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
evalSel | Cryptol.Symbolic |
evalTF | Cryptol.Eval.Type |
evalType | |
1 (Function) | Cryptol.Eval.Type |
2 (Function) | Cryptol.Symbolic |
EVar | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
EWhere | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
existsBV_ | Cryptol.Symbolic.Value |
existsFinType | Cryptol.Symbolic |
existsSBool_ | Cryptol.Symbolic.Value |
existVar | Cryptol.TypeCheck.Monad |
expandProp | Cryptol.TypeCheck.Solver.Class |
ExpectedMono | Cryptol.TypeCheck.Sanity |
ExpectedType | Cryptol.ModuleSystem.Renamer |
ExpectedValue | Cryptol.ModuleSystem.Renamer |
expectFin | Cryptol.TypeCheck.Infer |
expectFun | Cryptol.TypeCheck.Infer |
expectRec | Cryptol.TypeCheck.Infer |
expectSeq | Cryptol.TypeCheck.Infer |
expectTuple | Cryptol.TypeCheck.Infer |
exportBind | Cryptol.Parser.AST |
ExportM | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
exportProp | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
exportPropM | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
ExportSpec | |
1 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
ExportType | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
exportType | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
exportTypeM | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
Expr | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Type/Class) | Cryptol.TypeCheck.AST |
3 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.AST |
ExprArg | Cryptol.REPL.Command |
ExprInput | Cryptol.Parser.AST |
exprLinter | Cryptol.ModuleSystem.Base |
ExprTypeArg | Cryptol.REPL.Command |
extend | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
extendSubst | Cryptol.TypeCheck.Monad |
ExtVar | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
FailError | Cryptol.Testing.Concrete |
FailFalse | Cryptol.Testing.Concrete |
fAssoc | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
fastSchemaOf | Cryptol.TypeCheck.TypeOf |
fastTypeOf | Cryptol.TypeCheck.TypeOf |
FatArrR | Cryptol.Parser.Lexer |
FCError | Cryptol.Parser.AST |
FCLeft | Cryptol.Parser.AST |
FCRight | Cryptol.Parser.AST |
FileExprArg | Cryptol.REPL.Command |
FilenameArg | Cryptol.REPL.Command |
FileNotFound | Cryptol.REPL.Monad |
filterNames | Cryptol.ModuleSystem.NamingEnv |
Fin | Cryptol.TypeCheck.Solver.Numeric.AST |
finChunksOf | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
findCommand | Cryptol.REPL.Command |
findCommandExact | Cryptol.REPL.Command |
findFile | Cryptol.ModuleSystem.Base |
findModule | |
1 (Function) | Cryptol.ModuleSystem.Base |
2 (Function) | Cryptol.ModuleSystem |
findNbCommand | Cryptol.REPL.Command |
finTValue | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
FinType | Cryptol.Symbolic |
finType | Cryptol.Symbolic |
Fixity | |
1 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
FixityCmp | Cryptol.Parser.AST |
FixityError | Cryptol.ModuleSystem.Renamer |
FixityNoBind | Cryptol.Parser.NoPat |
fixNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
fLevel | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
fmtModName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
focusedEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
focusModule | Cryptol.ModuleSystem.Env |
Forall | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
forallBV_ | Cryptol.Symbolic.Value |
forallFinType | Cryptol.Symbolic |
forallSBool_ | Cryptol.Symbolic.Value |
FreeTypeVariable | Cryptol.TypeCheck.Sanity |
FreshM | Cryptol.ModuleSystem.Name |
freshName | |
1 (Function) | Cryptol.Transform.Specialize |
2 (Function) | Cryptol.REPL.Monad |
From | Cryptol.TypeCheck.AST |
from | Cryptol.Parser.Position |
fromBitsLE | Cryptol.Symbolic.Value |
FromDecl | Cryptol.TypeCheck.Depends |
fromGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
FromImport | Cryptol.ModuleSystem.Monad |
FromModule | Cryptol.ModuleSystem.Monad |
fromNat | Cryptol.TypeCheck.Solver.InfNat |
fromSeq | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
fromStr | Cryptol.Eval.Value |
fromThenToV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
fromThenV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
fromToV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
fromVBit | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
fromVFun | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
fromVPoly | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
fromVRecord | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
fromVTuple | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
fromVWord | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
fromWord | Cryptol.Eval.Value |
fsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
FTBit | Cryptol.Symbolic |
FTRecord | Cryptol.Symbolic |
FTSeq | Cryptol.Symbolic |
FTTuple | Cryptol.Symbolic |
fullyQualified | Cryptol.ModuleSystem.Base |
funCmp | Cryptol.Prims.Eval |
FVS | Cryptol.TypeCheck.Subst |
fvs | Cryptol.TypeCheck.Subst |
Gen | Cryptol.Testing.Random |
GenBinary | Cryptol.Prims.Eval |
generalize | Cryptol.TypeCheck.Infer |
genIface | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
genInferInput | Cryptol.ModuleSystem.Base |
genLog | Cryptol.TypeCheck.Solver.InfNat |
genRoot | Cryptol.TypeCheck.Solver.InfNat |
GenUnary | Cryptol.Prims.Eval |
GenValue | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
getBoundInScope | Cryptol.TypeCheck.Monad |
getDynEnv | |
1 (Function) | Cryptol.ModuleSystem.Monad |
2 (Function) | Cryptol.REPL.Monad |
getEvalEnv | Cryptol.ModuleSystem.Monad |
getExprNames | Cryptol.REPL.Monad |
getFocusedEnv | |
1 (Function) | Cryptol.ModuleSystem.Monad |
2 (Function) | Cryptol.REPL.Monad |
getFocusedModule | Cryptol.ModuleSystem.Monad |
getGoals | Cryptol.TypeCheck.Monad |
getHasGoals | Cryptol.TypeCheck.Monad |
getIdent | Cryptol.Parser.Name, Cryptol.Parser.AST |
getIface | Cryptol.ModuleSystem.Monad |
getImportSource | Cryptol.ModuleSystem.Monad |
getIntervals | Cryptol.TypeCheck.Solver.CrySAT |
getLetEnabled | Cryptol.REPL.Monad |
getLoadedMod | Cryptol.REPL.Monad |
getLoadedModules | Cryptol.ModuleSystem.Env |
getLoc | Cryptol.Parser.Position |
getLocalEnv | Cryptol.ModuleSystem.Base |
getModel | Cryptol.TypeCheck.Solver.CrySAT |
getModName | Cryptol.Parser.Name, Cryptol.Parser.AST |
getModuleEnv | |
1 (Function) | Cryptol.ModuleSystem.Monad |
2 (Function) | Cryptol.REPL.Monad |
getMonoBinds | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.ModuleSystem.Monad |
getNameFormat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
getNameSeeds | Cryptol.ModuleSystem.Monad |
getNewtypes | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.REPL.Monad |
getPrimMap | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.ModuleSystem.Base |
3 (Function) | Cryptol.ModuleSystem |
getPrompt | Cryptol.REPL.Monad |
getPropertyNames | Cryptol.REPL.Monad |
getPutStr | Cryptol.REPL.Monad |
getQualifiedEnv | Cryptol.ModuleSystem.Monad |
getSearchPath | Cryptol.ModuleSystem.Monad |
getSolver | Cryptol.TypeCheck.Monad |
getSolverConfig | Cryptol.ModuleSystem.Monad |
getSpecCache | Cryptol.Transform.Specialize |
getSubst | Cryptol.TypeCheck.Monad |
getSupply | Cryptol.ModuleSystem.Monad |
getTSyns | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.REPL.Monad |
getTVars | Cryptol.TypeCheck.Monad |
getTypeNames | Cryptol.REPL.Monad |
getUser | Cryptol.REPL.Monad |
getUserSatNum | Cryptol.REPL.Monad |
getVal | Cryptol.TypeCheck.Solver.Numeric.SMT |
getVals | Cryptol.TypeCheck.Solver.Numeric.SMT |
getVars | Cryptol.REPL.Monad |
Goal | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
goal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
goalRange | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
Goals | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
goalSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
groupDecls | Cryptol.TypeCheck.AST |
guessPreProc | Cryptol.Parser.Unlit, Cryptol.Parser |
guessType | Cryptol.TypeCheck.Infer |
handleCtrlC | Cryptol.REPL.Command |
hang | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
HappyError | Cryptol.Parser |
HappyErrorMsg | Cryptol.Parser |
HasGoal | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
hasGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
HasKind | Cryptol.TypeCheck.AST |
HasLoc | Cryptol.Parser.Position |
hasName | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
HasVars | Cryptol.TypeCheck.Solver.Numeric.AST |
hcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
HexLit | Cryptol.Parser.AST |
Hiding | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
hsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
iAdd | Cryptol.TypeCheck.Solver.Numeric.Interval |
iAny | Cryptol.TypeCheck.Solver.Numeric.Interval |
iAnyFin | Cryptol.TypeCheck.Solver.Numeric.Interval |
iAs | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
iConst | Cryptol.TypeCheck.Solver.Numeric.Interval |
iCts | Cryptol.TypeCheck.Monad |
Ident | |
1 (Type/Class) | Cryptol.Utils.Ident, Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Utils.Ident |
3 (Data Constructor) | Cryptol.Parser.Lexer |
identText | Cryptol.Utils.Ident, Cryptol.Parser.AST |
iDisjoint | Cryptol.TypeCheck.Solver.Numeric.Interval |
iDiv | Cryptol.TypeCheck.Solver.Numeric.Interval |
idx | Cryptol.Symbolic.Prims |
ieAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ieLeft | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ieOp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
iePrec | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ieRight | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
iErrors | Cryptol.TypeCheck.Monad |
iExistTVars | Cryptol.TypeCheck.Monad |
iExp | Cryptol.TypeCheck.Solver.Numeric.Interval |
If | Cryptol.TypeCheck.Solver.Numeric.AST |
Iface | |
1 (Type/Class) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
2 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
IfaceDecl | |
1 (Type/Class) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
2 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
IfaceDecls | |
1 (Type/Class) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
2 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
IfaceNewtype | Cryptol.ModuleSystem.Interface |
ifacePrimMap | Cryptol.ModuleSystem.Interface |
IfaceTySyn | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifDeclDoc | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifDeclFixity | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifDeclInfix | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifDeclName | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifDeclPragmas | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifDecls | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifDeclSig | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
IfExpr | Cryptol.TypeCheck.Solver.Numeric.AST |
IfExpr' | Cryptol.TypeCheck.Solver.Numeric.AST |
ifModName | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifNewtypes | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifPrivate | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifPropToSmtLib | Cryptol.TypeCheck.Solver.Numeric.SMT |
ifPublic | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifTySynName | Cryptol.ModuleSystem.Interface |
ifTySyns | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
iHasCts | Cryptol.TypeCheck.Monad |
iIntersect | Cryptol.TypeCheck.Solver.Numeric.Interval |
iIsExact | Cryptol.TypeCheck.Solver.Numeric.Interval |
iIsFin | Cryptol.TypeCheck.Solver.Numeric.Interval |
iLenFromThen | Cryptol.TypeCheck.Solver.Numeric.Interval |
iLenFromThenTo | Cryptol.TypeCheck.Solver.Numeric.Interval |
iLower | Cryptol.TypeCheck.Solver.Numeric.Interval |
IM | Cryptol.TypeCheck.Monad |
iMax | Cryptol.TypeCheck.Solver.Numeric.Interval |
iMin | Cryptol.TypeCheck.Solver.Numeric.Interval |
iMod | Cryptol.TypeCheck.Solver.Numeric.Interval |
iModule | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
iMonoBinds | Cryptol.TypeCheck.Monad |
Import | |
1 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
importedModule | Cryptol.ModuleSystem.Monad |
ImportIface | |
1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv |
2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv |
importIface | Cryptol.ModuleSystem.Base |
importIfaces | Cryptol.ModuleSystem.Base |
importProp | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
ImportSource | Cryptol.ModuleSystem.Monad |
ImportSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
importType | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
Impossible | Cryptol.TypeCheck.Solver.Numeric.AST |
improveByDefaultingWith | Cryptol.TypeCheck.Solve |
iMul | Cryptol.TypeCheck.Solver.Numeric.Interval |
iNameSeeds | Cryptol.TypeCheck.Monad |
Include | Cryptol.Parser.AST |
IncludeCycle | Cryptol.Parser.NoInclude |
IncludeError | Cryptol.Parser.NoInclude |
IncludeFailed | Cryptol.Parser.NoInclude |
IncludeParseError | Cryptol.Parser.NoInclude |
indexBack | Cryptol.Prims.Eval |
indexBackRange | Cryptol.Prims.Eval |
indexFront | Cryptol.Prims.Eval |
indexFrontRange | Cryptol.Prims.Eval |
indexPrimMany | Cryptol.Prims.Eval |
indexPrimOne | Cryptol.Prims.Eval |
iNewtypes | Cryptol.TypeCheck.Monad |
Inf | Cryptol.TypeCheck.Solver.InfNat, Cryptol.TypeCheck.Solver.Numeric.AST |
inf | Cryptol.TypeCheck.Solver.Numeric.AST |
infChunksOf | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
inferBinds | Cryptol.TypeCheck.Infer |
inferCArm | Cryptol.TypeCheck.Infer |
inferDs | Cryptol.TypeCheck.Infer |
inferE | Cryptol.TypeCheck.Infer |
InferFailed | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
InferInput | |
1 (Type/Class) | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
2 (Data Constructor) | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
InferM | Cryptol.TypeCheck.Monad |
inferMatch | Cryptol.TypeCheck.Infer |
inferModule | Cryptol.TypeCheck.Infer |
InferOK | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
InferOutput | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inferP | Cryptol.TypeCheck.Infer |
inferTyParam | Cryptol.TypeCheck.Infer |
Infix | |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
initialModuleEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
initialNonLinS | Cryptol.TypeCheck.Solver.Numeric.NonLin |
InModule | |
1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
inNewScope | Cryptol.TypeCheck.Monad |
inpMonoBinds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpNameSeeds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpNewtypes | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpPrimNames | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpRange | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpSolverConfig | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpSupply | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpTSyns | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpVars | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inRange | Cryptol.TypeCheck.Monad |
inRangeMb | Cryptol.TypeCheck.Monad |
insertGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
insertTM | Cryptol.TypeCheck.TypeMap |
insertTrie | Cryptol.REPL.Trie |
insertWithTM | Cryptol.TypeCheck.TypeMap |
instantiateExpr | Cryptol.Transform.Specialize |
instantiateSchema | Cryptol.Transform.Specialize |
instantiateWith | Cryptol.TypeCheck.Instantiate |
int | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
integer | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
integerToChar | Cryptol.Eval.Value |
interactive | Cryptol.ModuleSystem.Monad |
interactiveConfig | Cryptol.REPL.Command |
interactiveName | Cryptol.Utils.Ident |
interpImport | Cryptol.ModuleSystem.NamingEnv |
Interval | |
1 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.Interval |
2 (Data Constructor) | Cryptol.TypeCheck.Solver.Numeric.Interval |
IntervalUpdate | Cryptol.TypeCheck.Solver.Numeric.Interval |
intToName | Cryptol.TypeCheck.PP |
InvalidChar | Cryptol.Parser.Lexer |
InvalidConstraint | Cryptol.ModuleSystem.Renamer |
InvalidIndex | Cryptol.Eval.Error, Cryptol.Eval |
invalidIndex | Cryptol.Eval.Error |
InvalidInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
InvalidString | Cryptol.Parser.Lexer |
io | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.ModuleSystem.Monad |
3 (Function) | Cryptol.REPL.Monad |
iPrimNames | Cryptol.TypeCheck.Monad |
iRange | Cryptol.TypeCheck.Monad |
isBoundTV | Cryptol.TypeCheck.AST |
isEmptySubst | Cryptol.TypeCheck.Subst |
isExportedBind | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
isExportedType | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
IsExternal | Cryptol.TypeCheck.Monad |
isFreeTV | Cryptol.TypeCheck.AST |
isInfixIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
isLoaded | |
1 (Function) | Cryptol.ModuleSystem.Env |
2 (Function) | Cryptol.ModuleSystem.Monad |
IsLocal | Cryptol.TypeCheck.Monad |
iSolvedHas | Cryptol.TypeCheck.Monad |
iSolvedHasLazy | Cryptol.TypeCheck.Monad |
iSolver | Cryptol.TypeCheck.Monad |
isPass | Cryptol.Testing.Concrete |
iSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
isTBit | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
isTFun | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
isTopDecl | Cryptol.TypeCheck.Depends |
isTRec | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
isTSeq | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
isTTuple | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
iSub | Cryptol.TypeCheck.Solver.Numeric.Interval |
iSubst | Cryptol.TypeCheck.Monad |
ites | Cryptol.Symbolic.Prims |
iteValue | Cryptol.Symbolic.Value |
iTSyns | Cryptol.TypeCheck.Monad |
iTVars | Cryptol.TypeCheck.Monad |
iUpper | Cryptol.TypeCheck.Solver.Numeric.Interval |
iVars | Cryptol.TypeCheck.Monad |
iWarnings | Cryptol.TypeCheck.Monad |
iWidth | Cryptol.TypeCheck.Solver.Numeric.Interval |
joinV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
K | Cryptol.TypeCheck.Solver.Numeric.AST |
kExistTVar | Cryptol.TypeCheck.Monad |
Kind | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Type/Class) | Cryptol.TypeCheck.AST |
KindM | Cryptol.TypeCheck.Monad |
KindMismatch | |
1 (Data Constructor) | Cryptol.TypeCheck.Sanity |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
kindOf | Cryptol.TypeCheck.AST |
kInInferM | Cryptol.TypeCheck.Monad |
kInRange | Cryptol.TypeCheck.Monad |
kInstantiateT | Cryptol.TypeCheck.Monad |
kLookupNewtype | Cryptol.TypeCheck.Monad |
kLookupTSyn | Cryptol.TypeCheck.Monad |
kLookupTyVar | Cryptol.TypeCheck.Monad |
KM | Cryptol.TypeCheck.Monad |
kNewGoals | Cryptol.TypeCheck.Monad |
kNewType | Cryptol.TypeCheck.Monad |
knownDefined | Cryptol.TypeCheck.Solver.CrySAT |
knownExts | Cryptol.Parser.Unlit |
KNum | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
KProp | Cryptol.TypeCheck.AST |
kRecordError | Cryptol.TypeCheck.Monad |
kRecordWarning | Cryptol.TypeCheck.Monad |
KRO | |
1 (Type/Class) | Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.Monad |
KRW | |
1 (Type/Class) | Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.Monad |
kSetKind | Cryptol.TypeCheck.Monad |
KType | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
KW | Cryptol.Parser.Lexer |
kWildOK | Cryptol.TypeCheck.Monad |
KW_Arith | Cryptol.Parser.Lexer |
KW_as | Cryptol.Parser.Lexer |
KW_Bit | Cryptol.Parser.Lexer |
KW_Cmp | Cryptol.Parser.Lexer |
KW_else | Cryptol.Parser.Lexer |
KW_Eq | Cryptol.Parser.Lexer |
KW_extern | Cryptol.Parser.Lexer |
KW_fin | Cryptol.Parser.Lexer |
KW_hiding | Cryptol.Parser.Lexer |
KW_if | Cryptol.Parser.Lexer |
KW_import | Cryptol.Parser.Lexer |
KW_include | Cryptol.Parser.Lexer |
KW_inf | Cryptol.Parser.Lexer |
KW_infix | Cryptol.Parser.Lexer |
KW_infixl | Cryptol.Parser.Lexer |
KW_infixr | Cryptol.Parser.Lexer |
KW_lengthFromThen | Cryptol.Parser.Lexer |
KW_lengthFromThenTo | Cryptol.Parser.Lexer |
KW_let | Cryptol.Parser.Lexer |
KW_lg2 | Cryptol.Parser.Lexer |
KW_max | Cryptol.Parser.Lexer |
KW_min | Cryptol.Parser.Lexer |
KW_module | Cryptol.Parser.Lexer |
KW_newtype | Cryptol.Parser.Lexer |
KW_pragma | Cryptol.Parser.Lexer |
KW_primitive | Cryptol.Parser.Lexer |
KW_private | Cryptol.Parser.Lexer |
KW_property | Cryptol.Parser.Lexer |
KW_then | Cryptol.Parser.Lexer |
KW_type | Cryptol.Parser.Lexer |
KW_where | Cryptol.Parser.Lexer |
KW_x | Cryptol.Parser.Lexer |
L | Cryptol.TypeCheck.TypeMap |
lam | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
Lambda | Cryptol.Parser.Lexer |
LaTeX | Cryptol.Parser.Unlit, Cryptol.Parser |
Layout | |
1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
lazyTVars | Cryptol.TypeCheck.Monad |
LBindDef | Cryptol.Parser.AST |
leaves | Cryptol.REPL.Trie |
LeftAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Parser.AST |
LenFromThen | Cryptol.TypeCheck.Solver.Numeric.AST |
LenFromThenTo | Cryptol.TypeCheck.Solver.Numeric.AST |
Let | Cryptol.TypeCheck.AST |
LetInput | Cryptol.Parser.AST |
lexCompare | Cryptol.Prims.Eval |
lexer | Cryptol.Parser.Lexer |
LexicalError | Cryptol.Parser.Lexer |
lg2 | Cryptol.Prims.Eval |
LIdent | Cryptol.Parser.AST |
liftBinArith | Cryptol.Prims.Eval |
liftModuleCmd | Cryptol.REPL.Command |
liftPJ | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
liftPJ1 | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
liftPJ2 | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
liftSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
liftSpecT | Cryptol.Transform.Specialize |
liftSupply | Cryptol.ModuleSystem.Name |
line | Cryptol.Parser.Position |
LineComment | Cryptol.Parser.Lexer |
lintCheck | Cryptol.ModuleSystem.Base |
lintModule | Cryptol.ModuleSystem.Base |
List | Cryptol.TypeCheck.TypeMap |
ListSel | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
listSubst | Cryptol.TypeCheck.Subst |
Literal | Cryptol.Parser.AST |
literalSWord | Cryptol.Symbolic.Value |
LkpTyVar | Cryptol.TypeCheck.Monad |
lmFilePath | Cryptol.ModuleSystem.Env |
lmInterface | Cryptol.ModuleSystem.Env |
lmModule | Cryptol.ModuleSystem.Env |
lmName | Cryptol.ModuleSystem.Env |
lName | Cryptol.REPL.Monad |
loadCmd | Cryptol.REPL.Command |
loadDeps | Cryptol.ModuleSystem.Base |
LoadedModule | |
1 (Type/Class) | Cryptol.ModuleSystem.Env |
2 (Data Constructor) | Cryptol.ModuleSystem.Env |
3 (Type/Class) | Cryptol.REPL.Monad |
4 (Data Constructor) | Cryptol.REPL.Monad |
loadedModule | Cryptol.ModuleSystem.Monad |
LoadedModules | |
1 (Type/Class) | Cryptol.ModuleSystem.Env |
2 (Data Constructor) | Cryptol.ModuleSystem.Env |
loadedModules | Cryptol.ModuleSystem.Env |
loadImport | Cryptol.ModuleSystem.Base |
loading | Cryptol.ModuleSystem.Monad |
loadingImport | Cryptol.ModuleSystem.Monad |
loadingModule | Cryptol.ModuleSystem.Monad |
loadModule | |
1 (Function) | Cryptol.ModuleSystem.Base |
2 (Function) | Cryptol.ModuleSystem |
loadModuleByPath | |
1 (Function) | Cryptol.ModuleSystem.Base |
2 (Function) | Cryptol.ModuleSystem |
loadPrelude | Cryptol.REPL.Command |
Located | |
1 (Type/Class) | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
logger | Cryptol.TypeCheck.Solver.CrySAT |
logicBinary | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
logicShift | Cryptol.Prims.Eval |
logicUnary | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
lookupModule | Cryptol.ModuleSystem.Env |
lookupNewtype | Cryptol.TypeCheck.Monad |
lookupNL | Cryptol.TypeCheck.Solver.Numeric.NonLin |
lookupPrimDecl | Cryptol.ModuleSystem.Name |
lookupPrimType | Cryptol.ModuleSystem.Name |
lookupProver | Cryptol.Symbolic |
lookupRecord | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
lookupTM | Cryptol.TypeCheck.TypeMap |
lookupTrie | Cryptol.REPL.Trie |
lookupTrieExact | Cryptol.REPL.Trie |
lookupTSyn | Cryptol.TypeCheck.Monad |
lookupTVar | Cryptol.TypeCheck.Monad |
lookupType | |
1 (Function) | Cryptol.Eval.Env |
2 (Function) | Cryptol.Symbolic |
lookupVar | |
1 (Function) | Cryptol.Eval.Env |
2 (Function) | Cryptol.TypeCheck.Monad |
3 (Function) | Cryptol.Symbolic |
lPath | Cryptol.REPL.Monad |
LPName | Cryptol.Parser.AST |
LString | Cryptol.Parser.AST |
MalformedConstraint | Cryptol.ModuleSystem.Renamer |
mapMaybeTM | Cryptol.TypeCheck.TypeMap |
mapMaybeWithKeyTM | Cryptol.TypeCheck.TypeMap |
mapTM | Cryptol.TypeCheck.TypeMap |
mapV | Cryptol.Symbolic.Prims |
mapWithKeyTM | Cryptol.TypeCheck.TypeMap |
Markdown | Cryptol.Parser.Unlit, Cryptol.Parser |
mask | Cryptol.Eval.Value |
Match | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
MatchLet | Cryptol.Parser.AST |
Max | Cryptol.TypeCheck.Solver.Numeric.AST |
maxBigIntWidth | Cryptol.Eval.Arch |
maxV | Cryptol.Prims.Eval |
mDecls | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
mdp | Cryptol.Symbolic.Prims |
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 |
meMonoBinds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
meNameSeeds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
merge | Cryptol.ModuleSystem.NamingEnv |
mergeValue | Cryptol.Symbolic.Value |
meSearchPath | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
meSolverConfig | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
meSupply | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
mExports | Cryptol.TypeCheck.AST |
MGU | Cryptol.TypeCheck.Unify |
mgu | Cryptol.TypeCheck.Unify |
mguMany | Cryptol.TypeCheck.Unify |
mImports | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
Min | Cryptol.TypeCheck.Solver.Numeric.AST |
minimizeContradictionSimpDef | Cryptol.TypeCheck.Solver.CrySAT |
minV | Cryptol.Prims.Eval |
MissingField | Cryptol.TypeCheck.Sanity |
mkBv | Cryptol.Eval.Value |
mkDeclared | Cryptol.ModuleSystem.Name |
mkIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
mkIfaceDecl | Cryptol.ModuleSystem.Interface |
mkInfix | Cryptol.Utils.Ident, Cryptol.Parser.AST |
mkParameter | Cryptol.ModuleSystem.Name |
mkPrim | Cryptol.TypeCheck.Infer |
mkQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
mkScc | Cryptol.TypeCheck.Depends |
mkUnqual | Cryptol.Parser.Name, Cryptol.Parser.AST |
mName | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
mNewtypes | Cryptol.TypeCheck.AST |
Mod | Cryptol.TypeCheck.Solver.Numeric.AST |
modExp | Cryptol.Prims.Eval |
modExports | Cryptol.Parser.Names |
modify | Cryptol.Transform.Specialize |
modifyEvalEnv | Cryptol.ModuleSystem.Monad |
modifyModuleEnv | Cryptol.ModuleSystem.Monad |
modifySpecCache | Cryptol.Transform.Specialize |
ModName | Cryptol.Utils.Ident, Cryptol.Parser.AST |
modRange | Cryptol.Parser.AST |
modSep | Cryptol.Utils.Ident |
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 |
ModuleCmd | Cryptol.ModuleSystem |
moduleCmd | Cryptol.REPL.Command |
moduleCmdResult | Cryptol.REPL.Command |
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 |
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 |
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 |
modWrap | Cryptol.Prims.Eval |
MonoValues | Cryptol.Parser.Name, Cryptol.Parser.AST |
move | Cryptol.Parser.Position |
moves | Cryptol.Parser.Position |
mTySyns | Cryptol.TypeCheck.AST |
MultipleDocs | Cryptol.Parser.NoPat |
MultipleFixities | Cryptol.Parser.NoPat |
MultipleSignatures | Cryptol.Parser.NoPat |
MultipleSyms | Cryptol.ModuleSystem.Renamer |
MultipleTypeParamDefs | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
nAdd | Cryptol.TypeCheck.Solver.InfNat |
Name | |
1 (Type/Class) | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
2 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.AST |
name | Cryptol.Parser.AST |
Named | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
NamedInst | Cryptol.Parser.AST |
NameDisp | |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
NameFormat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
nameIdent | Cryptol.ModuleSystem.Name |
NameInfo | Cryptol.ModuleSystem.Name |
nameInfo | Cryptol.ModuleSystem.Name |
nameList | Cryptol.TypeCheck.PP |
nameLoc | Cryptol.ModuleSystem.Name |
NameMap | Cryptol.TypeCheck.PP |
namesArm | Cryptol.Parser.Names |
namesB | Cryptol.Parser.Names |
namesD | Cryptol.Parser.Names |
namesDef | Cryptol.Parser.Names |
namesDs | Cryptol.Parser.Names |
namesE | Cryptol.Parser.Names |
NameSeeds | |
1 (Type/Class) | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
2 (Data Constructor) | Cryptol.TypeCheck.Monad |
nameSeeds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
namesM | Cryptol.Parser.Names |
namesP | Cryptol.Parser.Names |
namesPs | Cryptol.Parser.Names |
namesT | Cryptol.Parser.Names |
nameUnique | Cryptol.ModuleSystem.Name |
NamingEnv | |
1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv |
namingEnv | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
namingEnv' | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
Nat | Cryptol.TypeCheck.Solver.InfNat, Cryptol.TypeCheck.Solver.Numeric.AST |
Nat' | Cryptol.TypeCheck.Solver.InfNat, Cryptol.TypeCheck.Solver.Numeric.AST |
nBody | Cryptol.Parser.AST |
nDiv | Cryptol.TypeCheck.Solver.InfNat |
neExprs | Cryptol.ModuleSystem.NamingEnv |
neFixity | Cryptol.ModuleSystem.NamingEnv |
Neg | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
nEq | Cryptol.TypeCheck.Solver.InfNat |
nest | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
neTypes | Cryptol.ModuleSystem.NamingEnv |
neverQualify | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
neverQualifyMod | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
newGoal | Cryptol.TypeCheck.Monad |
newGoalName | Cryptol.TypeCheck.Monad |
newGoals | Cryptol.TypeCheck.Monad |
newHasGoal | Cryptol.TypeCheck.Monad |
NewIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
NewName | Cryptol.Parser.Name, Cryptol.Parser.AST |
newName | Cryptol.TypeCheck.Monad |
newTParam | Cryptol.TypeCheck.Monad |
newTVar | Cryptol.TypeCheck.Monad |
newTVar' | Cryptol.TypeCheck.Monad |
Newtype | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
4 (Data Constructor) | Cryptol.TypeCheck.AST |
newType | Cryptol.TypeCheck.Monad |
newtypeConType | Cryptol.TypeCheck.AST |
newtypeTyCon | Cryptol.TypeCheck.AST |
nExp | Cryptol.TypeCheck.Solver.InfNat |
nextUnique | Cryptol.ModuleSystem.Name |
nextUniqueM | Cryptol.ModuleSystem.Name |
nFin | Cryptol.TypeCheck.Solver.InfNat |
nGt | Cryptol.TypeCheck.Solver.InfNat |
nil | Cryptol.TypeCheck.TypeMap |
nLenFromThen | Cryptol.TypeCheck.Solver.InfNat |
nLenFromThenTo | Cryptol.TypeCheck.Solver.InfNat |
nLg2 | Cryptol.TypeCheck.Solver.InfNat |
nMax | Cryptol.TypeCheck.Solver.InfNat |
nMin | Cryptol.TypeCheck.Solver.InfNat |
nMod | Cryptol.TypeCheck.Solver.InfNat |
nMul | Cryptol.TypeCheck.Solver.InfNat |
nName | Cryptol.Parser.AST |
NoArg | Cryptol.REPL.Command |
NoChange | Cryptol.TypeCheck.Solver.Numeric.Interval |
NoCoreLint | Cryptol.ModuleSystem.Env |
Node | Cryptol.REPL.Trie |
NoIncludeError | Cryptol.REPL.Monad |
NoIncludeErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
noIncludeErrors | Cryptol.ModuleSystem.Monad |
NoLayout | Cryptol.Parser.Lexer, Cryptol.Parser |
NonAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Parser.AST |
None | Cryptol.Parser.Unlit, Cryptol.Parser |
nonLinProp | Cryptol.TypeCheck.Solver.Numeric.NonLin |
NonLinS | Cryptol.TypeCheck.Solver.Numeric.NonLin |
nonLinSubst | Cryptol.TypeCheck.Solver.Numeric.NonLin |
NonRecursive | Cryptol.TypeCheck.AST |
NoPat | Cryptol.Parser.Name, Cryptol.Parser.AST |
noPat | |
1 (Function) | Cryptol.ModuleSystem.Base |
2 (Function) | Cryptol.ModuleSystem |
NoPatError | Cryptol.REPL.Monad |
NoPatErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
noPatErrors | Cryptol.ModuleSystem.Monad |
NoPos | Cryptol.Parser.AST |
noPos | Cryptol.Parser.AST |
normSum | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
Not | Cryptol.TypeCheck.Solver.Numeric.AST |
NotEnoughArgumentsInKind | Cryptol.TypeCheck.Sanity |
NotForAll | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
NotInScope | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
nParams | Cryptol.Parser.AST |
nSub | Cryptol.TypeCheck.Solver.InfNat |
NT | Cryptol.TypeCheck.Depends |
ntConstraints | Cryptol.TypeCheck.AST |
ntFields | Cryptol.TypeCheck.AST |
nth | Cryptol.Symbolic.Prims |
nthV | Cryptol.Symbolic.Prims |
ntName | Cryptol.TypeCheck.AST |
ntParams | Cryptol.TypeCheck.AST |
nullGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
nullIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST |
nullTM | Cryptol.TypeCheck.TypeMap |
Num | Cryptol.Parser.Lexer |
numericRight | Cryptol.TypeCheck.Solver.CrySAT |
NumInfo | Cryptol.Parser.AST |
numTValue | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
numType | Cryptol.Symbolic |
nWidth | Cryptol.TypeCheck.Solver.InfNat |
OctLit | Cryptol.Parser.AST |
offlineProveSat | Cryptol.REPL.Command |
OK | Cryptol.TypeCheck.Unify |
one | Cryptol.TypeCheck.Solver.Numeric.AST |
onlineProveSat | Cryptol.REPL.Command |
Only | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
Op | Cryptol.Parser.Lexer |
optCheck | Cryptol.REPL.Monad |
optDefault | Cryptol.REPL.Monad |
optEff | Cryptol.REPL.Monad |
optHelp | Cryptol.REPL.Monad |
OptionArg | Cryptol.REPL.Command |
OptionDescr | |
1 (Type/Class) | Cryptol.REPL.Monad |
2 (Data Constructor) | Cryptol.REPL.Monad |
optName | Cryptol.REPL.Monad |
optParens | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
orderBinds | Cryptol.TypeCheck.Depends |
orderTyDecls | Cryptol.TypeCheck.Depends |
ordinal | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ordSuffix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
OtherFailure | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
OtherIOError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
otherIOError | Cryptol.ModuleSystem.Monad |
otherSign | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
OverlappingSyms | Cryptol.ModuleSystem.Renamer |
packIdent | Cryptol.Utils.Ident |
packInfix | Cryptol.Utils.Ident |
packModName | Cryptol.Utils.Ident |
packWord | Cryptol.Eval.Value |
panic | Cryptol.Utils.Panic |
Parameter | Cryptol.ModuleSystem.Name |
ParenL | Cryptol.Parser.Lexer |
ParenR | Cryptol.Parser.Lexer |
parens | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
PArith | Cryptol.TypeCheck.AST |
pArith | Cryptol.TypeCheck.AST |
parseCommand | Cryptol.REPL.Command |
parseDecl | Cryptol.Parser |
parseDecls | Cryptol.Parser |
parseDeclsWith | Cryptol.Parser |
parseDeclWith | Cryptol.Parser |
ParseError | |
1 (Type/Class) | Cryptol.Parser |
2 (Data Constructor) | Cryptol.REPL.Monad |
parseExpr | Cryptol.Parser |
parseExprWith | Cryptol.Parser |
parseHelpName | Cryptol.Parser |
parseLetDecl | Cryptol.Parser |
parseLetDeclWith | Cryptol.Parser |
parseModName | Cryptol.Parser |
parseModule | |
1 (Function) | Cryptol.Parser |
2 (Function) | Cryptol.ModuleSystem.Base |
parseProgram | Cryptol.Parser |
parseProgramWith | Cryptol.Parser |
parseRepl | Cryptol.Parser |
parseReplWith | Cryptol.Parser |
parseSchema | Cryptol.Parser |
parseSchemaWith | Cryptol.Parser |
parseValue | Cryptol.Symbolic |
parseValues | Cryptol.Symbolic |
Pass | |
1 (Type/Class) | Cryptol.Parser.Name, Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Testing.Concrete |
Pattern | Cryptol.Parser.AST |
PC | |
1 (Type/Class) | Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
pcExpr | Cryptol.Symbolic |
pcExtraDecls | Cryptol.Symbolic |
PCmp | Cryptol.TypeCheck.AST |
pCmp | Cryptol.TypeCheck.AST |
pcProverName | Cryptol.Symbolic |
pcQueryType | Cryptol.Symbolic |
pcSchema | Cryptol.Symbolic |
pcSmtFile | Cryptol.Symbolic |
pcVerbose | Cryptol.Symbolic |
PEqual | Cryptol.TypeCheck.AST |
PFalse | Cryptol.TypeCheck.Solver.Numeric.AST |
PFin | Cryptol.TypeCheck.AST |
pFin | Cryptol.TypeCheck.AST |
PGeq | Cryptol.TypeCheck.AST |
PHas | Cryptol.TypeCheck.AST |
pHas | Cryptol.TypeCheck.AST |
pIsArith | Cryptol.TypeCheck.AST |
pIsCmp | Cryptol.TypeCheck.AST |
pIsEq | Cryptol.TypeCheck.AST |
pIsFin | Cryptol.TypeCheck.AST |
pIsGeq | Cryptol.TypeCheck.AST |
pIsNumeric | Cryptol.TypeCheck.AST |
PList | Cryptol.Parser.AST |
PLocated | Cryptol.Parser.AST |
PName | Cryptol.Parser.Name, Cryptol.Parser.AST |
PNeq | Cryptol.TypeCheck.AST |
PolyLit | Cryptol.Parser.AST |
Pos | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
PosInst | Cryptol.Parser.AST |
Position | |
1 (Type/Class) | Cryptol.Parser.Position |
2 (Data Constructor) | Cryptol.Parser.Position |
PP | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
pp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ppError | |
1 (Function) | Cryptol.Parser |
2 (Function) | Cryptol.TypeCheck |
ppExpr | Cryptol.TypeCheck.Solver.Numeric.AST |
ppExprPrec | Cryptol.TypeCheck.Solver.Numeric.AST |
ppIf | Cryptol.TypeCheck.Solver.Numeric.AST |
ppIfExpr | Cryptol.TypeCheck.Solver.Numeric.AST |
ppIncludeError | Cryptol.Parser.NoInclude |
ppInfix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ppInfixName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ppInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
ppIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval |
ppLam | Cryptol.TypeCheck.AST |
ppLocName | Cryptol.ModuleSystem.Name |
PPName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ppName | Cryptol.TypeCheck.Solver.Numeric.AST |
ppNewtypeShort | Cryptol.TypeCheck.AST |
PPOpts | |
1 (Type/Class) | Cryptol.Eval.Value |
2 (Data Constructor) | Cryptol.Eval.Value |
ppPrec | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ppPrefixName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ppProp | Cryptol.TypeCheck.Solver.Numeric.AST |
ppProp' | Cryptol.TypeCheck.Solver.Numeric.Simplify1 |
ppPropPrec | Cryptol.TypeCheck.Solver.Numeric.AST |
ppSelector | Cryptol.Parser.AST |
ppTrace | Cryptol.Utils.Debug |
ppUse | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
ppValue | Cryptol.Eval.Value |
ppWarning | Cryptol.TypeCheck |
ppWithNames | Cryptol.TypeCheck.PP |
ppWithNamesPrec | Cryptol.TypeCheck.PP |
ppWord | Cryptol.Eval.Value |
Pragma | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
PragmaNoBind | Cryptol.Parser.NoPat |
PragmaNote | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
PragmaProperty | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
PRecord | Cryptol.Parser.AST |
predArgTypes | Cryptol.Symbolic |
preludeName | Cryptol.Utils.Ident |
prependSearchPath | Cryptol.REPL.Monad |
PreProc | Cryptol.Parser.Unlit, Cryptol.Parser |
pretty | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
primDecls | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
primLexer | Cryptol.Parser.Lexer |
PrimMap | |
1 (Type/Class) | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
primTable | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
primTypes | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST |
Private | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
Program | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
ProofObligation | Cryptol.TypeCheck.Sanity |
Prop | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Type/Class) | Cryptol.TypeCheck.AST |
3 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.AST |
propInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
propToProp' | Cryptol.TypeCheck.Solver.Numeric.Simplify1 |
protectStack | Cryptol.Symbolic |
proveCmd | Cryptol.REPL.Command |
proveImplication | Cryptol.TypeCheck.Solve |
ProveQuery | Cryptol.Symbolic |
ProverCommand | |
1 (Type/Class) | Cryptol.Symbolic |
2 (Data Constructor) | Cryptol.Symbolic |
proverConfigs | Cryptol.Symbolic |
ProverError | Cryptol.Symbolic |
proverError | Cryptol.Symbolic |
proverNames | Cryptol.Symbolic |
ProverResult | Cryptol.Symbolic |
PSplit | Cryptol.Parser.AST |
PTrue | Cryptol.TypeCheck.Solver.Numeric.AST |
PTuple | Cryptol.Parser.AST |
PTyped | Cryptol.Parser.AST |
Public | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
punctuate | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
PVar | Cryptol.Parser.AST |
PWild | Cryptol.Parser.AST |
qcCmd | Cryptol.REPL.Command |
QCExhaust | Cryptol.REPL.Command |
QCMode | Cryptol.REPL.Command |
QCRandom | Cryptol.REPL.Command |
Qual | Cryptol.Parser.Name, Cryptol.Parser.AST |
Qualified | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
qualifiedEnv | Cryptol.ModuleSystem.Env |
qualify | Cryptol.ModuleSystem.NamingEnv |
QueryType | Cryptol.Symbolic |
quickApply | Cryptol.TypeCheck.AST |
quotes | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
raise | Cryptol.REPL.Monad |
randomBit | Cryptol.Testing.Random |
randomRecord | Cryptol.Testing.Random |
randomSequence | Cryptol.Testing.Random |
randomStream | Cryptol.Testing.Random |
randomTuple | Cryptol.Testing.Random |
randomV | Cryptol.Prims.Eval |
randomValue | Cryptol.Testing.Random |
randomWord | Cryptol.Testing.Random |
Range | |
1 (Type/Class) | Cryptol.Parser.Position |
2 (Data Constructor) | Cryptol.Parser.Position |
rComb | Cryptol.Parser.Position |
rCombs | Cryptol.Parser.Position |
ReadEnv | Cryptol.Eval.Env |
recordError | Cryptol.TypeCheck.Monad |
RecordSel | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
recordWarning | Cryptol.TypeCheck.Monad |
Recursive | Cryptol.TypeCheck.AST |
RecursiveModules | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
recursiveModules | Cryptol.ModuleSystem.Monad |
RecursiveType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
RecursiveTypeDecls | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
removeIncludesModule | Cryptol.Parser.NoInclude |
removeLoadedModule | Cryptol.ModuleSystem.Env |
RemovePatterns | Cryptol.Parser.NoPat |
removePatterns | Cryptol.Parser.NoPat |
Rename | Cryptol.ModuleSystem.Renamer |
rename | |
1 (Function) | Cryptol.ModuleSystem.Renamer |
2 (Function) | Cryptol.ModuleSystem.Base |
RenameM | Cryptol.ModuleSystem.Renamer |
renameModule | |
1 (Function) | Cryptol.ModuleSystem.Renamer |
2 (Function) | Cryptol.ModuleSystem.Base |
RenamerError | Cryptol.ModuleSystem.Renamer |
RenamerErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
renamerErrors | Cryptol.ModuleSystem.Monad |
RenamerWarning | Cryptol.ModuleSystem.Renamer |
RenamerWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
renamerWarnings | Cryptol.ModuleSystem.Monad |
renameType | |
1 (Function) | Cryptol.ModuleSystem.Renamer |
2 (Function) | Cryptol.ModuleSystem |
renameVar | |
1 (Function) | Cryptol.ModuleSystem.Renamer |
2 (Function) | Cryptol.ModuleSystem |
render | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
RepeatedDefinitions | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
RepeatedTyParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
RepeatedVariableInForall | Cryptol.TypeCheck.Sanity |
REPL | |
1 (Type/Class) | Cryptol.REPL.Monad |
2 (Data Constructor) | Cryptol.REPL.Monad |
replCheckExpr | Cryptol.REPL.Command |
replEvalExpr | Cryptol.REPL.Command |
REPLException | Cryptol.REPL.Monad |
replicateV | Cryptol.Symbolic.Prims |
ReplInput | Cryptol.Parser.AST |
replParse | Cryptol.REPL.Command |
replParseExpr | Cryptol.REPL.Command |
reportProp | Cryptol.Testing.Concrete |
reportResult | Cryptol.Testing.Concrete |
reportTestsPossible | Cryptol.Testing.Concrete |
reportTestsRun | Cryptol.Testing.Concrete |
resetModuleEnv | Cryptol.ModuleSystem.Env |
Result | Cryptol.TypeCheck.Unify |
rethrowEvalError | Cryptol.REPL.Monad |
Return | Cryptol.TypeCheck.Solver.Numeric.AST |
rewModule | Cryptol.Transform.MonoValues |
RightAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Parser.AST |
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 |
roLoading | Cryptol.ModuleSystem.Monad |
rootExact | Cryptol.TypeCheck.Solver.InfNat |
rotateLS | Cryptol.Prims.Eval |
rotateLW | Cryptol.Prims.Eval |
rotateRS | Cryptol.Prims.Eval |
rotateRW | Cryptol.Prims.Eval |
rPrint | Cryptol.REPL.Monad |
rPutStr | Cryptol.REPL.Monad |
rPutStrLn | Cryptol.REPL.Monad |
runCommand | Cryptol.REPL.Command |
runDoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
runExportM | Cryptol.TypeCheck.Solver.Numeric.ImportExport |
runInferM | Cryptol.TypeCheck.Monad |
runKindM | Cryptol.TypeCheck.Monad |
runModuleM | Cryptol.ModuleSystem.Monad |
runModuleT | Cryptol.ModuleSystem.Monad |
runOneTest | |
1 (Function) | Cryptol.Testing.Concrete |
2 (Function) | Cryptol.Testing.Random |
runRenamer | Cryptol.ModuleSystem.Renamer |
runREPL | Cryptol.REPL.Monad |
runSpecT | Cryptol.Transform.Specialize |
runSupplyM | Cryptol.ModuleSystem.Name |
runSupplyT | Cryptol.ModuleSystem.Name |
runTests | Cryptol.Testing.Concrete |
RW | |
1 (Type/Class) | Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.Monad |
S | Cryptol.TypeCheck.Subst |
same | Cryptol.TypeCheck.Sanity |
sanitize | Cryptol.REPL.Command |
satCmd | Cryptol.REPL.Command |
SatNum | Cryptol.Symbolic |
satProve | Cryptol.Symbolic |
satProveOffline | Cryptol.Symbolic |
SatQuery | Cryptol.Symbolic |
SatResult | Cryptol.Symbolic |
satSMTResults | Cryptol.Symbolic |
SBool | Cryptol.Symbolic.Value |
Schema | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Type/Class) | Cryptol.TypeCheck.AST |
seedGoal | Cryptol.TypeCheck.Monad |
seedTVar | Cryptol.TypeCheck.Monad |
Selector | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
selectV | Cryptol.Symbolic.Prims |
Semi | Cryptol.Parser.Lexer |
sep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
setDynEnv | |
1 (Function) | Cryptol.ModuleSystem.Monad |
2 (Function) | Cryptol.REPL.Monad |
setFocusedModule | Cryptol.ModuleSystem.Monad |
setLoadedMod | Cryptol.REPL.Monad |
setModuleEnv | |
1 (Function) | Cryptol.ModuleSystem.Monad |
2 (Function) | Cryptol.REPL.Monad |
setMonoBinds | Cryptol.ModuleSystem.Monad |
setNameSeeds | Cryptol.ModuleSystem.Monad |
setOptionCmd | Cryptol.REPL.Command |
setPutStr | Cryptol.REPL.Monad |
setSearchPath | Cryptol.REPL.Monad |
setSolver | Cryptol.ModuleSystem.Monad |
setSpecCache | Cryptol.Transform.Specialize |
setSupply | Cryptol.ModuleSystem.Monad |
setUpdateREPLTitle | Cryptol.REPL.Monad |
setUser | Cryptol.REPL.Monad |
sExp | Cryptol.Symbolic.Prims |
shadowing | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
shadowNames | Cryptol.ModuleSystem.Renamer |
ShellArg | Cryptol.REPL.Command |
shiftLS | Cryptol.Prims.Eval |
shiftLW | Cryptol.Prims.Eval |
shiftRS | Cryptol.Prims.Eval |
shiftRW | Cryptol.Prims.Eval |
shouldContinue | Cryptol.REPL.Monad |
Sign | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
SignatureNoBind | Cryptol.Parser.NoPat |
signed | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
simpBind | Cryptol.TypeCheck.Infer |
simplifyAllConstraints | Cryptol.TypeCheck.Solve |
simplifyProps | Cryptol.TypeCheck.Solver.CrySAT |
simpType | Cryptol.TypeCheck.Solve |
simpTypeMaybe | Cryptol.TypeCheck.Solve |
singleSubst | Cryptol.TypeCheck.Subst |
singletonE | Cryptol.ModuleSystem.NamingEnv |
singletonT | Cryptol.ModuleSystem.NamingEnv |
sLg2 | Cryptol.Symbolic.Prims |
smallest | Cryptol.TypeCheck.Infer |
Smoke | Cryptol.REPL.Monad |
smokeTest | Cryptol.REPL.Monad |
smtFinName | Cryptol.TypeCheck.Solver.Numeric.SMT |
smtName | Cryptol.TypeCheck.Solver.Numeric.SMT |
Solved | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
solveHasGoal | Cryptol.TypeCheck.Monad |
Solver | Cryptol.TypeCheck.Solver.CrySAT |
solverArgs | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
SolverConfig | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
solverPath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
solverVerbose | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
SomeSat | Cryptol.Symbolic |
source | Cryptol.Parser.Position |
Space | Cryptol.Parser.Lexer |
SpecCache | Cryptol.Transform.Specialize |
specialize | Cryptol.Transform.Specialize |
specializeConst | Cryptol.Transform.Specialize |
specializeDeclGroups | Cryptol.Transform.Specialize |
specializeEWhere | Cryptol.Transform.Specialize |
specializeExpr | Cryptol.Transform.Specialize |
specializeMatch | Cryptol.Transform.Specialize |
SpecM | Cryptol.Transform.Specialize |
SpecT | Cryptol.Transform.Specialize |
splitAbs | Cryptol.TypeCheck.AST |
splitAtV | Cryptol.Prims.Eval |
splitCommand | Cryptol.REPL.Command |
splitConstFactor | Cryptol.TypeCheck.Solver.Utils |
splitConstSummand | Cryptol.TypeCheck.Solver.Utils |
splitProofAbs | Cryptol.TypeCheck.AST |
splitSum | Cryptol.TypeCheck.Solver.Numeric.SimplifyExpr |
splitTAbs | Cryptol.TypeCheck.AST |
splitVarSummand | Cryptol.TypeCheck.Solver.Utils |
splitVarSummands | Cryptol.TypeCheck.Solver.Utils |
splitWhile | Cryptol.TypeCheck.AST |
sProps | Cryptol.TypeCheck.AST |
srcRange | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
start | Cryptol.Parser.Position |
stop | Cryptol.REPL.Monad |
StrLit | Cryptol.Parser.Lexer |
SType | Cryptol.TypeCheck.AST |
sType | Cryptol.TypeCheck.AST |
Subst | |
1 (Type/Class) | Cryptol.TypeCheck.Subst |
2 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.AST |
substToList | Cryptol.TypeCheck.Subst |
suDefaulting | Cryptol.TypeCheck.Subst |
suMap | Cryptol.TypeCheck.Subst |
Supply | Cryptol.ModuleSystem.Name |
SupplyM | Cryptol.ModuleSystem.Name |
SupplyT | Cryptol.ModuleSystem.Name |
sVars | Cryptol.TypeCheck.AST |
SWord | Cryptol.Symbolic.Value |
Sym | Cryptol.Parser.Lexer |
SymbolShadowed | Cryptol.ModuleSystem.Renamer |
SysName | Cryptol.TypeCheck.Solver.Numeric.AST |
takeV | Cryptol.Symbolic.Prims |
TApp | Cryptol.Parser.AST |
tBinOpPrec | Cryptol.Prims.Syntax |
TBit | Cryptol.Parser.AST |
tBit | Cryptol.TypeCheck.AST |
TC | |
1 (Type/Class) | Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
TCAction | |
1 (Type/Class) | Cryptol.ModuleSystem.Base |
2 (Data Constructor) | Cryptol.ModuleSystem.Base |
tcAction | Cryptol.ModuleSystem.Base |
TCAdd | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCBit | Cryptol.TypeCheck.AST |
tcDecls | |
1 (Function) | Cryptol.TypeCheck.Sanity |
2 (Function) | Cryptol.TypeCheck |
TCDiv | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCExp | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
tcExpr | |
1 (Function) | Cryptol.TypeCheck.Sanity |
2 (Function) | Cryptol.TypeCheck |
TCFun | Cryptol.TypeCheck.AST |
TChar | Cryptol.Parser.AST |
tChar | Cryptol.TypeCheck.AST |
TCInf | Cryptol.TypeCheck.AST |
TCLenFromThen | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCLenFromThenTo | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCLinter | |
1 (Type/Class) | Cryptol.ModuleSystem.Base |
2 (Data Constructor) | Cryptol.ModuleSystem.Base |
tcLinter | Cryptol.ModuleSystem.Base |
TCMax | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCMin | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCMod | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
tcModule | |
1 (Function) | Cryptol.TypeCheck.Sanity |
2 (Function) | Cryptol.TypeCheck |
TCMul | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCNewtype | Cryptol.TypeCheck.AST |
TCNum | Cryptol.TypeCheck.AST |
TCon | |
1 (Type/Class) | Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
tcon | Cryptol.TypeCheck.TypeMap |
tcPanic | Cryptol.TypeCheck.Infer |
tcPrims | Cryptol.ModuleSystem.Base |
TCSeq | Cryptol.TypeCheck.AST |
TCSub | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCTuple | Cryptol.TypeCheck.AST |
TCWidth | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
tDiv | Cryptol.TypeCheck.AST |
TDNewtype | Cryptol.Parser.AST |
testableType | |
1 (Function) | Cryptol.Testing.Concrete |
2 (Function) | Cryptol.Testing.Random |
testClrProgress | Cryptol.Testing.Concrete |
testFn | Cryptol.Testing.Concrete |
testPossible | Cryptol.Testing.Concrete |
testProp | Cryptol.Testing.Concrete |
TestReport | |
1 (Type/Class) | Cryptol.Testing.Concrete |
2 (Data Constructor) | Cryptol.Testing.Concrete |
TestResult | Cryptol.Testing.Concrete |
testRptFailure | Cryptol.Testing.Concrete |
testRptProgress | Cryptol.Testing.Concrete |
testRptSuccess | Cryptol.Testing.Concrete |
TestSpec | |
1 (Type/Class) | Cryptol.Testing.Concrete |
2 (Data Constructor) | Cryptol.Testing.Concrete |
testTotal | Cryptol.Testing.Concrete |
text | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
TF | Cryptol.TypeCheck.AST |
TFun | |
1 (Type/Class) | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
tFun | Cryptol.TypeCheck.AST |
tfunNames | Cryptol.Prims.Syntax |
thing | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
ThmResult | Cryptol.Symbolic |
thmSMTResults | Cryptol.Symbolic |
TInf | Cryptol.Parser.AST |
tInf | Cryptol.TypeCheck.AST |
TInfix | Cryptol.Parser.AST |
tIsBinFun | Cryptol.TypeCheck.AST |
tIsBit | Cryptol.TypeCheck.AST |
tIsFun | Cryptol.TypeCheck.AST |
tIsInf | Cryptol.TypeCheck.AST |
tIsNat' | Cryptol.TypeCheck.AST |
tIsNum | Cryptol.TypeCheck.AST |
tIsSeq | Cryptol.TypeCheck.AST |
tIsTuple | Cryptol.TypeCheck.AST |
tIsVar | Cryptol.TypeCheck.AST |
tlam | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
tlamN | Cryptol.Prims.Eval |
tlDoc | Cryptol.Parser.AST |
tLenFromThen | Cryptol.TypeCheck.AST |
tLenFromThenTo | Cryptol.TypeCheck.AST |
tlExport | Cryptol.Parser.AST |
TLocalVar | Cryptol.TypeCheck.Monad |
TLocated | Cryptol.Parser.AST |
tlValue | Cryptol.Parser.AST |
TM | Cryptol.TypeCheck.TypeMap |
tMax | Cryptol.TypeCheck.AST |
tMin | Cryptol.TypeCheck.AST |
tMod | Cryptol.TypeCheck.AST |
tnamesB | Cryptol.Parser.Names |
tnamesC | Cryptol.Parser.Names |
tnamesD | Cryptol.Parser.Names |
tnamesDef | Cryptol.Parser.Names |
tnamesDs | Cryptol.Parser.Names |
tnamesE | Cryptol.Parser.Names |
tnamesM | Cryptol.Parser.Names |
tnamesNT | Cryptol.Parser.Names |
tnamesP | Cryptol.Parser.Names |
tnamesS | Cryptol.Parser.Names |
tnamesT | Cryptol.Parser.Names |
tnamesTI | Cryptol.Parser.Names |
tNat' | Cryptol.TypeCheck.AST |
tNoUser | Cryptol.TypeCheck.AST |
TNum | Cryptol.Parser.AST |
tNum | Cryptol.TypeCheck.AST |
to | Cryptol.Parser.Position |
toBind | Cryptol.TypeCheck.Depends |
toExpr | Cryptol.Eval.Value |
toFinSeq | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
Token | |
1 (Type/Class) | Cryptol.Parser.Lexer |
2 (Data Constructor) | Cryptol.Parser.Lexer |
TokenErr | Cryptol.Parser.Lexer |
TokenKW | Cryptol.Parser.Lexer |
TokenSym | Cryptol.Parser.Lexer |
TokenT | Cryptol.Parser.Lexer |
tokenText | Cryptol.Parser.Lexer |
tokenType | Cryptol.Parser.Lexer |
TokenV | Cryptol.Parser.Lexer |
TokenW | Cryptol.Parser.Lexer |
toListTM | Cryptol.TypeCheck.TypeMap |
toNameDisp | Cryptol.ModuleSystem.NamingEnv |
tOne | Cryptol.TypeCheck.AST |
toNumTValue | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
TooFewTySynParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
TooManyPositionalTypeParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
TooManyTypeParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
TooManyTySynParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
toPackedSeq | Cryptol.Eval.Value |
TopDecl | Cryptol.Parser.AST |
TopLevel | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
toPrimMap | Cryptol.ModuleSystem.NamingEnv |
toSeq | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
toStream | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
toTyDecl | Cryptol.TypeCheck.Depends |
toTypeVal | Cryptol.Symbolic.Prims |
TOuterVar | Cryptol.TypeCheck.Monad |
TParam | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
4 (Data Constructor) | Cryptol.TypeCheck.AST |
TParens | Cryptol.Parser.AST |
tpKind | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
tpName | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
tpRange | Cryptol.Parser.AST |
tpUnique | Cryptol.TypeCheck.AST |
tpVar | Cryptol.TypeCheck.AST |
trace | Cryptol.Utils.Debug |
translateExprToNumT | Cryptol.Parser.Utils |
traverseSnd | |
1 (Function) | Cryptol.Symbolic.Prims |
2 (Function) | Cryptol.Transform.Specialize |
travNamingEnv | Cryptol.ModuleSystem.NamingEnv |
TRec | Cryptol.TypeCheck.AST |
tRec | Cryptol.TypeCheck.AST |
trec | Cryptol.TypeCheck.TypeMap |
TRecord | Cryptol.Parser.AST |
Trie | Cryptol.REPL.Trie |
TrieMap | Cryptol.TypeCheck.TypeMap |
TriL | Cryptol.Parser.Lexer |
TriR | Cryptol.Parser.Lexer |
tryGetUser | Cryptol.REPL.Monad |
tryHasGoal | Cryptol.TypeCheck.Solver.Selector |
tryRewritePropAsSubst | Cryptol.TypeCheck.Solver.Simplify |
TS | Cryptol.TypeCheck.Depends |
tsConstraints | Cryptol.TypeCheck.AST |
tsDef | Cryptol.TypeCheck.AST |
TSeq | Cryptol.Parser.AST |
tSeq | Cryptol.TypeCheck.AST |
tsName | |
1 (Function) | Cryptol.TypeCheck.AST |
2 (Function) | Cryptol.Parser.Names |
tsParams | Cryptol.TypeCheck.AST |
tSplitFun | Cryptol.TypeCheck.AST |
tString | Cryptol.TypeCheck.AST |
TTuple | Cryptol.Parser.AST |
tTuple | Cryptol.TypeCheck.AST |
tTwo | Cryptol.TypeCheck.AST |
TupleSel | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
TupleSelectorOutOfRange | Cryptol.TypeCheck.Sanity |
TUser | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
tValTy | Cryptol.Eval.Value |
TValue | |
1 (Type/Class) | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
2 (Data Constructor) | Cryptol.Eval.Value |
TVar | |
1 (Type/Class) | Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
tvar | Cryptol.TypeCheck.TypeMap |
TVars | Cryptol.TypeCheck.Subst |
TVBit | Cryptol.Symbolic.Prims |
TVBound | Cryptol.TypeCheck.AST |
TVFree | Cryptol.TypeCheck.AST |
TVFun | Cryptol.Symbolic.Prims |
TVRecord | Cryptol.Symbolic.Prims |
TVSeq | Cryptol.Symbolic.Prims |
tvSeq | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
TVStream | Cryptol.Symbolic.Prims |
TVTuple | Cryptol.Symbolic.Prims |
tWidth | Cryptol.TypeCheck.AST |
TWild | Cryptol.Parser.AST |
two | Cryptol.TypeCheck.Solver.Numeric.AST |
tWord | Cryptol.TypeCheck.AST |
TyDecl | Cryptol.TypeCheck.Depends |
TyFunName | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
Type | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Type/Class) | Cryptol.TypeCheck.AST |
TypeCannotBeDemoted | Cryptol.Eval.Error, Cryptol.Eval |
typeCannotBeDemoted | Cryptol.Eval.Error |
typecheck | Cryptol.ModuleSystem.Base |
TypeCheckingFailed | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
typeCheckingFailed | Cryptol.ModuleSystem.Monad |
TypeCheckWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
typeCheckWarnings | Cryptol.ModuleSystem.Monad |
TypeInst | Cryptol.Parser.AST |
typeInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
TypeMap | Cryptol.TypeCheck.TypeMap |
TypeMismatch | |
1 (Data Constructor) | Cryptol.TypeCheck.Sanity |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
TypeNotTestable | Cryptol.REPL.Monad |
typeParams | Cryptol.TypeCheck.Monad |
typeSize | Cryptol.Testing.Concrete |
TypesMap | Cryptol.TypeCheck.TypeMap |
TypeVal | Cryptol.Symbolic.Prims |
typeValues | Cryptol.Testing.Concrete |
TypeVariableEscaped | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
TySyn | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
4 (Data Constructor) | Cryptol.TypeCheck.AST |
tZero | Cryptol.TypeCheck.AST |
Unary | |
1 (Type/Class) | Cryptol.Prims.Eval |
2 (Type/Class) | Cryptol.Symbolic.Prims |
unary | Cryptol.Prims.Eval |
UnboundExpr | Cryptol.ModuleSystem.Renamer |
UnboundType | Cryptol.ModuleSystem.Renamer |
UndefinedTypeParam | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UndefinedTypeSynonym | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UndefinedTypeVaraible | Cryptol.TypeCheck.Sanity |
UndefinedVariable | |
1 (Data Constructor) | Cryptol.TypeCheck.Sanity |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
Underscore | Cryptol.Parser.Lexer |
UnexpectedRecordShape | Cryptol.TypeCheck.Sanity |
UnexpectedSequenceShape | Cryptol.TypeCheck.Sanity |
UnexpectedTupleShape | Cryptol.TypeCheck.Sanity |
UnexpectedTypeWildCard | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
unFinType | Cryptol.Symbolic |
uniError | Cryptol.TypeCheck.Unify |
UnificationError | Cryptol.TypeCheck.Unify |
unify | Cryptol.TypeCheck.Monad |
UniKindMismatch | Cryptol.TypeCheck.Unify |
unIM | Cryptol.TypeCheck.Monad |
UniNonPoly | Cryptol.TypeCheck.Unify |
UniNonPolyDepends | Cryptol.TypeCheck.Unify |
unionTM | Cryptol.TypeCheck.TypeMap |
uniqify | Cryptol.REPL.Monad |
UniRecursive | Cryptol.TypeCheck.Unify |
UniTypeLenMismatch | Cryptol.TypeCheck.Unify |
UniTypeMismatch | Cryptol.TypeCheck.Unify |
unKM | Cryptol.TypeCheck.Monad |
Unknown | Cryptol.REPL.Command |
unlessBatch | Cryptol.REPL.Monad |
unLit | Cryptol.Parser.Unlit |
unloadModule | Cryptol.ModuleSystem.Monad |
unModuleT | Cryptol.ModuleSystem.Monad |
unpackIdent | Cryptol.Utils.Ident |
unpackModName | Cryptol.Utils.Ident |
unpackWord | Cryptol.Eval.Value |
UnQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
UnQualified | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
unqualifiedEnv | Cryptol.ModuleSystem.NamingEnv |
unREPL | Cryptol.REPL.Monad |
Unsolvable | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
Unsolved | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
UnsolvedDelcayedCt | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UnsolvedGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UnterminatedChar | Cryptol.Parser.Lexer |
UnterminatedComment | Cryptol.Parser.Lexer |
UnterminatedString | Cryptol.Parser.Lexer |
UnusableFunction | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
updateInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
updateREPLTitle | Cryptol.REPL.Monad |
useAscii | Cryptol.Eval.Value |
useBase | Cryptol.Eval.Value |
useInfLength | Cryptol.Eval.Value |
UserError | Cryptol.Eval.Error, Cryptol.Eval |
UserName | Cryptol.TypeCheck.Solver.Numeric.AST |
userOptions | Cryptol.REPL.Monad |
UserTC | |
1 (Type/Class) | Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
UserTyFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
Value | |
1 (Type/Class) | Cryptol.Eval.Value |
2 (Type/Class) | Cryptol.Symbolic.Value |
value | Cryptol.Parser.AST |
Var | Cryptol.TypeCheck.Solver.Numeric.AST |
varsWithAsmps | Cryptol.TypeCheck.Monad |
VarType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
VBit | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
vcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
VCurlyL | Cryptol.Parser.Lexer |
VCurlyR | Cryptol.Parser.Lexer |
version | Cryptol.Version |
VFun | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
Virt | Cryptol.Parser.Lexer |
visibleNames | Cryptol.ModuleSystem.NamingEnv |
VPoly | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
VRecord | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
VSemi | Cryptol.Parser.Lexer |
VSeq | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
VStream | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
VTuple | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
VWord | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
vWordLen | Cryptol.Eval.Value |
warn | Cryptol.ModuleSystem.Monad |
Warning | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
wfType | Cryptol.TypeCheck.Solve |
wfTypeFunction | Cryptol.TypeCheck.Solve |
whenDebug | Cryptol.REPL.Monad |
White | Cryptol.Parser.Lexer |
Width | Cryptol.TypeCheck.Solver.Numeric.AST |
widthIdent | Cryptol.Parser.Utils |
widthInteger | Cryptol.TypeCheck.Solver.InfNat |
WithBase | |
1 (Type/Class) | Cryptol.Eval.Value, Cryptol.Eval |
2 (Data Constructor) | Cryptol.Eval.Value, Cryptol.Eval |
withDeclGroups | Cryptol.Transform.Specialize |
withDecls | Cryptol.TypeCheck.Monad |
withMonoType | Cryptol.TypeCheck.Monad |
withMonoTypes | Cryptol.TypeCheck.Monad |
withNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
WithNames | |
1 (Type/Class) | Cryptol.TypeCheck.PP |
2 (Data Constructor) | Cryptol.TypeCheck.PP |
withNewtype | Cryptol.TypeCheck.Monad |
withOrder | Cryptol.Prims.Eval |
withPrependedSearchPath | Cryptol.ModuleSystem.Monad |
withScope | Cryptol.TypeCheck.Solver.CrySAT |
withSolver | Cryptol.TypeCheck.Solver.CrySAT |
withTParam | Cryptol.TypeCheck.Monad |
withTParams | Cryptol.TypeCheck.Monad |
withTySyn | Cryptol.TypeCheck.Monad |
withVar | Cryptol.TypeCheck.Monad |
withVarType | Cryptol.TypeCheck.Monad |
withVarTypes | Cryptol.TypeCheck.Monad |
word | Cryptol.Eval.Value |
WordTooWide | Cryptol.Eval.Error, Cryptol.Eval |
wordTooWide | Cryptol.Eval.Error |
Z3NotFound | Cryptol.REPL.Monad |
zero | Cryptol.TypeCheck.Solver.Numeric.AST |
zeroV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
zipLexCompare | Cryptol.Prims.Eval |