$$ | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
$+$ | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
.*. | Cryptol.TypeCheck.AST |
.+. | Cryptol.TypeCheck.AST |
.-. | Cryptol.TypeCheck.AST |
.^. | Cryptol.TypeCheck.AST |
:&& | Cryptol.TypeCheck.Solver.CrySAT |
:* | Cryptol.TypeCheck.Solver.CrySAT |
:+ | Cryptol.TypeCheck.Solver.CrySAT |
:- | Cryptol.TypeCheck.Solver.CrySAT |
:-> | Cryptol.TypeCheck.AST |
:/= | Cryptol.TypeCheck.Solver.CrySAT |
:== | Cryptol.TypeCheck.Solver.CrySAT |
:> | Cryptol.TypeCheck.Solver.CrySAT |
:>= | Cryptol.TypeCheck.Solver.CrySAT |
:^^ | Cryptol.TypeCheck.Solver.CrySAT |
:|| | Cryptol.TypeCheck.Solver.CrySAT |
<+> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
<> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
=#= | Cryptol.TypeCheck.AST |
=/= | Cryptol.TypeCheck.AST |
>== | Cryptol.TypeCheck.AST |
@@ | Cryptol.TypeCheck.Subst |
addFact | Cryptol.TypeCheck.Solver.FinOrd |
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 |
allPublicQNames | Cryptol.Transform.Specialize |
AllSatResult | Cryptol.Symbolic |
allSatSMTResults | Cryptol.Symbolic |
alterTM | Cryptol.TypeCheck.TypeMap |
Ambiguous | Cryptol.REPL.Command |
AmbiguousType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
anything | Cryptol.TypeCheck.Solver.Interval |
applySubst | Cryptol.TypeCheck.Monad |
appTys | Cryptol.TypeCheck.Infer |
apSubst | Cryptol.TypeCheck.Subst |
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 |
assert | Cryptol.TypeCheck.Solver.CrySAT |
AssertResult | Cryptol.TypeCheck.Solver.FinOrd |
Assoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
assumedOrderModel | Cryptol.TypeCheck.Solver.Eval, Cryptol.TypeCheck.Solve |
At | Cryptol.Parser.Lexer |
at | Cryptol.Parser.Position |
AtAt | Cryptol.Parser.Lexer |
BackTick | Cryptol.Parser.Lexer |
Bang | Cryptol.Parser.Lexer |
BangBang | Cryptol.Parser.Lexer |
Bar | Cryptol.Parser.Lexer |
bDef | 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 |
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 |
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 |
builtIns | Cryptol.REPL.Monad |
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 |
CArith | Cryptol.Parser.AST |
cat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
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 |
checkSat | Cryptol.TypeCheck.Solver.CrySAT |
checkSchema | Cryptol.TypeCheck.Kind |
checkSigB | Cryptol.TypeCheck.Infer |
checkTShadowing | Cryptol.TypeCheck.Monad |
checkType | Cryptol.TypeCheck.Kind |
checkTypeFunction | Cryptol.TypeCheck.Solve |
checkTypeOfKind | Cryptol.TypeCheck.Infer |
checkTySyn | Cryptol.TypeCheck.Kind |
cHelp | Cryptol.REPL.Command |
Chr | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
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 |
ColonColon | Cryptol.Parser.Lexer |
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 |
commuteArgs | Cryptol.TypeCheck.Solver.Eval |
Complement | Cryptol.Parser.Lexer |
Config | |
1 (Type/Class) | Cryptol.Parser.Lexer, Cryptol.Parser |
2 (Data Constructor) | Cryptol.Parser.Lexer, Cryptol.Parser |
Conj | Cryptol.Parser.Lexer |
cons | Cryptol.TypeCheck.TypeMap |
ConstraintSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
copyBySchema | Cryptol.Symbolic |
copyByType | Cryptol.Symbolic |
cppKind | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
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 |
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 |
CurlyL | Cryptol.Parser.Lexer |
CurlyR | Cryptol.Parser.Lexer |
curRange | Cryptol.TypeCheck.Monad |
CurSCC | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
CVC4NotFound | Cryptol.REPL.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 |
debug | 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 |
DeclGroup | Cryptol.TypeCheck.AST |
DecLit | Cryptol.Parser.AST |
DeclsArg | Cryptol.REPL.Command |
deDecls | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
deEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
defaultConfig | Cryptol.Parser.Lexer, Cryptol.Parser |
defaultExpr | Cryptol.TypeCheck.Defaulting |
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 |
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 |
derivedOrd | Cryptol.TypeCheck.Solver.Eval |
description | Cryptol.Prims.Doc |
destEProofAbs | Cryptol.Transform.Specialize |
destEProofApps | Cryptol.Transform.Specialize |
destETAbs | Cryptol.Transform.Specialize |
destETApps | Cryptol.Transform.Specialize |
desugarLiteral | Cryptol.TypeCheck.Infer |
DirectoryNotFound | Cryptol.REPL.Monad |
disableLet | Cryptol.REPL.Monad |
Disj | Cryptol.Parser.Lexer |
Div | |
1 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Data Constructor) | Cryptol.Parser.Lexer |
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 |
Doc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
Dot | Cryptol.Parser.Lexer |
DotDot | Cryptol.Parser.Lexer |
DotDotDot | Cryptol.Parser.Lexer |
double | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
doubleAndAdd | Cryptol.Prims.Eval |
doubleQuotes | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
DPatBind | Cryptol.Parser.AST |
DPragma | Cryptol.Parser.AST |
dPragmas | Cryptol.TypeCheck.AST |
dropLoc | Cryptol.Parser.Position |
dropV | Cryptol.Symbolic.Prims |
DSignature | Cryptol.Parser.AST |
dSignature | Cryptol.TypeCheck.AST |
DType | Cryptol.Parser.AST |
dump | Cryptol.TypeCheck.PP |
dumpDoc | Cryptol.TypeCheck.Solver.FinOrd |
dumpDot | Cryptol.TypeCheck.Solver.FinOrd |
DuplicateModuleName | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
duplicateModuleName | Cryptol.ModuleSystem.Monad |
duplicates | Cryptol.TypeCheck.Depends |
DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
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 |
eBinOpPrec | Cryptol.Prims.Syntax |
ECAnd | Cryptol.Prims.Syntax |
ECast | Cryptol.TypeCheck.AST |
ECAt | Cryptol.Prims.Syntax |
ECAtBack | Cryptol.Prims.Syntax |
ECAtRange | Cryptol.Prims.Syntax |
ECAtRangeBack | Cryptol.Prims.Syntax |
ECCat | Cryptol.Prims.Syntax |
ECCompl | Cryptol.Prims.Syntax |
ECDemote | Cryptol.Prims.Syntax |
ecDemoteV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
ECDiv | Cryptol.Prims.Syntax |
ECEq | Cryptol.Prims.Syntax |
ECError | Cryptol.Prims.Syntax |
ECExp | Cryptol.Prims.Syntax |
ECFalse | Cryptol.Prims.Syntax |
ECFromThen | Cryptol.Prims.Syntax |
ECFromThenTo | Cryptol.Prims.Syntax |
ECFromTo | Cryptol.Prims.Syntax |
ECFunEq | Cryptol.Prims.Syntax |
ECFunNotEq | Cryptol.Prims.Syntax |
ECGt | Cryptol.Prims.Syntax |
ECGtEq | Cryptol.Prims.Syntax |
eChar | Cryptol.TypeCheck.AST |
ECInfFrom | Cryptol.Prims.Syntax |
ECInfFromThen | Cryptol.Prims.Syntax |
ECJoin | Cryptol.Prims.Syntax |
ECLg2 | Cryptol.Prims.Syntax |
ECLt | Cryptol.Prims.Syntax |
ECLtEq | Cryptol.Prims.Syntax |
ECMax | Cryptol.Prims.Syntax |
ECMin | Cryptol.Prims.Syntax |
ECMinus | Cryptol.Prims.Syntax |
ECMod | Cryptol.Prims.Syntax |
ECMul | Cryptol.Prims.Syntax |
ECNeg | Cryptol.Prims.Syntax |
ECNotEq | Cryptol.Prims.Syntax |
ECNum | Cryptol.Parser.AST |
EComp | |
1 (Data Constructor) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
ECon | |
1 (Type/Class) | Cryptol.Prims.Syntax |
2 (Data Constructor) | Cryptol.Parser.AST |
3 (Data Constructor) | Cryptol.TypeCheck.AST |
ECOr | Cryptol.Prims.Syntax |
ECPDiv | Cryptol.Prims.Syntax |
ECPlus | Cryptol.Prims.Syntax |
ECPMod | Cryptol.Prims.Syntax |
ECPMul | Cryptol.Prims.Syntax |
ECRandom | Cryptol.Prims.Syntax |
ECReverse | Cryptol.Prims.Syntax |
ECRotL | Cryptol.Prims.Syntax |
ECRotR | Cryptol.Prims.Syntax |
ECShiftL | Cryptol.Prims.Syntax |
ECShiftR | Cryptol.Prims.Syntax |
ECSplit | Cryptol.Prims.Syntax |
ECSplitAt | Cryptol.Prims.Syntax |
ecSplitV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
ECString | Cryptol.Parser.AST |
ECTranspose | Cryptol.Prims.Syntax |
ECTrue | Cryptol.Prims.Syntax |
ECXor | Cryptol.Prims.Syntax |
ECZero | Cryptol.Prims.Syntax |
eError | Cryptol.TypeCheck.AST |
eFalse | Cryptol.TypeCheck.AST |
EFromBind | Cryptol.ModuleSystem.NamingEnv |
EFromMod | Cryptol.ModuleSystem.NamingEnv |
EFromNewtype | Cryptol.ModuleSystem.NamingEnv |
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 |
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 |
emptyEnv | |
1 (Function) | Cryptol.Eval.Env, Cryptol.Eval |
2 (Function) | Cryptol.Symbolic |
emptyGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
emptyMGU | Cryptol.TypeCheck.Unify |
emptyNameMap | Cryptol.TypeCheck.PP |
emptyRange | Cryptol.Parser.Position |
EmptyResult | Cryptol.Symbolic |
emptyRO | Cryptol.ModuleSystem.Monad |
emptySubst | Cryptol.TypeCheck.Subst |
emptyTM | Cryptol.TypeCheck.TypeMap |
emptyTrie | Cryptol.REPL.Trie |
enableLet | Cryptol.REPL.Monad |
EName | Cryptol.ModuleSystem.NamingEnv |
Env | |
1 (Type/Class) | Cryptol.Symbolic |
2 (Data Constructor) | Cryptol.Symbolic |
EnvBool | Cryptol.REPL.Monad |
EnvNum | 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 |
EProofAbs | Cryptol.TypeCheck.AST |
EProofApp | Cryptol.TypeCheck.AST |
EqDef | Cryptol.Parser.Lexer |
Equal | Cryptol.Parser.Lexer |
EqualFun | Cryptol.Parser.Lexer |
equals | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ERec | Cryptol.TypeCheck.AST |
ERecord | Cryptol.Parser.AST |
Err | Cryptol.Parser.Lexer |
Error | |
1 (Data Constructor) | Cryptol.TypeCheck.Unify |
2 (Type/Class) | Cryptol.Parser.NoPat |
3 (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 |
eTrue | 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 |
evalECon | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
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 |
evalSel | Cryptol.Symbolic |
evalTF | Cryptol.Eval.Type |
evalTFun | Cryptol.TypeCheck.Solver.Eval |
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 |
Exp | Cryptol.Parser.Lexer |
expandProp | Cryptol.TypeCheck.Solver.Class |
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 |
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 | Cryptol.Parser.AST |
Expr | |
1 (Type/Class) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Type/Class) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
ExprArg | Cryptol.REPL.Command |
ExprInput | Cryptol.Parser.AST |
ExprTypeArg | Cryptol.REPL.Command |
extendSubst | Cryptol.TypeCheck.Monad |
ExtVar | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
factChangeProp | Cryptol.TypeCheck.Solver.FinOrd |
factProp | Cryptol.TypeCheck.Solver.FinOrd |
factSource | Cryptol.TypeCheck.Solver.FinOrd |
FailError | Cryptol.Testing.Eval |
FailFalse | Cryptol.Testing.Eval |
fastSchemaOf | Cryptol.TypeCheck.TypeOf |
fastTypeOf | Cryptol.TypeCheck.TypeOf |
FatArrR | Cryptol.Parser.Lexer |
fcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
FilenameArg | Cryptol.REPL.Command |
FileNotFound | Cryptol.REPL.Monad |
Fin | Cryptol.TypeCheck.Solver.CrySAT |
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 |
float | 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 |
freshName | Cryptol.Transform.Specialize |
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 |
fromName | Cryptol.TypeCheck.Solver.CrySAT |
fromNat | Cryptol.TypeCheck.Solver.InfNat |
fromNat' | Cryptol.TypeCheck.Solver.Eval |
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 |
fullRender | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
GenUnary | Cryptol.Prims.Eval |
GenValue | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
GEQ | Cryptol.Parser.Lexer |
getBoundInScope | Cryptol.TypeCheck.Monad |
getDynEnv | |
1 (Function) | Cryptol.ModuleSystem.Monad |
2 (Function) | Cryptol.REPL.Monad |
getEvalEnv | Cryptol.ModuleSystem.Monad |
getExprNames | Cryptol.REPL.Monad |
getFocusedEnv | Cryptol.ModuleSystem.Monad |
getFocusedModule | Cryptol.ModuleSystem.Monad |
getGoals | Cryptol.TypeCheck.Monad |
getHasGoals | Cryptol.TypeCheck.Monad |
getIface | Cryptol.ModuleSystem.Monad |
getImportSource | Cryptol.ModuleSystem.Monad |
getLetEnabled | Cryptol.REPL.Monad |
getLoadedMod | Cryptol.REPL.Monad |
getLoadedModules | Cryptol.ModuleSystem.Env |
getLoc | Cryptol.Parser.Position |
getModuleEnv | |
1 (Function) | Cryptol.ModuleSystem.Monad |
2 (Function) | Cryptol.REPL.Monad |
getMonoBinds | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.ModuleSystem.Monad |
getNameSeeds | Cryptol.ModuleSystem.Monad |
getNewtypes | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.REPL.Monad |
getPrompt | Cryptol.REPL.Monad |
getPropertyNames | Cryptol.REPL.Monad |
getPutStr | Cryptol.REPL.Monad |
getQualifiedEnv | Cryptol.ModuleSystem.Monad |
getSearchPath | Cryptol.ModuleSystem.Monad |
getSpecCache | Cryptol.Transform.Specialize |
getSubst | Cryptol.TypeCheck.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 |
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 |
goalOrderModel | Cryptol.TypeCheck.Solver.Numeric |
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 |
GreaterThan | Cryptol.Parser.Lexer |
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 |
Hash | Cryptol.Parser.Lexer |
HasKind | Cryptol.TypeCheck.AST |
HasLoc | Cryptol.Parser.Position |
hasName | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
HasQName | Cryptol.ModuleSystem.NamingEnv |
hcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
helpDoc | Cryptol.Prims.Doc |
HexLit | Cryptol.Parser.AST |
Hiding | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
hsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
iAdd | Cryptol.TypeCheck.Solver.Interval |
iAs | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
iConst | Cryptol.TypeCheck.Solver.Interval |
iCts | Cryptol.TypeCheck.Monad |
Ident | Cryptol.Parser.Lexer |
iDisjoint | Cryptol.TypeCheck.Solver.Interval |
iDiv | Cryptol.TypeCheck.Solver.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.Interval |
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 |
IfaceTySyn | 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 |
ifModName | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifNewtypes | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifPrivate | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifPublic | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
ifTySynName | Cryptol.ModuleSystem.Interface |
ifTySyns | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem |
iHasCts | Cryptol.TypeCheck.Monad |
iLenFromThen | Cryptol.TypeCheck.Solver.Interval |
iLenFromThenTo | Cryptol.TypeCheck.Solver.Interval |
iLenFromTo | Cryptol.TypeCheck.Solver.Interval |
iLeq | Cryptol.TypeCheck.Solver.Interval |
iLg2 | Cryptol.TypeCheck.Solver.Interval |
iLt | Cryptol.TypeCheck.Solver.Interval |
IM | Cryptol.TypeCheck.Monad |
iMax | Cryptol.TypeCheck.Solver.Interval |
iMin | Cryptol.TypeCheck.Solver.Interval |
iMod | Cryptol.TypeCheck.Solver.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 |
Imported | Cryptol.ModuleSystem.NamingEnv |
importedModule | Cryptol.ModuleSystem.Monad |
importIface | Cryptol.ModuleSystem.Base |
importIfaces | Cryptol.ModuleSystem.Base |
importIfacesTc | Cryptol.ModuleSystem.Base |
ImportSource | Cryptol.ModuleSystem.Monad |
ImportSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
iMul | Cryptol.TypeCheck.Solver.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 | |
1 (Data Constructor) | Cryptol.TypeCheck.Solver.InfNat |
2 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
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 |
InfNat | Cryptol.TypeCheck.Solver.CrySAT |
initialModuleEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem |
inNewScope | Cryptol.TypeCheck.Monad |
inpMonoBinds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpNameSeeds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpNewtypes | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
inpRange | 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 |
interpImport | Cryptol.ModuleSystem.Interface |
Interval | |
1 (Type/Class) | Cryptol.TypeCheck.Solver.Interval |
2 (Data Constructor) | Cryptol.TypeCheck.Solver.Interval |
intToName | Cryptol.TypeCheck.PP |
InvalidChar | Cryptol.Parser.Lexer |
InvalidIndex | Cryptol.Eval.Error, Cryptol.Eval |
invalidIndex | Cryptol.Eval.Error |
InvalidString | Cryptol.Parser.Lexer |
io | |
1 (Function) | Cryptol.TypeCheck.Monad |
2 (Function) | Cryptol.ModuleSystem.Monad |
3 (Function) | Cryptol.REPL.Monad |
iRange | Cryptol.TypeCheck.Monad |
isBoundTV | Cryptol.TypeCheck.AST |
isEmpty | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
isEmptySubst | Cryptol.TypeCheck.Subst |
isExportedBind | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
isExportedType | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
IsExternal | Cryptol.TypeCheck.Monad |
IsFact | Cryptol.TypeCheck.Solver.FinOrd |
isFinite | Cryptol.TypeCheck.Solver.Interval |
isFreeTV | Cryptol.TypeCheck.AST |
isKnownLeq | Cryptol.TypeCheck.Solver.FinOrd |
isLoaded | |
1 (Function) | Cryptol.ModuleSystem.Env |
2 (Function) | Cryptol.ModuleSystem.Monad |
IsLocal | Cryptol.TypeCheck.Monad |
iSolvedHas | Cryptol.TypeCheck.Monad |
iSolvedHasLazy | Cryptol.TypeCheck.Monad |
iSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
isSimpleType | Cryptol.TypeCheck.Solver.Eval |
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.Interval |
iSubst | Cryptol.TypeCheck.Monad |
ites | Cryptol.Symbolic.Prims |
iteValue | Cryptol.Symbolic.Value |
iTSyns | Cryptol.TypeCheck.Monad |
iTVars | Cryptol.TypeCheck.Monad |
iVars | Cryptol.TypeCheck.Monad |
iWarnings | Cryptol.TypeCheck.Monad |
iWidth | Cryptol.TypeCheck.Solver.Interval |
joinV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
K | Cryptol.TypeCheck.Solver.CrySAT |
kExistTVar | Cryptol.TypeCheck.Monad |
Kind | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Type/Class) | Cryptol.TypeCheck.AST |
KindM | Cryptol.TypeCheck.Monad |
KindMismatch | 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 |
knownExts | Cryptol.Parser.Unlit |
knownInterval | Cryptol.TypeCheck.Solver.FinOrd |
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_error | Cryptol.Parser.Lexer |
KW_extern | Cryptol.Parser.Lexer |
KW_False | 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_join | 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_pdiv | Cryptol.Parser.Lexer |
KW_pmod | Cryptol.Parser.Lexer |
KW_pmult | Cryptol.Parser.Lexer |
KW_pragma | Cryptol.Parser.Lexer |
KW_private | Cryptol.Parser.Lexer |
KW_property | Cryptol.Parser.Lexer |
KW_random | Cryptol.Parser.Lexer |
KW_reverse | Cryptol.Parser.Lexer |
KW_split | Cryptol.Parser.Lexer |
KW_splitAt | Cryptol.Parser.Lexer |
KW_then | Cryptol.Parser.Lexer |
KW_transpose | Cryptol.Parser.Lexer |
KW_True | Cryptol.Parser.Lexer |
KW_type | Cryptol.Parser.Lexer |
KW_where | Cryptol.Parser.Lexer |
KW_x | Cryptol.Parser.Lexer |
KW_zero | 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 |
lbrace | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
lbrack | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
leaves | Cryptol.REPL.Trie |
LeftAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
LeftMode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
LenFromThen | Cryptol.TypeCheck.Solver.CrySAT |
LenFromThenTo | Cryptol.TypeCheck.Solver.CrySAT |
LEQ | Cryptol.Parser.Lexer |
LessThan | Cryptol.Parser.Lexer |
Let | Cryptol.TypeCheck.AST |
LetInput | Cryptol.Parser.AST |
lexCompare | Cryptol.Prims.Eval |
lexer | Cryptol.Parser.Lexer |
LexicalError | Cryptol.Parser.Lexer |
Lg2 | Cryptol.TypeCheck.Solver.CrySAT |
lg2 | Cryptol.Prims.Eval |
liftBinArith | Cryptol.Prims.Eval |
liftModuleCmd | Cryptol.REPL.Command |
liftSpecT | Cryptol.Transform.Specialize |
line | Cryptol.Parser.Position |
LineComment | Cryptol.Parser.Lexer |
lineLength | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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.Parser.AST |
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 |
loadModuleEnv | Cryptol.ModuleSystem.Env |
loadPrelude | Cryptol.REPL.Command |
Local | Cryptol.ModuleSystem.NamingEnv |
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 |
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 |
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 |
lowerBound | Cryptol.TypeCheck.Solver.Interval |
lparen | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
lPath | Cryptol.REPL.Monad |
LQName | Cryptol.Parser.AST |
LString | Cryptol.Parser.AST |
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 |
matchingBoundNames | Cryptol.Transform.Specialize |
MatchLet | Cryptol.Parser.AST |
Max | Cryptol.TypeCheck.Solver.CrySAT |
maxBigIntWidth | Cryptol.Eval.Arch |
maxV | Cryptol.Prims.Eval |
mDecls | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
mdp | Cryptol.Symbolic.Prims |
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 |
mergeValue | Cryptol.Symbolic.Value |
meSearchPath | 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.CrySAT |
Minus | Cryptol.Parser.Lexer |
minV | Cryptol.Prims.Eval |
mkBv | Cryptol.Eval.Value |
mkIfaceDecl | Cryptol.ModuleSystem.Interface |
mkQual | Cryptol.Parser.AST |
mkScc | Cryptol.TypeCheck.Depends |
mkUnqual | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
mName | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
mNewtypes | Cryptol.TypeCheck.AST |
Mod | |
1 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Data Constructor) | Cryptol.Parser.Lexer |
Mode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
mode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 | |
1 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
modRange | Cryptol.Parser.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 |
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 |
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.AST |
move | Cryptol.Parser.Position |
moves | Cryptol.Parser.Position |
mTySyns | Cryptol.TypeCheck.AST |
Mul | Cryptol.Parser.Lexer |
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.TypeCheck.Solver.CrySAT |
2 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
3 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
name | Cryptol.Parser.AST |
Named | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
NamedInst | Cryptol.Parser.AST |
nameList | Cryptol.TypeCheck.PP |
NameMap | Cryptol.TypeCheck.PP |
NameOrigin | Cryptol.ModuleSystem.NamingEnv |
namesArm | Cryptol.Parser.Names |
namesB | Cryptol.Parser.Names |
namesD | 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 |
NamingEnv | |
1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv |
namingEnv | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
Nat | |
1 (Data Constructor) | Cryptol.TypeCheck.Solver.InfNat |
2 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
Nat' | Cryptol.TypeCheck.Solver.InfNat |
nBody | Cryptol.Parser.AST |
nDiv | Cryptol.TypeCheck.Solver.InfNat |
neExprs | Cryptol.ModuleSystem.NamingEnv |
nest | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
neTypes | Cryptol.ModuleSystem.NamingEnv |
newGoal | Cryptol.TypeCheck.Monad |
newGoalName | Cryptol.TypeCheck.Monad |
newGoals | Cryptol.TypeCheck.Monad |
newHasGoal | Cryptol.TypeCheck.Monad |
NewName | Cryptol.Parser.AST, Cryptol.TypeCheck.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 |
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 |
Node | Cryptol.REPL.Trie |
noFacts | Cryptol.TypeCheck.Solver.FinOrd |
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 |
None | Cryptol.Parser.Unlit, Cryptol.Parser |
NonRecursive | Cryptol.TypeCheck.AST |
NoPat | 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 |
noProps | Cryptol.TypeCheck.Solver.CrySAT |
Not | Cryptol.TypeCheck.Solver.CrySAT |
NotEqual | Cryptol.Parser.Lexer |
NotEqualFun | Cryptol.Parser.Lexer |
NotForAll | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
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 |
nullTM | Cryptol.TypeCheck.TypeMap |
Num | Cryptol.Parser.Lexer |
numericStep | Cryptol.TypeCheck.Solver.Numeric |
NumInfo | Cryptol.Parser.AST |
numTValue | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
numType | Cryptol.Symbolic |
nWidth | Cryptol.TypeCheck.Solver.InfNat |
OctLit | Cryptol.Parser.AST |
OK | Cryptol.TypeCheck.Unify |
OneLineMode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
oneOrMore | Cryptol.TypeCheck.Solver.Eval |
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 |
OrdAdded | Cryptol.TypeCheck.Solver.FinOrd |
OrdAlreadyKnown | Cryptol.TypeCheck.Solver.FinOrd |
OrdCannot | Cryptol.TypeCheck.Solver.FinOrd |
orderBinds | Cryptol.TypeCheck.Depends |
orderTyDecls | Cryptol.TypeCheck.Depends |
OrdFacts | Cryptol.TypeCheck.Solver.FinOrd |
ordFactsToGoals | Cryptol.TypeCheck.Solver.FinOrd |
ordFactsToProps | Cryptol.TypeCheck.Solver.FinOrd |
OrdImpossible | Cryptol.TypeCheck.Solver.FinOrd |
OrdImprove | Cryptol.TypeCheck.Solver.FinOrd |
ordinal | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ordSuffix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
origin | Cryptol.ModuleSystem.NamingEnv |
OtherFailure | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
OtherIOError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem |
otherIOError | Cryptol.ModuleSystem.Monad |
OverlappingSyms | Cryptol.ModuleSystem.Renamer |
packWord | Cryptol.Eval.Value |
PageMode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
panic | Cryptol.Utils.Panic |
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 |
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.AST |
2 (Data Constructor) | Cryptol.Testing.Eval |
Pattern | Cryptol.Parser.AST |
PC | |
1 (Type/Class) | Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
PCmp | Cryptol.TypeCheck.AST |
pCmp | Cryptol.TypeCheck.AST |
PEqual | Cryptol.TypeCheck.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 |
Plus | Cryptol.Parser.Lexer |
PNeq | Cryptol.TypeCheck.AST |
PolyLit | Cryptol.Parser.AST |
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 |
ppIncludeError | Cryptol.Parser.NoInclude |
ppInfix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ppLam | Cryptol.TypeCheck.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 |
ppPrefix | Cryptol.Prims.Syntax |
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.ModuleSystem.Base |
prependSearchPath | Cryptol.REPL.Monad |
PreProc | Cryptol.Parser.Unlit, Cryptol.Parser |
pretty | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
primLexer | Cryptol.Parser.Lexer |
Private | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
Program | |
1 (Type/Class) | Cryptol.Parser.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
Prop | |
1 (Type/Class) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Type/Class) | Cryptol.Parser.AST |
3 (Type/Class) | Cryptol.TypeCheck.AST |
PropSet | Cryptol.TypeCheck.Solver.CrySAT |
protectStack | Cryptol.Symbolic |
proveImplication | Cryptol.TypeCheck.Solve |
proverConfigs | Cryptol.Symbolic |
ProverError | Cryptol.Symbolic |
proverNames | Cryptol.Symbolic |
ProverResult | Cryptol.Symbolic |
PSplit | Cryptol.Parser.AST |
PStr | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ptext | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
QName | |
1 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
qname | Cryptol.ModuleSystem.NamingEnv |
qualifiedEnv | Cryptol.ModuleSystem.Env |
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 |
rational | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
rbrace | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
rbrack | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
reifyName | Cryptol.Transform.Specialize |
removeIncludes | Cryptol.Parser.NoInclude |
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 |
renameDecls | Cryptol.ModuleSystem.Base |
renameExpr | Cryptol.ModuleSystem.Base |
renameModule | 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 |
render | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
renderStyle | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
reorderArgs | Cryptol.TypeCheck.Solver.Eval |
RepeatedDefinitions | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
RepeatedTyParams | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
REPL | |
1 (Type/Class) | Cryptol.REPL.Monad |
2 (Data Constructor) | Cryptol.REPL.Monad |
REPLException | Cryptol.REPL.Monad |
replicateV | Cryptol.Symbolic.Prims |
ReplInput | Cryptol.Parser.AST |
replParse | Cryptol.REPL.Command |
resetModuleEnv | Cryptol.ModuleSystem.Env |
Result | |
1 (Type/Class) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Type/Class) | Cryptol.TypeCheck.Unify |
rethrowEvalError | Cryptol.REPL.Monad |
rewModule | Cryptol.Transform.MonoValues |
ribbonsPerLine | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
RightAssoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
rotateLS | Cryptol.Prims.Eval |
rotateLW | Cryptol.Prims.Eval |
rotateRS | Cryptol.Prims.Eval |
rotateRW | Cryptol.Prims.Eval |
RotL | Cryptol.Parser.Lexer |
RotR | Cryptol.Parser.Lexer |
rparen | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
rPrint | Cryptol.REPL.Monad |
rPutStr | Cryptol.REPL.Monad |
rPutStrLn | Cryptol.REPL.Monad |
runCommand | Cryptol.REPL.Command |
runInferM | Cryptol.TypeCheck.Monad |
runKindM | Cryptol.TypeCheck.Monad |
runModuleM | Cryptol.ModuleSystem.Monad |
runModuleT | Cryptol.ModuleSystem.Monad |
runOneTest | |
1 (Function) | Cryptol.Testing.Eval |
2 (Function) | Cryptol.Testing.Random |
3 (Function) | Cryptol.Testing.Exhaust |
runRenamer | Cryptol.ModuleSystem.Renamer |
runREPL | Cryptol.REPL.Monad |
runSpecT | Cryptol.Transform.Specialize |
RW | |
1 (Type/Class) | Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.Monad |
S | Cryptol.TypeCheck.Subst |
sanitize | Cryptol.REPL.Command |
Sat | Cryptol.TypeCheck.Solver.CrySAT |
satProve | Cryptol.Symbolic |
satProveOffline | Cryptol.Symbolic |
SatResult | 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 |
semi | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
setPutStr | Cryptol.REPL.Monad |
setSearchPath | Cryptol.REPL.Monad |
setSpecCache | Cryptol.Transform.Specialize |
setUpdateREPLTitle | Cryptol.REPL.Monad |
setUser | Cryptol.REPL.Monad |
sExp | Cryptol.Symbolic.Prims |
shadowing | |
1 (Function) | Cryptol.ModuleSystem.Interface |
2 (Function) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer |
ShellArg | Cryptol.REPL.Command |
ShiftL | Cryptol.Parser.Lexer |
shiftLS | Cryptol.Prims.Eval |
shiftLW | Cryptol.Prims.Eval |
ShiftR | Cryptol.Parser.Lexer |
shiftRS | Cryptol.Prims.Eval |
shiftRW | Cryptol.Prims.Eval |
shouldContinue | Cryptol.REPL.Monad |
SignatureNoBind | Cryptol.Parser.NoPat |
simpDelayed | Cryptol.TypeCheck.Solver.Smtlib |
simpFin | Cryptol.TypeCheck.Solver.Numeric |
simplifyAllConstraints | Cryptol.TypeCheck.Solve |
simpMonoBind | Cryptol.TypeCheck.Infer |
simpType | Cryptol.TypeCheck.Solver.Eval |
singleSubst | Cryptol.TypeCheck.Subst |
singletonE | Cryptol.ModuleSystem.NamingEnv |
singletonT | Cryptol.ModuleSystem.NamingEnv |
sizedText | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
sLg2 | Cryptol.Symbolic.Prims |
smallest | Cryptol.TypeCheck.Infer |
Smoke | Cryptol.REPL.Monad |
smokeTest | Cryptol.REPL.Monad |
smtMode | Cryptol.Symbolic |
Solved | |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
solveHasGoal | Cryptol.TypeCheck.Monad |
source | Cryptol.Parser.Position |
Space | Cryptol.Parser.Lexer |
space | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
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 |
splitMins | Cryptol.TypeCheck.Solver.Utils |
splitProofAbs | Cryptol.TypeCheck.AST |
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 |
Str | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
StrLit | Cryptol.Parser.Lexer |
Style | |
1 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
2 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
style | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
SType | Cryptol.TypeCheck.AST |
sType | Cryptol.TypeCheck.AST |
Subst | Cryptol.TypeCheck.Subst |
substToList | Cryptol.TypeCheck.Subst |
suDefaulting | Cryptol.TypeCheck.Subst |
suMap | Cryptol.TypeCheck.Subst |
sVars | Cryptol.TypeCheck.AST |
SWord | Cryptol.Symbolic.Value |
Sym | Cryptol.Parser.Lexer |
SymbolShadowed | Cryptol.ModuleSystem.Renamer |
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 | Cryptol.ModuleSystem.Base |
TCAdd | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCBit | Cryptol.TypeCheck.AST |
tcDecls | Cryptol.TypeCheck |
TCDiv | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCExp | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
tcExpr | 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 |
TCLg2 | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCMax | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCMin | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
TCMod | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
tcModule | 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 |
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.Random |
2 (Function) | Cryptol.Testing.Exhaust |
TestResult | Cryptol.Testing.Eval |
text | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
TextDetails | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
TF | Cryptol.TypeCheck.AST |
tfAdd | Cryptol.TypeCheck.Solver.Eval |
tfDiv | Cryptol.TypeCheck.Solver.Eval |
tfExp | Cryptol.TypeCheck.Solver.Eval |
tfLenFromThen | Cryptol.TypeCheck.Solver.Eval |
tfLenFromThenTo | Cryptol.TypeCheck.Solver.Eval |
tfLg2 | Cryptol.TypeCheck.Solver.Eval |
tfMax | Cryptol.TypeCheck.Solver.Eval |
tfMin | Cryptol.TypeCheck.Solver.Eval |
tfMod | Cryptol.TypeCheck.Solver.Eval |
tfMul | Cryptol.TypeCheck.Solver.Eval |
TFromMod | Cryptol.ModuleSystem.NamingEnv |
TFromNewtype | Cryptol.ModuleSystem.NamingEnv |
TFromParam | Cryptol.ModuleSystem.NamingEnv |
TFromSyn | Cryptol.ModuleSystem.NamingEnv |
tfSub | Cryptol.TypeCheck.Solver.Eval |
TFun | |
1 (Type/Class) | Cryptol.Prims.Syntax, Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.Parser.AST |
tFun | Cryptol.TypeCheck.AST |
tfWidth | Cryptol.TypeCheck.Solver.Eval |
thing | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST |
ThmResult | Cryptol.Symbolic |
thmSMTResults | Cryptol.Symbolic |
TInf | Cryptol.Parser.AST |
tInf | Cryptol.TypeCheck.AST |
tIsBit | Cryptol.TypeCheck.AST |
tIsFun | Cryptol.TypeCheck.AST |
tIsInf | 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 |
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 |
TName | Cryptol.ModuleSystem.NamingEnv |
tnamesB | Cryptol.Parser.Names |
tnamesC | Cryptol.Parser.Names |
tnamesD | 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 |
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 |
TokenOp | 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 |
toName | Cryptol.TypeCheck.Solver.CrySAT |
toNat' | Cryptol.TypeCheck.Solver.Eval |
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 |
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 |
tpKind | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
tpName | |
1 (Function) | Cryptol.Parser.AST |
2 (Function) | Cryptol.TypeCheck.AST |
tpQName | Cryptol.Parser.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.Transform.Specialize |
2 (Function) | Cryptol.Symbolic.Prims |
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 |
tryDefault | Cryptol.TypeCheck.Defaulting |
tryDefaultWith | Cryptol.TypeCheck.Defaulting |
tryGetUser | Cryptol.REPL.Monad |
tryHasGoal | Cryptol.TypeCheck.Solver.Selector |
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 |
tString | Cryptol.TypeCheck.AST |
TTuple | Cryptol.Parser.AST |
tTuple | Cryptol.TypeCheck.AST |
tTwo | Cryptol.TypeCheck.AST |
TupleSel | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
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 |
twoOrMore | Cryptol.TypeCheck.Solver.Eval |
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.Eval |
typeKnownFin | Cryptol.TypeCheck.Solver.Eval |
typeKnownLeq | Cryptol.TypeCheck.Solver.Eval |
TypeMap | Cryptol.TypeCheck.TypeMap |
TypeMismatch | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
TypeNotTestable | Cryptol.REPL.Monad |
typeOf | Cryptol.Prims.Types |
typeParams | Cryptol.TypeCheck.Monad |
typeSize | Cryptol.Testing.Exhaust |
TypesMap | Cryptol.TypeCheck.TypeMap |
TypeVal | Cryptol.Symbolic.Prims |
typeValues | Cryptol.Testing.Exhaust |
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 |
UndefinedVariable | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
Underscore | Cryptol.Parser.Lexer |
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 | |
1 (Data Constructor) | Cryptol.TypeCheck.Solver.CrySAT |
2 (Data Constructor) | Cryptol.REPL.Command |
unlessBatch | Cryptol.REPL.Monad |
unLit | Cryptol.Parser.Unlit |
unloadModule | Cryptol.ModuleSystem.Monad |
unModuleT | Cryptol.ModuleSystem.Monad |
unpackWord | Cryptol.Eval.Value |
unqual | Cryptol.Parser.AST, Cryptol.TypeCheck.AST |
unqualified | Cryptol.ModuleSystem.Interface |
unREPL | Cryptol.REPL.Monad |
Unsat | Cryptol.TypeCheck.Solver.CrySAT |
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 |
updateREPLTitle | Cryptol.REPL.Monad |
upperBound | Cryptol.TypeCheck.Solver.Interval |
useAscii | Cryptol.Eval.Value |
useBase | Cryptol.Eval.Value |
useInfLength | Cryptol.Eval.Value |
UserError | Cryptol.Eval.Error, Cryptol.Eval |
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.CrySAT |
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 |
VFun | Cryptol.Eval.Value, Cryptol.Symbolic.Value |
Virt | Cryptol.Parser.Lexer |
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 |
whenDebug | Cryptol.REPL.Monad |
White | Cryptol.Parser.Lexer |
Width | Cryptol.TypeCheck.Solver.CrySAT |
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 |
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 |
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 |
Xor | Cryptol.Parser.Lexer |
zeroV | |
1 (Function) | Cryptol.Prims.Eval |
2 (Function) | Cryptol.Symbolic.Prims |
zeroWidthText | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
ZigZagMode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
zipLexCompare | Cryptol.Prims.Eval |