cryptol-3.0.0: Cryptol: The Language of Cryptography

Index

!$ | Cryptol.TypeCheck.Subst
$$ |
1 (Function) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
2 (Function) | Cryptol.TypeCheck.Parseable
&&& | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
.$ | Cryptol.TypeCheck.Subst
:-> | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
<+> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
<.> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
</> | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
<~ | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
=#= | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
=/= | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
>< | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
>== | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
@@ | Cryptol.TypeCheck.Subst
aAnd | Cryptol.TypeCheck.TypePat
aBit | Cryptol.TypeCheck.TypePat
abortIfErrors | Cryptol.TypeCheck.Monad
AbstractType |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
abstractTypeTC | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
aCeilDiv | Cryptol.TypeCheck.TypePat
aCeilMod | Cryptol.TypeCheck.TypePat
aChar | Cryptol.TypeCheck.TypePat
Act | Cryptol.ModuleSystem.Base
addDecls | Cryptol.TypeCheck.Monad
addDefEqn |
1 (Function) | Cryptol.Backend.What4
2 (Function) | Cryptol.Backend.SBV
addDep | Cryptol.ModuleSystem.Renamer.Monad
addFunctors | Cryptol.TypeCheck.Monad
addGoals | Cryptol.TypeCheck.Monad
addHasGoal | Cryptol.TypeCheck.Monad
addImplicitNestedImports | Cryptol.ModuleSystem.Renamer.ImplicitImports
addLoadedModule | Cryptol.ModuleSystem.Env
addLoadedSignature | Cryptol.ModuleSystem.Env
AddLoc | Cryptol.Parser.Position
addLoc | Cryptol.Parser.Position
addModParam | Cryptol.TypeCheck.Monad
addNewtype | Cryptol.TypeCheck.Monad
addParameterConstraints | Cryptol.TypeCheck.Monad
addParamFun | Cryptol.TypeCheck.Monad
AddParams | Cryptol.Parser.AST
addParamType | Cryptol.TypeCheck.Monad
addPrelude | Cryptol.ModuleSystem.Base
addPrimType | Cryptol.TypeCheck.Monad
addSafety | Cryptol.Backend.What4
addSignatures | Cryptol.TypeCheck.Monad
addSubmodules | Cryptol.TypeCheck.Monad
addTNames | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
addTVarsDescsAfter | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
addTVarsDescsBefore | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
addTySyn | Cryptol.TypeCheck.Monad
addV | Cryptol.Eval.Generic
adjustField | Cryptol.Utils.RecordMap
aesFinalRound | Cryptol.AES
aesInvFinalRound | Cryptol.AES
aesInvRound | Cryptol.AES
aesRound | Cryptol.AES
aFin | Cryptol.TypeCheck.TypePat
aFreeTVar | Cryptol.TypeCheck.TypePat
AFunctor | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports
aInf | Cryptol.TypeCheck.TypePat
aLenFromThenTo | Cryptol.TypeCheck.TypePat
align | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
aLiteral | Cryptol.TypeCheck.TypePat
aLiteralLessThan | Cryptol.TypeCheck.TypePat
allDeclGroups |
1 (Function) | Cryptol.ModuleSystem.Env
2 (Function) | Cryptol.Transform.Specialize
allExported | Cryptol.ModuleSystem.Exports
allNamespaces | Cryptol.Utils.Ident
allowWild | Cryptol.TypeCheck.Monad
AllowWildCards |
1 (Type/Class) | Cryptol.TypeCheck.Monad
2 (Data Constructor) | Cryptol.TypeCheck.Monad
allParamNames | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
AllSat | Cryptol.Symbolic
AllSatResult | Cryptol.Symbolic
ALoadedFunctor | Cryptol.ModuleSystem.Env
ALoadedInterface | Cryptol.ModuleSystem.Env
ALoadedModule | Cryptol.ModuleSystem.Env
aLogic | Cryptol.TypeCheck.TypePat
alterTM | Cryptol.TypeCheck.TypeMap
aMax | Cryptol.TypeCheck.TypePat
Ambig | Cryptol.ModuleSystem.Names
Ambiguous | Cryptol.REPL.Command
AmbiguousSize | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
aMin | Cryptol.TypeCheck.TypePat
AModule | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports
aMul | Cryptol.TypeCheck.TypePat
anAbstractType | Cryptol.TypeCheck.TypePat
anAdd | Cryptol.TypeCheck.TypePat
aNat | Cryptol.TypeCheck.TypePat
aNat' | Cryptol.TypeCheck.TypePat
andV | Cryptol.Eval.Generic
anError | Cryptol.TypeCheck.TypePat
anyJust | Cryptol.Utils.Misc
anyJust2 | Cryptol.Utils.Misc
anyOne | Cryptol.ModuleSystem.Names
apPathRoot | Cryptol.Utils.Ident
applySubst | Cryptol.TypeCheck.Monad
applySubstGoals | Cryptol.TypeCheck.Monad
applySubstPreds | Cryptol.TypeCheck.Monad
applySubstToVar | Cryptol.TypeCheck.Subst
apSubst | Cryptol.TypeCheck.Subst
apSubstMaybe | Cryptol.TypeCheck.Subst
apSubstTypeMapKeys | Cryptol.TypeCheck.Subst
aRec | Cryptol.TypeCheck.TypePat
AreSame | Cryptol.TypeCheck.Sanity
ArgDescr |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
argDescrFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
argDescrNumber | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
arrayName | Cryptol.Utils.Ident
arrayPrim | Cryptol.Utils.Ident
ArrL | Cryptol.Parser.Token, Cryptol.Parser.Lexer
ArrR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
asBatch | Cryptol.REPL.Monad
asBitsMap | Cryptol.Backend.WordValue
asciiMode | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval.Value
asEApps | Cryptol.Parser.AST
aSeq | Cryptol.TypeCheck.TypePat
ashr | Cryptol.Backend.SBV
ASignature | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports
asIndex | Cryptol.Eval.Value
asLocal | Cryptol.ModuleSystem.Name
asOrigName | Cryptol.ModuleSystem.Name
asPrim | Cryptol.ModuleSystem.Name
assertBVDivisor | Cryptol.Backend.What4
assertIndexInBounds | Cryptol.Eval.Generic
assertIntDivisor | Cryptol.Backend.What4
assertSideCondition | Cryptol.Backend, Cryptol.Eval.Value
assertWordValueInBounds | Cryptol.Backend.WordValue
Assoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST
assume | Cryptol.TypeCheck.Solver.SMT
asWordList | Cryptol.Backend.WordValue
asWordVal | Cryptol.Backend.WordValue
At | Cryptol.Parser.Token
at | Cryptol.Parser.Position
atCtrs | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
atDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
atFixitiy | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
atKind | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
atName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
aTrue | Cryptol.TypeCheck.TypePat
aTuple | Cryptol.TypeCheck.TypePat
aTVar | Cryptol.TypeCheck.TypePat
AutoExponent | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
aWidth | Cryptol.TypeCheck.TypePat
aWord | Cryptol.TypeCheck.TypePat
Backend | Cryptol.Backend, Cryptol.Eval.Value
BackTick | Cryptol.Parser.Token, Cryptol.Parser.Lexer
backticks | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
BadApplication | Cryptol.TypeCheck.Sanity
BadBacktickInstance | Cryptol.TypeCheck.Error
BadInstantiation | Cryptol.TypeCheck.Sanity
BadMatch | Cryptol.TypeCheck.Sanity
BadParameterKind | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
BadProofNoAbs | Cryptol.TypeCheck.Sanity
BadProofTyVars | Cryptol.TypeCheck.Sanity
BadRoundingMode | Cryptol.Backend.Monad, Cryptol.Eval
BadSelector | Cryptol.TypeCheck.Sanity
BadTypeApplication | Cryptol.TypeCheck.Sanity
BadUtf8 | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
badUtf8 | Cryptol.ModuleSystem.Monad
BadValue | Cryptol.Backend.Monad, Cryptol.Eval
Bar | Cryptol.Parser.Token, Cryptol.Parser.Lexer
BareTypeApp | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
barrelShifter | Cryptol.Backend.SeqMap
bDef | Cryptol.Parser.AST
bDoc | Cryptol.Parser.AST
benchAvgCpuTime | Cryptol.Utils.Benchmark
benchAvgCycles | Cryptol.Utils.Benchmark
benchAvgTime | Cryptol.Utils.Benchmark
benchmark | Cryptol.Utils.Benchmark
benchmarkExpr |
1 (Function) | Cryptol.ModuleSystem.Base
2 (Function) | Cryptol.ModuleSystem
BenchmarkStats |
1 (Type/Class) | Cryptol.Utils.Benchmark
2 (Data Constructor) | Cryptol.Utils.Benchmark
bExport | Cryptol.Parser.AST
BF |
1 (Type/Class) | Cryptol.Backend.FloatHelpers
2 (Data Constructor) | Cryptol.Backend.FloatHelpers
bfExpWidth | Cryptol.Backend.FloatHelpers
bFixity | Cryptol.Parser.AST
bfPrecWidth | Cryptol.Backend.FloatHelpers
bfValue | Cryptol.Backend.FloatHelpers
BIAbstractType | Cryptol.TypeCheck.Error
BIForeign | Cryptol.TypeCheck.Error
BIFunctor | Cryptol.TypeCheck.Error
bigNatToInteger | Cryptol.PrimeEC
BIInterface | Cryptol.TypeCheck.Error
BIMultipleParams | Cryptol.TypeCheck.Error
Binary | Cryptol.Eval.Generic
binary | Cryptol.Eval.Generic
binBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
Bind |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
BindDef | Cryptol.Parser.AST
BindsNames | Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer
bindType | Cryptol.Eval.Env
bindTypeVar | Cryptol.Eval.Type
bindVar |
1 (Function) | Cryptol.TypeCheck.Unify
2 (Function) | Cryptol.Eval.Env
bindVarDirect | Cryptol.Eval.Env
BINested | Cryptol.TypeCheck.Error
bInfix | Cryptol.Parser.AST
BinFrac | Cryptol.Parser.AST
BinLit | Cryptol.Parser.AST
BinWord | Cryptol.Eval.Generic
BIPolymorphicArgument | Cryptol.TypeCheck.Error
BIPrimitive | Cryptol.TypeCheck.Error
bitAnd | Cryptol.Backend, Cryptol.Eval.Value
bitAsLit | Cryptol.Backend, Cryptol.Eval.Value
bitComplement | Cryptol.Backend, Cryptol.Eval.Value
bitEq | Cryptol.Backend, Cryptol.Eval.Value
bitGreaterThan | Cryptol.Eval.Generic
BitIndexSegment | Cryptol.Backend.SeqMap
bitLessThan | Cryptol.Eval.Generic
bitLit | Cryptol.Backend, Cryptol.Eval.Value
bitmapWordVal | Cryptol.Backend.WordValue
bitOr | Cryptol.Backend, Cryptol.Eval.Value
bitXor | Cryptol.Backend, Cryptol.Eval.Value
BIWhat | Cryptol.TypeCheck.Error
blackhole | Cryptol.Backend.Monad
Block | Cryptol.Parser.Layout
BlockComment | Cryptol.Parser.Token, Cryptol.Parser.Lexer
bMono | Cryptol.Parser.AST
bName | Cryptol.Parser.AST
boundNames | Cryptol.Parser.Names
boundNamesSet | Cryptol.Parser.Names
bParams | Cryptol.Parser.AST
bPragmas | Cryptol.Parser.AST
braces | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
BracketL | Cryptol.Parser.Token, Cryptol.Parser.Lexer
BracketR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
brackets | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
BrowseExported | Cryptol.REPL.Browse
BrowseHow | Cryptol.REPL.Browse
BrowseInScope | Cryptol.REPL.Browse
browseModContext | Cryptol.REPL.Browse
bSignature | Cryptol.Parser.AST
builtInType | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
bumpCounter | Cryptol.TypeCheck.Monad
BV |
1 (Type/Class) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
2 (Data Constructor) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
bvVal | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
calc_k | Cryptol.SHA
callForeignImpl | Cryptol.Backend.FFI
CallStack | Cryptol.Backend.Monad
CannotMixPositionalAndNamedTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
canonicalFields | Cryptol.Utils.RecordMap
CanonicalOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
CantFindFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
cantFindFile | Cryptol.ModuleSystem.Monad
CantLoadFFIImpl | Cryptol.Backend.FFI.Error
CantLoadFFISrc | Cryptol.Backend.FFI.Error
Captured | Cryptol.TypeCheck.Sanity
cArgs | Cryptol.REPL.Command
catch | Cryptol.REPL.Monad
cBody | Cryptol.REPL.Command
ccatV | Cryptol.Eval.Generic
ceilingV | Cryptol.Eval.Generic
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
cfgStart | Cryptol.Parser.Lexer, Cryptol.Parser
char | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
CheckAll | Cryptol.ModuleSystem.Renamer.Monad
checkDecls |
1 (Function) | Cryptol.ModuleSystem.Base
2 (Function) | Cryptol.ModuleSystem
checkE | Cryptol.TypeCheck.Infer
Checked | Cryptol.TypeCheck.Instantiate
checkExpr |
1 (Function) | Cryptol.ModuleSystem.Base
2 (Function) | Cryptol.ModuleSystem
checkIsModule | Cryptol.ModuleSystem.Renamer.Monad
checkModule | Cryptol.ModuleSystem.Base
checkModuleByPath | Cryptol.ModuleSystem
checkNewtype | Cryptol.TypeCheck.Kind
CheckNone | Cryptol.ModuleSystem.Renamer.Monad
CheckOverlap | Cryptol.ModuleSystem.Renamer.Monad
checkOverlap | Cryptol.ModuleSystem.Renamer.Monad
checkParameterConstraints | Cryptol.TypeCheck.Kind
checkParameterType | Cryptol.TypeCheck.Kind
checkParamKind | Cryptol.TypeCheck.Monad
checkPrimType | Cryptol.TypeCheck.Kind
checkProp | Cryptol.Eval
checkPropGuards | Cryptol.TypeCheck.Kind
checkPropSyn | Cryptol.TypeCheck.Kind
checkSchema | Cryptol.TypeCheck.Kind
checkShadowing | Cryptol.ModuleSystem.Renamer.Monad
checkSigB | Cryptol.TypeCheck.Infer
checkThat | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
checkTopDecls | Cryptol.TypeCheck.Infer
checkTShadowing | Cryptol.TypeCheck.Monad
checkType | Cryptol.TypeCheck.Kind
checkTySyn | Cryptol.TypeCheck.Kind
checkUnsolvable | Cryptol.TypeCheck.Solver.SMT
cHelp | Cryptol.REPL.Command
ChrLit | Cryptol.Parser.Token, Cryptol.Parser.Lexer
cleanupErrors | Cryptol.TypeCheck.Error
clearEditPath | Cryptol.REPL.Monad
clearLoadedMod | Cryptol.REPL.Monad
cLongHelp | Cryptol.REPL.Command
cmpNameDisplay | Cryptol.ModuleSystem.Name
cmpValue | Cryptol.Eval.Generic
cNames | Cryptol.REPL.Command
col | Cryptol.Parser.Position
collectGoals | Cryptol.TypeCheck.Monad
collectIfaceDeps | Cryptol.ModuleSystem.Renamer.Monad
Colon | Cryptol.Parser.Token, Cryptol.Parser.Lexer
colon | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
combineCallStacks | Cryptol.Backend.Monad
combLoc | Cryptol.Parser.Position
Comma | Cryptol.Parser.Token, 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
CommandError | Cryptol.REPL.Command
CommandExitCode | Cryptol.REPL.Command
commandList | Cryptol.REPL.Command
CommandOk | Cryptol.REPL.Command
commaSep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
commaSepFill | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
commitBranch | Cryptol.Version
commitDirty | Cryptol.Version
commitHash | Cryptol.Version
commitShortHash | Cryptol.Version
compareFixity | Cryptol.Utils.Fixity, Cryptol.Parser.AST
Complement | Cryptol.Parser.Token
complementV | Cryptol.Eval.Generic
computeExponent | Cryptol.Eval.Generic
computeFreeVarNames | Cryptol.TypeCheck.Error
computeModel | Cryptol.Symbolic
computePropIntervals | Cryptol.TypeCheck.Solver.Numeric.Interval
concatSeqMap | Cryptol.Backend.SeqMap
Concrete |
1 (Type/Class) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
2 (Data Constructor) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
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
ConstratintAt | Cryptol.ModuleSystem.Renamer.Error
CoreLint |
1 (Type/Class) | Cryptol.ModuleSystem.Env
2 (Data Constructor) | Cryptol.ModuleSystem.Env
CounterExample | Cryptol.Symbolic
CounterExampleType | Cryptol.Symbolic
cppKind |
1 (Function) | Cryptol.Parser.AST
2 (Function) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
cryIsEqual | Cryptol.TypeCheck.Solver.Numeric
cryIsFin | Cryptol.TypeCheck.Solver.Numeric.Fin
cryIsFinType | Cryptol.TypeCheck.Solver.Numeric.Fin
cryIsGeq | Cryptol.TypeCheck.Solver.Numeric
cryIsNotEqual | Cryptol.TypeCheck.Solver.Numeric
cryIsPrime | Cryptol.TypeCheck.Solver.Numeric
cryNoPrimError | Cryptol.Backend
Cryptol | Cryptol.Utils.Panic
CryptolPanic | Cryptol.Utils.Panic
cryUserError | Cryptol.Backend
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
CtFFI | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
CtImprovement | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
CtInst | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
CtModuleInstance | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
CtPartialTypeFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
CtPattern | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
CtPropGuardsExhaustive | 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
Ctxt | Cryptol.TypeCheck.Solver.Types
CType | Cryptol.Parser.AST
curLoc | Cryptol.ModuleSystem.Renamer.Monad
CurlyL | Cryptol.Parser.Token, Cryptol.Parser.Lexer
CurlyR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
curRange | Cryptol.TypeCheck.Monad
CurSCC | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
dbgLex | Cryptol.Parser.Lexer
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.SMT
debugLog | Cryptol.TypeCheck.Solver.SMT
debugShowUniques | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
DecFrac | Cryptol.Parser.AST
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
DeclarationRequiresSignatureCtrGrd | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
declareVars | Cryptol.TypeCheck.Solver.SMT
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
defaultAndSimplify | Cryptol.TypeCheck.Solve
defaultConfig | Cryptol.Parser.Lexer, Cryptol.Parser
defaultFixity | Cryptol.Utils.Fixity, Cryptol.Parser.AST
DefaultingKind | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
defaultingSubst | Cryptol.TypeCheck.Subst
DefaultingTo | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
DefaultingWildType | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
DefaultInstAnonArg | Cryptol.Parser.AST
DefaultInstArg | Cryptol.Parser.AST
defaultLiterals | Cryptol.TypeCheck.Default
defaultPPCfg | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
defaultPPOpts | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval.Value, Cryptol.Eval
defaultProver |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
defaultReplExpr | Cryptol.TypeCheck.Solve
defaultReplExpr' | Cryptol.TypeCheck.Default
defaultSolverConfig | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
DefinitionOf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Defs | Cryptol.IR.FreeVars
defs | Cryptol.IR.FreeVars
defsOf | Cryptol.ModuleSystem.Binds
deIfaceDecls | Cryptol.ModuleSystem.Env
DelayedCt |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
delayFill | Cryptol.Backend.Monad
delaySeqMap | Cryptol.Backend.SeqMap
delayWordValue | Cryptol.Backend.WordValue
deNames | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
DEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
depGroup | Cryptol.ModuleSystem.Renamer.Monad
DepName | Cryptol.ModuleSystem.Renamer.Error
depNameLoc | Cryptol.ModuleSystem.Renamer.Error
Deps |
1 (Type/Class) | Cryptol.IR.FreeVars
2 (Data Constructor) | Cryptol.IR.FreeVars
depsOf | Cryptol.ModuleSystem.Renamer.Monad
destEProofAbs | Cryptol.Transform.Specialize
destEProofApps | Cryptol.Transform.Specialize
destETAbs | Cryptol.Transform.Specialize
destETApps | Cryptol.Transform.Specialize
deTySyns | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
DExpr |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.AST
DFixity | Cryptol.Parser.AST
dFixity | Cryptol.TypeCheck.AST
DForeign |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.AST
diffNames | Cryptol.ModuleSystem.Names
DImport | Cryptol.Parser.AST
dInfix | Cryptol.TypeCheck.AST
DInterfaceConstraint | Cryptol.Parser.AST
DirectoryNotFound | Cryptol.REPL.Monad
displayCallStack | Cryptol.Backend.Monad
displayElements | Cryptol.Utils.RecordMap
displayFields | Cryptol.Utils.RecordMap
DisplayOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
displayOrder | Cryptol.Utils.RecordMap
displayVersion | Cryptol.Version
distinctV | Cryptol.Eval.Generic
Div | Cryptol.Parser.Token
DivideByZero | Cryptol.Backend.Monad, Cryptol.Eval
divV | Cryptol.Eval.Generic
DLocated | Cryptol.Parser.AST
DModParam | Cryptol.Parser.AST
DModule | Cryptol.Parser.AST
dName | Cryptol.TypeCheck.AST
doBacktickInstance | Cryptol.TypeCheck.ModuleBacktickInstance
Doc |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
DocStr | Cryptol.Parser.Token, Cryptol.Parser.Lexer
doEval | Cryptol.Backend.What4
doFunctorInst | Cryptol.TypeCheck.Module
doLoadModule | Cryptol.ModuleSystem.Base
doMap | Cryptol.TypeCheck.ModuleInstance
doMGU | Cryptol.TypeCheck.Unify
doSet | Cryptol.TypeCheck.ModuleInstance
Dot | Cryptol.Parser.Token, Cryptol.Parser.Lexer
DotDot | Cryptol.Parser.Token, Cryptol.Parser.Lexer
DotDotDot | Cryptol.Parser.Token, Cryptol.Parser.Lexer
DotDotGt | Cryptol.Parser.Token, Cryptol.Parser.Lexer
DotDotLt | Cryptol.Parser.Token, Cryptol.Parser.Lexer
doTInst | Cryptol.TypeCheck.ModuleInstance
doTVInst | Cryptol.TypeCheck.ModuleInstance
doVInst | Cryptol.TypeCheck.ModuleInstance
DParamDecl | Cryptol.Parser.AST
DParameterConstraint | Cryptol.Parser.AST
DParameterDecl | Cryptol.Parser.AST
DParameterFun | Cryptol.Parser.AST
DParameterType | Cryptol.Parser.AST
DPatBind | Cryptol.Parser.AST
DPragma | Cryptol.Parser.AST
dPragmas | Cryptol.TypeCheck.AST
DPrim |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.AST
DPrimType | Cryptol.Parser.AST
DProp | Cryptol.Parser.AST
DPropGuards | Cryptol.Parser.AST
DRec | Cryptol.Parser.AST
dropLoc | Cryptol.Parser.Position
dropLocs | Cryptol.TypeCheck.AST
dropSeqMap | Cryptol.Backend.SeqMap
dropV | Cryptol.Eval.Generic
dropWordVal | Cryptol.Backend.WordValue
DSignature | Cryptol.Parser.AST
dSignature | Cryptol.TypeCheck.AST
DType | Cryptol.Parser.AST
dump | Cryptol.TypeCheck.PP
dumpableType | Cryptol.Testing.Random
DuplicateModuleName | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
duplicateModuleName | Cryptol.ModuleSystem.Monad
DynamicEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
dynModContext | Cryptol.ModuleSystem.Env
E | Cryptol.Eval.Reference
EAbs | Cryptol.TypeCheck.AST
EApp |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.AST
EAppT | Cryptol.Parser.AST
ECChar | Cryptol.Parser.AST
ECFrac | Cryptol.Parser.AST
ecFractionV | Cryptol.Eval.Generic
eChar | Cryptol.TypeCheck.AST
ECNum | Cryptol.Parser.AST
ecNumberV | Cryptol.Eval.Generic
EComp |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.AST
ECString | Cryptol.Parser.AST
ec_add_nonzero | Cryptol.PrimeEC
ec_double | Cryptol.PrimeEC
ec_mult | Cryptol.PrimeEC
ec_twin_mult | Cryptol.PrimeEC
eError | Cryptol.TypeCheck.AST
EFromTo | Cryptol.Parser.AST
EFromToBy | Cryptol.Parser.AST
EFromToDownBy | Cryptol.Parser.AST
EFromToLessThan | Cryptol.Parser.AST
EFun | Cryptol.Parser.AST
EGenerate | 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 |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.AST
elseTry | Cryptol.TypeCheck.Solver.Types
EmptyArm | Cryptol.TypeCheck.Sanity
emptyEnv | Cryptol.Eval.Env, Cryptol.Eval
emptyFunDesc | Cryptol.Parser.AST
emptyGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
emptyIface | Cryptol.ModuleSystem.Interface
EmptyInput | Cryptol.Parser.AST
emptyMGU | Cryptol.TypeCheck.Unify
emptyModule | Cryptol.TypeCheck.AST
emptyModuleInstance | Cryptol.Parser.AST
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
endLocalScope | Cryptol.TypeCheck.Monad
endModule | Cryptol.TypeCheck.Monad
endSignature | Cryptol.TypeCheck.Monad
endsLayout | Cryptol.Parser.Layout
endSubmodule | Cryptol.TypeCheck.Monad
endTopSignature | Cryptol.TypeCheck.Monad
enumerateIndexSegments | Cryptol.Backend.WordValue
enumerateIntBits | Cryptol.Backend
enumerateIntBits' | Cryptol.Backend
enumerateSeqMap | Cryptol.Backend.SeqMap
enumerateWordValue | Cryptol.Backend.WordValue
enumerateWordValueRev | Cryptol.Backend.WordValue
EnvBool | Cryptol.REPL.Monad
EnvCheck | Cryptol.ModuleSystem.Renamer.Monad
EnvNum | Cryptol.REPL.Monad
EnvProg | Cryptol.REPL.Monad
EnvString | Cryptol.REPL.Monad
envTypeMap | Cryptol.Eval.Type
envTypes | Cryptol.Eval.Env
EnvVal | Cryptol.REPL.Monad
envVars | Cryptol.Eval.Env
EOF | Cryptol.Parser.Token, Cryptol.Parser.Lexer
EParens | Cryptol.Parser.AST
EPrefix | Cryptol.Parser.AST
ePrim | Cryptol.TypeCheck.AST
EProofAbs | Cryptol.TypeCheck.AST
EProofApp | Cryptol.TypeCheck.AST
EPropGuards | Cryptol.TypeCheck.AST
eqCombine | Cryptol.Eval.Generic
EqDef | Cryptol.Parser.Token, Cryptol.Parser.Lexer
Equal | Cryptol.Parser.Token
eqV | Cryptol.Eval.Generic
ERec | Cryptol.TypeCheck.AST
ERecord | Cryptol.Parser.AST
Err |
1 (Data Constructor) | Cryptol.Parser.Token, Cryptol.Parser.Lexer
2 (Data Constructor) | Cryptol.Eval.Reference
Error |
1 (Type/Class) | Cryptol.Parser.NoPat
2 (Type/Class) | Cryptol.Parser.ExpandPropGuards
3 (Type/Class) | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
4 (Type/Class) | Cryptol.TypeCheck.Sanity
errorImportance | Cryptol.TypeCheck.Error
ErrorInFile | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
errorInFile | Cryptol.ModuleSystem.Monad
errorV | Cryptol.Eval.Generic
errTok | Cryptol.Parser.Layout
ESel |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.AST
ESet | Cryptol.TypeCheck.AST
ESplit | Cryptol.Parser.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
ETypeVal | Cryptol.Parser.AST
EUpd | Cryptol.Parser.AST
Eval |
1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval
2 (Data Constructor) | Cryptol.Backend.Monad
evalConn | Cryptol.Backend.What4
evalDeclGroup | Cryptol.Eval.Reference
evalDecls |
1 (Function) | Cryptol.Eval
2 (Function) | Cryptol.ModuleSystem.Base
3 (Function) | Cryptol.ModuleSystem
EvalEnv |
1 (Data Constructor) | Cryptol.Eval.Env
2 (Type/Class) | Cryptol.Eval
EvalError |
1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval
2 (Data Constructor) | Cryptol.REPL.Monad
evalError | Cryptol.Backend.What4
EvalErrorEx |
1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval
2 (Data Constructor) | Cryptol.Backend.Monad, Cryptol.Eval
evalExpr |
1 (Function) | Cryptol.Eval
2 (Function) | Cryptol.ModuleSystem.Base
3 (Function) | Cryptol.ModuleSystem
4 (Function) | Cryptol.Eval.Reference
evalForeignDecls | Cryptol.Eval.FFI
EvalInParamModule | Cryptol.REPL.Monad
evalLogger | Cryptol.Eval.Value, Cryptol.Eval
evalNewtypeBody | Cryptol.Eval.Type
evalNewtypeDecls | Cryptol.Eval
evalNumType | Cryptol.Eval.Type
EvalOpts |
1 (Type/Class) | Cryptol.Eval.Value, Cryptol.Eval
2 (Data Constructor) | Cryptol.Eval.Value, Cryptol.Eval
evalPanic |
1 (Function) | Cryptol.Backend.Monad
2 (Function) | Cryptol.Backend.What4
3 (Function) | Cryptol.Backend.SBV
evalPartial | Cryptol.Backend.What4
EvalPolyError | Cryptol.REPL.Monad
evalPPOpts | Cryptol.Eval.Value, Cryptol.Eval
evalPrim | Cryptol.Eval.Prims
evalSel | Cryptol.Eval
evalSetSel | Cryptol.Eval
evalSpark | Cryptol.Backend.Monad
evalTF | Cryptol.Eval.Type
evalType | Cryptol.Eval.Type
evaluate | Cryptol.Eval.Reference
evalValType | Cryptol.Eval.Type
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
exhaustiveTests | Cryptol.Testing.Random
existVar | Cryptol.TypeCheck.Monad
Exp | Cryptol.Parser.Token
expandBind | Cryptol.Parser.ExpandPropGuards
expandDecl | Cryptol.Parser.ExpandPropGuards
expandModuleDef | Cryptol.Parser.ExpandPropGuards
ExpandPropGuards | Cryptol.Parser.Name, Cryptol.Parser.AST
expandPropGuards |
1 (Function) | Cryptol.Parser.ExpandPropGuards
2 (Function) | Cryptol.ModuleSystem.Base
ExpandPropGuardsError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
expandPropGuardsError | Cryptol.ModuleSystem.Monad
ExpandPropGuardsM | Cryptol.Parser.ExpandPropGuards
expandTopDecl | Cryptol.Parser.ExpandPropGuards
ExpectedMono | Cryptol.TypeCheck.Sanity
explainUnsolvable | Cryptol.TypeCheck.Error
Explicit | Cryptol.Parser.Layout
exportBind | Cryptol.ModuleSystem.Exports
exported | Cryptol.ModuleSystem.Exports
exportedDecls | Cryptol.ModuleSystem.Exports
exportedNames | Cryptol.ModuleSystem.Exports
exportName | Cryptol.ModuleSystem.Exports
ExportSpec |
1 (Type/Class) | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST
ExportType | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
exportType | Cryptol.ModuleSystem.Exports
Expr |
1 (Type/Class) | Cryptol.Parser.AST
2 (Type/Class) | Cryptol.TypeCheck.AST
ExprArg | Cryptol.REPL.Command
ExprInput | Cryptol.Parser.AST
exprLinter | Cryptol.ModuleSystem.Base
exprModName | Cryptol.Utils.Ident
ExprTypeArg | Cryptol.REPL.Command
expV | Cryptol.Eval.Generic
extend | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
extendSubst | Cryptol.TypeCheck.Monad
ExternalScope | Cryptol.TypeCheck.Monad
extPath | Cryptol.TypeCheck.Unify
extractWord | Cryptol.Backend, Cryptol.Eval.Value
extractWordVal | Cryptol.Backend.WordValue
ExtVar | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
FailError | Cryptol.Testing.Random
FailFalse | Cryptol.Testing.Random
fAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
fastSchemaOf | Cryptol.TypeCheck.TypeOf
fastTypeOf | Cryptol.TypeCheck.TypeOf
FatArrR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
FCError | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FCLeft | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FCRight | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FFIArg | Cryptol.Backend.FFI
ffiArgTypes | Cryptol.TypeCheck.FFI.FFIType
FFIArray | Cryptol.TypeCheck.FFI.FFIType
FFIBadArrayType | Cryptol.TypeCheck.FFI.Error
FFIBadComponentTypes | Cryptol.TypeCheck.FFI.Error
FFIBadFloatSize | Cryptol.TypeCheck.FFI.Error
FFIBadType | Cryptol.TypeCheck.FFI.Error
FFIBadWordSize | Cryptol.TypeCheck.FFI.Error
FFIBasic | Cryptol.TypeCheck.FFI.FFIType
FFIBasicRef | Cryptol.TypeCheck.FFI.FFIType
FFIBasicRefType | Cryptol.TypeCheck.FFI.FFIType
FFIBasicType | Cryptol.TypeCheck.FFI.FFIType
FFIBasicVal | Cryptol.TypeCheck.FFI.FFIType
FFIBasicValType | Cryptol.TypeCheck.FFI.FFIType
FFIBool | Cryptol.TypeCheck.FFI.FFIType
FFIDuplicates | Cryptol.Backend.FFI.Error
FFIFloat | Cryptol.TypeCheck.FFI.FFIType
FFIFloat32 | Cryptol.TypeCheck.FFI.FFIType
FFIFloat64 | Cryptol.TypeCheck.FFI.FFIType
FFIFloatSize | Cryptol.TypeCheck.FFI.FFIType
FFIFunType |
1 (Type/Class) | Cryptol.TypeCheck.FFI.FFIType
2 (Data Constructor) | Cryptol.TypeCheck.FFI.FFIType
FFIInFunctor | Cryptol.Backend.FFI.Error
FFIInteger | Cryptol.TypeCheck.FFI.FFIType
FFILoadError | Cryptol.Backend.FFI.Error
FFILoadErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
ffiLoadErrors | Cryptol.ModuleSystem.Monad
FFINotFunction | Cryptol.TypeCheck.FFI.Error
FFINotSupported | Cryptol.Backend.Monad, Cryptol.Eval
FFIRational | Cryptol.TypeCheck.FFI.FFIType
FFIRecord | Cryptol.TypeCheck.FFI.FFIType
FFIRet | Cryptol.Backend.FFI
ffiRetType | Cryptol.TypeCheck.FFI.FFIType
ffiTParams | Cryptol.TypeCheck.FFI.FFIType
FFITuple | Cryptol.TypeCheck.FFI.FFIType
FFIType | Cryptol.TypeCheck.FFI.FFIType
FFITypeError |
1 (Type/Class) | Cryptol.TypeCheck.FFI.Error
2 (Data Constructor) | Cryptol.TypeCheck.FFI.Error
FFITypeErrorReason | Cryptol.TypeCheck.FFI.Error
FFITypeNumTooBig | Cryptol.Backend.Monad, Cryptol.Eval
FFIWord | Cryptol.TypeCheck.FFI.FFIType
FFIWord16 | Cryptol.TypeCheck.FFI.FFIType
FFIWord32 | Cryptol.TypeCheck.FFI.FFIType
FFIWord64 | Cryptol.TypeCheck.FFI.FFIType
FFIWord8 | Cryptol.TypeCheck.FFI.FFIType
FFIWordSize | Cryptol.TypeCheck.FFI.FFIType
fieldDivideV | Cryptol.Eval.Generic
FieldOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
fieldSet | Cryptol.Utils.RecordMap
fiFingerprint | Cryptol.ModuleSystem.Env
fiForeignDeps | Cryptol.ModuleSystem.Env
fiImportDeps | Cryptol.ModuleSystem.Env
fiIncludeDeps | Cryptol.ModuleSystem.Env
FileExprArg | Cryptol.REPL.Command
FileInfo |
1 (Type/Class) | Cryptol.ModuleSystem.Env
2 (Data Constructor) | Cryptol.ModuleSystem.Env
fileInfo | Cryptol.ModuleSystem.Env
FilenameArg | Cryptol.REPL.Command
FileNotFound | Cryptol.REPL.Monad
filterIfaceDecls | Cryptol.ModuleSystem.Interface
filterNames | Cryptol.ModuleSystem.Names
filterPNames | Cryptol.ModuleSystem.NamingEnv
filterUNames | Cryptol.ModuleSystem.NamingEnv
finally | Cryptol.REPL.Monad
findAmbig | Cryptol.ModuleSystem.NamingEnv
findCommand | Cryptol.REPL.Command
findCommandExact | Cryptol.REPL.Command
findDeps | Cryptol.ModuleSystem.Base
findDeps' | Cryptol.ModuleSystem.Base
findDepsOf | Cryptol.ModuleSystem.Base
findDepsOfModule | Cryptol.ModuleSystem.Base
findFile | Cryptol.ModuleSystem.Base
findForeignDecls | Cryptol.TypeCheck.AST, Cryptol.Eval.FFI
findForeignDeclsInFunctors | Cryptol.TypeCheck.AST
findModule |
1 (Function) | Cryptol.ModuleSystem.Base
2 (Function) | Cryptol.ModuleSystem
findModuleDeps | Cryptol.ModuleSystem.Base
findNbCommand | Cryptol.REPL.Command
findShadowing | Cryptol.ModuleSystem.NamingEnv
Fingerprint | Cryptol.ModuleSystem.Fingerprint
fingerprint | Cryptol.ModuleSystem.Fingerprint
fingerprintFile | Cryptol.ModuleSystem.Fingerprint
fingerprintHexString | Cryptol.ModuleSystem.Fingerprint
finiteSeqMap | Cryptol.Backend.SeqMap
finNat' | Cryptol.Eval.Type
FinType | Cryptol.Symbolic
finType | Cryptol.Symbolic
Fixity |
1 (Type/Class) | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
FixityCmp | Cryptol.Utils.Fixity, Cryptol.Parser.AST
FixityError | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
FixityNoBind | Cryptol.Parser.NoPat
fixNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
fixPPCfg | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
flam | Cryptol.Eval.Value
flattenShape | Cryptol.Symbolic
flattenShapes | Cryptol.Symbolic
fLevel | Cryptol.Utils.Fixity, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
flitDefaultCandidates | Cryptol.TypeCheck.Default
float32ExpPrec | Cryptol.Utils.Types
float64ExpPrec | Cryptol.Utils.Types
FloatFixed | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
FloatFrac | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
FloatFree | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
floatFromBits | Cryptol.Backend.FloatHelpers
floatFromDouble | Cryptol.Backend.FloatHelpers
floatFromRational | Cryptol.Backend.FloatHelpers
floatName | Cryptol.Utils.Ident
floatPrim | Cryptol.Utils.Ident
floatToBits | Cryptol.Backend.FloatHelpers
floatToInteger | Cryptol.Backend.FloatHelpers
floatToRational | Cryptol.Backend.FloatHelpers
floorV | Cryptol.Eval.Generic
fmap' | Cryptol.TypeCheck.Subst
focusedEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
focusModule | Cryptol.ModuleSystem.Env
foldl'V | Cryptol.Eval.Generic
foldLoop | Cryptol.ModuleSystem.Renamer.Monad
foldlV | Cryptol.Eval.Generic
Forall |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ForceExponent | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
forceUnambig | Cryptol.ModuleSystem.NamingEnv
forceValue | Cryptol.Eval.Value, Cryptol.Eval
forceWordValue | Cryptol.Backend.WordValue
ForeignImpl | Cryptol.Backend.FFI
foreignLibPath | Cryptol.Backend.FFI
ForeignSrc | Cryptol.Backend.FFI
fpAbs | Cryptol.Backend, Cryptol.Eval.Value
FPArith2 | Cryptol.Backend
fpAsLit | Cryptol.Backend, Cryptol.Eval.Value
fpBinArith |
1 (Function) | Cryptol.Backend.What4
2 (Function) | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
fpBinArithV | Cryptol.Eval.Generic
fpCheckStatus | Cryptol.Backend.FloatHelpers
fpConst | Cryptol.Eval.Generic
fpCvtFromRational | Cryptol.Backend.What4
fpCvtToInteger | Cryptol.Backend.What4
fpCvtToRational | Cryptol.Backend.What4
fpDiv | Cryptol.Backend, Cryptol.Eval.Value
fpEq | Cryptol.Backend, Cryptol.Eval.Value
fpExactLit | Cryptol.Backend, Cryptol.Eval.Value
fpFMA | Cryptol.Backend, Cryptol.Eval.Value
fpFromBits | Cryptol.Backend, Cryptol.Eval.Value
fpFromInteger | Cryptol.Backend, Cryptol.Eval.Value
fpFromRational | Cryptol.Backend, Cryptol.Eval.Value
fpGreaterThan | Cryptol.Backend, Cryptol.Eval.Value
fpIsInf | Cryptol.Backend, Cryptol.Eval.Value
fpIsNaN | Cryptol.Backend, Cryptol.Eval.Value
fpIsNeg | Cryptol.Backend, Cryptol.Eval.Value
fpIsNorm | Cryptol.Backend, Cryptol.Eval.Value
fpIsSubnorm | Cryptol.Backend, Cryptol.Eval.Value
fpIsZero | Cryptol.Backend, Cryptol.Eval.Value
fpLessThan | Cryptol.Backend, Cryptol.Eval.Value
fpLit |
1 (Function) | Cryptol.Backend.FloatHelpers
2 (Function) | Cryptol.Backend, Cryptol.Eval.Value
fpLogicalEq | Cryptol.Backend, Cryptol.Eval.Value
fpMinus | Cryptol.Backend, Cryptol.Eval.Value
fpMult | Cryptol.Backend, Cryptol.Eval.Value
fpNaN | Cryptol.Backend, Cryptol.Eval.Value
fpNeg | Cryptol.Backend, Cryptol.Eval.Value
fpOpts | Cryptol.Backend.FloatHelpers
fpPlus | Cryptol.Backend, Cryptol.Eval.Value
fpPosInf | Cryptol.Backend, Cryptol.Eval.Value
fpPP | Cryptol.Backend.FloatHelpers
fpRndMode | Cryptol.Eval.Generic
fpRndRNA | Cryptol.Eval.Generic
fpRndRNE | Cryptol.Eval.Generic
fpRndRTN | Cryptol.Eval.Generic
fpRndRTP | Cryptol.Eval.Generic
fpRndRTZ | Cryptol.Eval.Generic
fpRound | Cryptol.Backend.FloatHelpers
fpRoundingMode | Cryptol.Backend.What4
fpRoundMode | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
fpSqrt | Cryptol.Backend, Cryptol.Eval.Value
fpToBits | Cryptol.Backend, Cryptol.Eval.Value
fpToInteger | Cryptol.Backend, Cryptol.Eval.Value
fpToRational | Cryptol.Backend, Cryptol.Eval.Value
Frac | Cryptol.Parser.Token, Cryptol.Parser.Lexer
FracInfo | Cryptol.Parser.AST
FreeAbstract | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
freeAbstract | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
freeParams | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
FreeTypeVariable | Cryptol.TypeCheck.Sanity
FreeVars | Cryptol.IR.FreeVars
freeVars | Cryptol.IR.FreeVars
freshBitVar | Cryptol.Symbolic
freshBV_ | Cryptol.Backend.SBV
freshFloatVar | Cryptol.Symbolic
freshIntegerVar | Cryptol.Symbolic
FreshM | Cryptol.ModuleSystem.Name
freshName |
1 (Function) | Cryptol.Transform.Specialize
2 (Function) | Cryptol.REPL.Monad
freshNameFor | Cryptol.ModuleSystem.Name
freshSBool_ | Cryptol.Backend.SBV
freshSInteger_ | Cryptol.Backend.SBV
freshTParam | Cryptol.TypeCheck.Monad
freshVar | Cryptol.Symbolic
FreshVarFns |
1 (Type/Class) | Cryptol.Symbolic
2 (Data Constructor) | Cryptol.Symbolic
freshWordVar | Cryptol.Symbolic
From | Cryptol.TypeCheck.AST
from | Cryptol.Parser.Position
fromBigEndianSBS | Cryptol.SHA
FromDefinition | Cryptol.Utils.Ident
FromFunctorInst | Cryptol.Utils.Ident
fromGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
FromImport | Cryptol.ModuleSystem.Monad
fromIntegerV | Cryptol.Eval.Generic
FromModParam | Cryptol.Utils.Ident
FromModule | Cryptol.ModuleSystem.Monad
FromModuleInstance | Cryptol.ModuleSystem.Monad
fromNat | Cryptol.TypeCheck.Solver.InfNat
fromSeq | Cryptol.Eval.Value
FromSigImport | Cryptol.ModuleSystem.Monad
fromThenToV | Cryptol.Eval.Generic
fromToByLessThanV | Cryptol.Eval.Generic
fromToByV | Cryptol.Eval.Generic
fromToDownByGreaterThanV | Cryptol.Eval.Generic
fromToDownByV | Cryptol.Eval.Generic
fromToLessThanV | Cryptol.Eval.Generic
fromToV | Cryptol.Eval.Generic
fromVBit | Cryptol.Eval.Value
fromVFloat | Cryptol.Eval.Value
fromVFun | Cryptol.Eval.Value
fromVInteger | Cryptol.Eval.Value
fromVNumPoly | Cryptol.Eval.Value
fromVPoly | Cryptol.Eval.Value
fromVRational | Cryptol.Eval.Value
fromVRecord | Cryptol.Eval.Value
fromVSeq | Cryptol.Eval.Value
fromVTuple | Cryptol.Eval.Value
fromVWord | Cryptol.Eval.Value
fromWordVal | Cryptol.Eval.Value
fromZV | Cryptol.Eval.Generic
fsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
FTBit | Cryptol.Symbolic
FTFloat | Cryptol.Symbolic
FTInteger | Cryptol.Symbolic
FTIntMod | Cryptol.Symbolic
FTNewtype | Cryptol.Symbolic
FTRational | Cryptol.Symbolic
FTRecord | Cryptol.Symbolic
FTSeq | Cryptol.Symbolic
FTTuple | Cryptol.Symbolic
fullyQualified | Cryptol.ModuleSystem.Base
FunApp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
FunctorInstance | Cryptol.Parser.AST
FunctorInstanceBadArgument | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorInstanceBadBacktick | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorInstanceMissingArgument | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorInstanceMissingName | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
FunctorParams |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.ModuleSystem.Env
FunDesc |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
funDescrArgOffset | Cryptol.Parser.AST
funDescrName | Cryptol.Parser.AST
funLogger | Cryptol.Utils.Logger
FVS | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Subst
fvs | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST, Cryptol.TypeCheck.Subst
Gen | Cryptol.Testing.Random
generateForeignHeader | Cryptol.Eval.FFI.GenHeader
GeneratorOfListComp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
genericFloatTable | Cryptol.Eval.Generic
genericPrimTable | Cryptol.Eval.Generic
GenEvalEnv | Cryptol.Eval.Env
genIface | Cryptol.TypeCheck.Interface, Cryptol.ModuleSystem
genIfaceNames | Cryptol.TypeCheck.Interface
genIfaceWithNames | Cryptol.TypeCheck.Interface
genInferInput | Cryptol.ModuleSystem.Base
genLog | Cryptol.TypeCheck.Solver.InfNat
genModDefines | Cryptol.TypeCheck.Interface
genRoot | Cryptol.TypeCheck.Solver.InfNat
GenValue | Cryptol.Eval.Value
GEQ | Cryptol.Parser.Token
getAbstractTypes | Cryptol.TypeCheck.Monad
getAllLoaded | Cryptol.ModuleSystem.Monad
getAllLoadedSignatures | Cryptol.ModuleSystem.Monad
getBoundInScope | Cryptol.TypeCheck.Monad
getByteReader | Cryptol.ModuleSystem.Monad
getCallStack | Cryptol.Backend.Monad
getCallStacks |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.ModuleSystem.Monad
3 (Function) | Cryptol.REPL.Monad
getCurDecls | Cryptol.TypeCheck.Monad
getCurMod | Cryptol.ModuleSystem.Renamer.Monad
getDynEnv |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
getEditPath | Cryptol.REPL.Monad
getEvalEnv | Cryptol.ModuleSystem.Monad
getEvalOpts | Cryptol.ModuleSystem.Monad
getEvalOptsAction |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
getExprNames | Cryptol.REPL.Monad
getExternal | Cryptol.ModuleSystem.Renamer.Monad
getExternalMod | Cryptol.ModuleSystem.Renamer.Monad
getFileDependencies | Cryptol.ModuleSystem
getFocusedEnv |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
getFocusedModule | Cryptol.ModuleSystem.Monad
getForeignSrcPath | Cryptol.Backend.FFI
getGoals | Cryptol.TypeCheck.Monad
getHasGoals | Cryptol.TypeCheck.Monad
getIdent | Cryptol.Parser.Name, Cryptol.Parser.AST
getIfaces | Cryptol.ModuleSystem.Monad
getImportSource | Cryptol.ModuleSystem.Monad
getKnownUser | Cryptol.REPL.Monad
getLoaded | Cryptol.ModuleSystem.Monad
getLoadedEntities | Cryptol.ModuleSystem.Env
getLoadedMaybe | Cryptol.ModuleSystem.Monad
getLoadedMod | Cryptol.REPL.Monad
getLoadedModules | Cryptol.ModuleSystem.Env
getLoadedNames | Cryptol.ModuleSystem.Env
getLoc | Cryptol.Parser.Position
getLocalModParamDeps | Cryptol.ModuleSystem.Renamer.Monad
getLogger | Cryptol.REPL.Monad
getModName | Cryptol.Parser.Name, Cryptol.Parser.AST
getModNames | Cryptol.REPL.Monad
getModParam | Cryptol.ModuleSystem.Renamer.Monad
getModuleDependencies | Cryptol.ModuleSystem
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
getNamesFromModParams | Cryptol.ModuleSystem.Renamer.Monad
getNamingEnv | Cryptol.ModuleSystem.Renamer.Monad
getNewtypes |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.ModuleSystem.Monad
getParamConstraints | Cryptol.TypeCheck.Monad
getParamTypes | Cryptol.TypeCheck.Monad
getPPValOpts | 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
getProverConfig | Cryptol.REPL.Monad
getPutStr | Cryptol.REPL.Monad
getRandomGen | Cryptol.REPL.Monad
getScope | Cryptol.TypeCheck.Monad
getSearchPath | Cryptol.ModuleSystem.Monad
getSignatures | Cryptol.TypeCheck.Monad
getSolver | Cryptol.TypeCheck.Monad
getSpecCache | Cryptol.Transform.Specialize
getSubst | Cryptol.TypeCheck.Monad
getSupply | Cryptol.ModuleSystem.Monad
getSym | Cryptol.Backend.What4
getTCSolver |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
getTopModuleIface | Cryptol.ModuleSystem.Renamer.Monad
getTSyns | Cryptol.TypeCheck.Monad
getTVars | Cryptol.TypeCheck.Monad
getTypeNames | Cryptol.REPL.Monad
getUser | Cryptol.REPL.Monad
getUserProverValidate | Cryptol.REPL.Monad
getUserSatNum | Cryptol.REPL.Monad
getUserShowProverStats | Cryptol.REPL.Monad
GlobalName | Cryptol.ModuleSystem.Name
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
goalSet | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
goalsFromList | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
goalSource | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
goalToLitGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
goalToLitLessThanGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
greaterThanEqV | Cryptol.Eval.Generic
greaterThanV | Cryptol.Eval.Generic
group | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
groupDecls | Cryptol.TypeCheck.AST
Gt | Cryptol.Parser.Token, Cryptol.Parser.Lexer
guarded | Cryptol.TypeCheck.Solver.Types
guessPreProc | Cryptol.Parser.Unlit, Cryptol.Parser
handleCtrlC | Cryptol.REPL.Command
handleLogger | Cryptol.Utils.Logger
hang | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
HappyError | Cryptol.Parser
HappyErrorMsg | Cryptol.Parser
HappyOutOfTokens | Cryptol.Parser
HappyUnexpected | Cryptol.Parser
HasCallStack | Cryptol.Utils.Panic
hasDoSelect | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
hasDoSet | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
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
HasGoalSln |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
Hash | Cryptol.Parser.Token
HasKind | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
HasLoc | Cryptol.Parser.Position
hasName | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
hasParamModules | Cryptol.ModuleSystem.Env
hcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
HelpArg | Cryptol.REPL.Command
helpForNamed | Cryptol.REPL.Help
HexFrac | Cryptol.Parser.AST
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
iBindTypes | Cryptol.TypeCheck.Monad
iCallStacks | Cryptol.TypeCheck.Monad
iCeilDiv | Cryptol.TypeCheck.Solver.Numeric.Interval
iCeilMod | Cryptol.TypeCheck.Solver.Numeric.Interval
iConst | Cryptol.TypeCheck.Solver.Numeric.Interval
iCts | Cryptol.TypeCheck.Monad
Ident |
1 (Type/Class) | Cryptol.Utils.Ident, Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.Token, Cryptol.Parser.Lexer
identAnonArg | Cryptol.Utils.Ident
identAnonIfaceMod | Cryptol.Utils.Ident
identIsNormal | Cryptol.Utils.Ident
identText | Cryptol.Utils.Ident, Cryptol.Parser.AST
iDiv | Cryptol.TypeCheck.Solver.Numeric.Interval
ieFixity | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ieLeft | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ieOp | 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
iExtModules | Cryptol.TypeCheck.Monad
iExtScope | Cryptol.TypeCheck.Monad
iExtSignatures | Cryptol.TypeCheck.Monad
ifAbstractTypes | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
Iface |
1 (Data Constructor) | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
2 (Type/Class) | 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
ifaceDeclsNames | Cryptol.ModuleSystem.Interface
ifaceForgetName | Cryptol.ModuleSystem.Interface
IfaceG | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifaceIsFunctor | Cryptol.ModuleSystem.Interface
IfaceNames |
1 (Type/Class) | Cryptol.ModuleSystem.Interface
2 (Data Constructor) | Cryptol.ModuleSystem.Interface
ifaceOrigNameMap | Cryptol.ModuleSystem.Interface
ifacePrimMap | Cryptol.ModuleSystem.Interface
ifaceSigToMod | Cryptol.ModuleSystem.Binds
ifaceToMod | Cryptol.ModuleSystem.Binds
ifDeclDoc | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifDeclFixity | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifDeclInfix | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifDeclIsPrim | 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
ifDefines | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifFunctors | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifModName | Cryptol.ModuleSystem.Interface
ifModules | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifNames | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifNewtypes | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifParams | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifsDefines | Cryptol.ModuleSystem.Interface
ifsDoc | Cryptol.ModuleSystem.Interface
ifSignatures | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
ifsName | Cryptol.ModuleSystem.Interface
ifsNested | Cryptol.ModuleSystem.Interface
ifsPublic | Cryptol.ModuleSystem.Interface
ifTySyns | Cryptol.ModuleSystem.Interface, Cryptol.ModuleSystem
iHasCts | Cryptol.TypeCheck.Monad
iInst | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
iIntersect | Cryptol.TypeCheck.Solver.Numeric.Interval
iIsExact | Cryptol.TypeCheck.Solver.Numeric.Interval
iIsFin | Cryptol.TypeCheck.Solver.Numeric.Interval
iIsPosFin | Cryptol.TypeCheck.Solver.Numeric.Interval
ilam | Cryptol.Eval.Value
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
ImpName | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
ImpNested | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
Import |
1 (Type/Class) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
importedModule | Cryptol.ModuleSystem.Monad
ImportG | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
ImportSource | Cryptol.ModuleSystem.Monad
ImportSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
improveByDefaultingWithPure | Cryptol.TypeCheck.Default
improveEq | Cryptol.TypeCheck.Solver.Improve
improveLit | Cryptol.TypeCheck.Solver.Improve
improveProp | Cryptol.TypeCheck.Solver.Improve
improveProps | Cryptol.TypeCheck.Solver.Improve
ImpTop | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
iMul | Cryptol.TypeCheck.Solver.Numeric.Interval
iNameSeeds | Cryptol.TypeCheck.Monad
Include | Cryptol.Parser.AST
IncludeCycle | Cryptol.Parser.NoInclude
IncludeDecodeFailed | Cryptol.Parser.NoInclude
IncludeError | Cryptol.Parser.NoInclude
IncludeFailed | Cryptol.Parser.NoInclude
IncludeParseError | Cryptol.Parser.NoInclude
indent | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
IndexBackward | Cryptol.Backend
IndexDirection | Cryptol.Backend
IndexForward | Cryptol.Backend
indexPrim | Cryptol.Eval.Generic
IndexSegment | Cryptol.Backend.SeqMap
indexSeqMap | Cryptol.Backend.SeqMap
indexWordValue | Cryptol.Backend.WordValue
Inf | Cryptol.TypeCheck.Solver.InfNat
inferBinds | 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
InferOK | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
InferOutput | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inferTopModule | Cryptol.TypeCheck.Infer
infFromThenV | Cryptol.Eval.Generic
infFromV | Cryptol.Eval.Generic
InFile | Cryptol.ModuleSystem.Env
infiniteSeqMap | Cryptol.Backend.SeqMap
Infix |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
infixPrimTy | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
initialModuleEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
initialSHA224State | Cryptol.SHA
initialSHA256State | Cryptol.SHA
initialSHA384State | Cryptol.SHA
initialSHA512State | Cryptol.SHA
InMem | Cryptol.ModuleSystem.Env
InModule |
1 (Type/Class) | Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer
2 (Data Constructor) | Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer
inNewFrame | Cryptol.TypeCheck.Solver.SMT
inNewScope | Cryptol.TypeCheck.Monad
inpAbstractTypes | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpCallStacks | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpMonoBinds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpNameSeeds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpNewtypes | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpParams | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpPrimNames | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpRange | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpSearchPath | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpSignatures | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpSolver | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpSupply | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpTopModules | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
inpTopSignatures | 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
InstantiationsNotFound | Cryptol.REPL.Monad
int |
1 (Function) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
2 (Function) | Cryptol.TypeCheck.Parseable
intDiv | Cryptol.Backend, Cryptol.Eval.Value
integer | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
integerAsLit | Cryptol.Backend, Cryptol.Eval.Value
integerLit | Cryptol.Backend, Cryptol.Eval.Value
integerToBigNat | Cryptol.PrimeEC
integerToChar | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
integralBinary | Cryptol.Eval.Generic
intEq | Cryptol.Backend, Cryptol.Eval.Value
interactive | Cryptol.ModuleSystem.Monad
interactiveConfig | Cryptol.REPL.Command
interactiveName | Cryptol.Utils.Ident
InterfaceModule | Cryptol.Parser.AST
InterfaceParams | Cryptol.ModuleSystem.Env
interpImportEnv | Cryptol.ModuleSystem.NamingEnv
Interval |
1 (Type/Class) | Cryptol.TypeCheck.Solver.Numeric.Interval
2 (Data Constructor) | Cryptol.TypeCheck.Solver.Numeric.Interval
intervals | Cryptol.TypeCheck.Solver.Types
IntervalUpdate | Cryptol.TypeCheck.Solver.Numeric.Interval
intGreaterThan | Cryptol.Backend, Cryptol.Eval.Value
intLessThan | Cryptol.Backend, Cryptol.Eval.Value
intMinus | Cryptol.Backend, Cryptol.Eval.Value
intMod | Cryptol.Backend, Cryptol.Eval.Value
intMult | Cryptol.Backend, Cryptol.Eval.Value
intNegate | Cryptol.Backend, Cryptol.Eval.Value
intPlus | Cryptol.Backend, Cryptol.Eval.Value
intShifter | Cryptol.Eval.Generic
intToRational | Cryptol.Backend
intToZn | Cryptol.Backend, Cryptol.Eval.Value
intV | Cryptol.Eval.Generic
InvalidChar | Cryptol.Parser.Token, Cryptol.Parser.Lexer
InvalidConstraintGuard | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
InvalidDependency | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
InvalidFunctorImport | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
InvalidIndentation | Cryptol.Parser.Token, Cryptol.Parser.Lexer
InvalidIndex | Cryptol.Backend.Monad, Cryptol.Eval
invalidIndex | Cryptol.Backend
InvalidInterval | Cryptol.TypeCheck.Solver.Numeric.Interval
InvalidString | Cryptol.Parser.Token, Cryptol.Parser.Lexer
invMixColumns | Cryptol.AES
io |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.Backend.Monad
3 (Function) | Cryptol.ModuleSystem.Monad
4 (Function) | Cryptol.REPL.Monad
iOverlap | Cryptol.TypeCheck.Solver.Numeric.Interval
iPrimNames | Cryptol.TypeCheck.Monad
iRange | Cryptol.TypeCheck.Monad
isBoundTV | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
iScope | Cryptol.TypeCheck.Monad
isEmptyNamingEnv | Cryptol.ModuleSystem.NamingEnv
isEmptySubst | Cryptol.TypeCheck.Subst
isExported | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST
isExportedBind | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST
isExportedType | Cryptol.ModuleSystem.Exports, Cryptol.TypeCheck.AST
isFreeTV | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
isGeneratedName | Cryptol.Parser.Name
isInfixIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST
isLoaded |
1 (Function) | Cryptol.ModuleSystem.Env
2 (Function) | Cryptol.ModuleSystem.Monad
isLoadedInterface | Cryptol.ModuleSystem.Env
isLoadedParamMod | Cryptol.ModuleSystem.Env
isMono | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
isNumeric | Cryptol.TypeCheck.Solver.SMT
iSolveCounter | Cryptol.TypeCheck.Monad
iSolvedHas | Cryptol.TypeCheck.Monad
iSolvedHasLazy | Cryptol.TypeCheck.Monad
iSolver | Cryptol.TypeCheck.Monad
isParamDecl | Cryptol.Parser.AST
isParametrizedModule | Cryptol.TypeCheck.AST
isPass | Cryptol.Testing.Random
iSpec | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
isReady | Cryptol.Backend, Cryptol.Eval.Value
isRootPath | Cryptol.TypeCheck.Unify
isTBit | Cryptol.Eval.Type
iSub | Cryptol.TypeCheck.Solver.Numeric.Interval
iSubst | Cryptol.TypeCheck.Monad
iSupply | Cryptol.TypeCheck.Monad
iteBit | Cryptol.Backend, Cryptol.Eval.Value
iteFloat | Cryptol.Backend, Cryptol.Eval.Value
iteInteger | Cryptol.Backend, Cryptol.Eval.Value
iteRational | Cryptol.Backend
iteValue | Cryptol.Eval.Value
iteWord | Cryptol.Backend, Cryptol.Eval.Value
iTVars | Cryptol.TypeCheck.Monad
iUpper | Cryptol.TypeCheck.Solver.Numeric.Interval
iVars | Cryptol.TypeCheck.Monad
iWarnings | Cryptol.TypeCheck.Monad
iWidth | Cryptol.TypeCheck.Solver.Numeric.Interval
joinSeq | Cryptol.Eval.Generic
joinV | Cryptol.Eval.Generic
joinWord | Cryptol.Backend, Cryptol.Eval.Value
joinWords | Cryptol.Backend.WordValue
joinWordVal | Cryptol.Backend.WordValue
kCtrs | Cryptol.TypeCheck.Monad
kExistTVar | Cryptol.TypeCheck.Monad
Key | Cryptol.AES
keyExpansionWords | Cryptol.AES
KFun | Cryptol.Parser.AST
Kind |
1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Type/Class) | Cryptol.Parser.AST
KindM | Cryptol.TypeCheck.Monad
KindMismatch |
1 (Data Constructor) | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
2 (Data Constructor) | Cryptol.TypeCheck.Sanity
kindOf | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
kindResult | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
kInInferM | Cryptol.TypeCheck.Monad
kInRange | Cryptol.TypeCheck.Monad
kInstantiateT | Cryptol.TypeCheck.Monad
kIO | Cryptol.TypeCheck.Monad
kLookupAbstractType | Cryptol.TypeCheck.Monad
kLookupNewtype | Cryptol.TypeCheck.Monad
kLookupParamType | 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
KNum |
1 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.Parser.AST
KProp |
1 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.Parser.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.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.Parser.AST
KW | Cryptol.Parser.Token, Cryptol.Parser.Lexer
kWildOK | Cryptol.TypeCheck.Monad
KW_as | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_by | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_constraint | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_down | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_else | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_fin | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_foreign | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_hiding | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_if | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_import | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_include | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_inf | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_infix | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_infixl | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_infixr | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_interface | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_lengthFromThen | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_lengthFromThenTo | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_let | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_lg2 | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_max | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_min | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_module | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_newtype | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_parameter | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_pragma | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_primitive | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_private | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_Prop | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_property | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_submodule | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_then | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_type | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_where | Cryptol.Parser.Token, Cryptol.Parser.Lexer
KW_x | Cryptol.Parser.Token, Cryptol.Parser.Lexer
L | Cryptol.TypeCheck.TypeMap
lam | Cryptol.Eval.Value
Lambda | Cryptol.Parser.Token, 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
layout | Cryptol.Parser.Layout
lazyIte | Cryptol.Backend.What4
lazyTParams | Cryptol.TypeCheck.Monad
LBindDef | Cryptol.Parser.AST
leaves | Cryptol.REPL.Trie
LeftAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST
LenOfCompGen | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
LenOfSeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
LEQ | Cryptol.Parser.Token
lessThanEqV | Cryptol.Eval.Generic
lessThanV | Cryptol.Eval.Generic
Let | Cryptol.TypeCheck.AST
LetInput | Cryptol.Parser.AST
lexCombine | Cryptol.Eval.Generic
lexer | Cryptol.Parser.Lexer
LexicalError | Cryptol.Parser.Token, Cryptol.Parser.Lexer
lg2 | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
lg2V | Cryptol.Eval.Generic
LIdent | Cryptol.Parser.AST
liftBinIntMod | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
liftModuleCmd | Cryptol.REPL.Command
liftPP | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
liftPP1 | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
liftPP2 | 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.Token, Cryptol.Parser.Lexer
lintCheck | Cryptol.ModuleSystem.Base
lintModule | Cryptol.ModuleSystem.Base
List | Cryptol.TypeCheck.TypeMap
list | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
listParamSubst | Cryptol.TypeCheck.Subst
ListSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
listSubst | Cryptol.TypeCheck.Subst
lit | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
Literal | Cryptol.Parser.AST
literalGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
literalLessThanGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
literalSWord | Cryptol.Backend.SBV
LitGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
litGoalToGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
litLessThanGoalToGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
LkpTyVar | Cryptol.TypeCheck.Monad
lmData | Cryptol.ModuleSystem.Env
lmdInterface | Cryptol.ModuleSystem.Env
lmdModule | Cryptol.ModuleSystem.Env
lmFileInfo | Cryptol.ModuleSystem.Env
lmFilePath | Cryptol.ModuleSystem.Env
lmForeignSrc | Cryptol.ModuleSystem.Env
lmInterface | Cryptol.ModuleSystem.Env
lmLoadedModules | Cryptol.ModuleSystem.Env
lmLoadedParamModules | Cryptol.ModuleSystem.Env
lmLoadedSignatures | Cryptol.ModuleSystem.Env
lmModule | Cryptol.ModuleSystem.Env
lmModuleId | Cryptol.ModuleSystem.Env
lmName | Cryptol.ModuleSystem.Env
lmNamingEnv | Cryptol.ModuleSystem.Env
lName | Cryptol.REPL.Monad
loadCmd | Cryptol.REPL.Command
loadDeps | Cryptol.ModuleSystem.Base
LoadedEntity | Cryptol.ModuleSystem.Env
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
LoadedModuleData |
1 (Type/Class) | Cryptol.ModuleSystem.Env
2 (Data Constructor) | Cryptol.ModuleSystem.Env
LoadedModuleG | Cryptol.ModuleSystem.Env
LoadedModules |
1 (Type/Class) | Cryptol.ModuleSystem.Env
2 (Data Constructor) | Cryptol.ModuleSystem.Env
loadedModules | Cryptol.ModuleSystem.Env
loadedNewtypes | Cryptol.ModuleSystem.Env
loadedNonParamModules | Cryptol.ModuleSystem.Env
LoadedSignature | Cryptol.ModuleSystem.Env
loadForeignImpl | Cryptol.Backend.FFI
loadForeignSrc | Cryptol.Backend.FFI
loading | Cryptol.ModuleSystem.Monad
loadingImport | Cryptol.ModuleSystem.Monad
loadingModInstance | Cryptol.ModuleSystem.Monad
loadingModule | Cryptol.ModuleSystem.Monad
loadModuleByName | Cryptol.ModuleSystem
loadModuleByPath |
1 (Function) | Cryptol.ModuleSystem.Base
2 (Function) | Cryptol.ModuleSystem
loadModuleFrom | Cryptol.ModuleSystem.Base
loadPrelude | Cryptol.REPL.Command
LocalName | Cryptol.ModuleSystem.Name
LocalScope | Cryptol.TypeCheck.Monad
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
located | Cryptol.ModuleSystem.Renamer.Monad
Logger | Cryptol.Utils.Logger
logicBinary | Cryptol.Eval.Generic
logicShift | Cryptol.Eval.Generic
logicUnary | Cryptol.Eval.Generic
LogNegative | Cryptol.Backend.Monad, Cryptol.Eval
logPrint | Cryptol.Utils.Logger
logPutStr | Cryptol.Utils.Logger
logPutStrLn | Cryptol.Utils.Logger
lookupAbstractType | Cryptol.TypeCheck.Monad
lookupDefines | Cryptol.ModuleSystem.Renamer.Monad
lookupDefinesAndSubs | Cryptol.ModuleSystem.Renamer.Monad
lookupField | Cryptol.Utils.RecordMap
lookupFunctor | Cryptol.TypeCheck.Monad
lookupListNS | Cryptol.ModuleSystem.NamingEnv
lookupModParam | Cryptol.TypeCheck.Monad
lookupModule |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.ModuleSystem.Env
lookupModuleThing | Cryptol.ModuleSystem.Renamer.Monad
lookupNewtype | Cryptol.TypeCheck.Monad
lookupNS | Cryptol.ModuleSystem.NamingEnv
lookupParamType | Cryptol.TypeCheck.Monad
lookupPrimDecl | Cryptol.ModuleSystem.Name
lookupPrimType | Cryptol.ModuleSystem.Name
lookupRecord | Cryptol.Eval.Value
lookupResolved | Cryptol.ModuleSystem.Renamer.Monad
lookupSeqMap | Cryptol.Backend.SeqMap
lookupSignature |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.ModuleSystem.Env
lookupTCEntity | Cryptol.ModuleSystem.Env
lookupTM | Cryptol.TypeCheck.TypeMap
lookupTopModule | Cryptol.TypeCheck.Monad
lookupTParam | Cryptol.TypeCheck.Monad
lookupTrie | Cryptol.REPL.Trie
lookupTrieExact | Cryptol.REPL.Trie
lookupTSyn | Cryptol.TypeCheck.Monad
lookupType | Cryptol.Eval.Env
lookupTypeVar | Cryptol.Eval.Type
lookupVar |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.Eval.Env
LoopError | Cryptol.Backend.Monad, Cryptol.Eval
lPath | Cryptol.REPL.Monad
LPName | Cryptol.Parser.AST
lshr | Cryptol.Backend.SBV
LString | Cryptol.Parser.AST
Lt | Cryptol.Parser.Token, Cryptol.Parser.Lexer
MalformedLiteral | Cryptol.Parser.Token, Cryptol.Parser.Lexer
MalformedSelector | Cryptol.Parser.Token, Cryptol.Parser.Lexer
mapMaybeTM | Cryptol.TypeCheck.TypeMap
mapMaybeWithKeyTM | Cryptol.TypeCheck.TypeMap
mapNameIdent | Cryptol.ModuleSystem.Name
mapNames |
1 (Function) | Cryptol.ModuleSystem.Names
2 (Function) | Cryptol.IR.TraverseNames
mapNamingEnv | Cryptol.ModuleSystem.NamingEnv
mapSeqMap | Cryptol.Backend.SeqMap
mapTM | Cryptol.TypeCheck.TypeMap
mapWithFieldName | Cryptol.Utils.RecordMap
mapWithKeyTM | Cryptol.TypeCheck.TypeMap
Markdown | Cryptol.Parser.Unlit, Cryptol.Parser
mask | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
Match |
1 (Type/Class) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
2 (Data Constructor) | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
3 (Type/Class) | Cryptol.Parser.AST
4 (Data Constructor) | Cryptol.Parser.AST
5 (Type/Class) | Cryptol.TypeCheck.AST
match | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
matchDefault | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
Matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
matches | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
MatchLet | Cryptol.Parser.AST
matchMaybe | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
matchThen | Cryptol.TypeCheck.Solver.Types
maxBigIntWidth | Cryptol.Backend.Arch
MaybeCheckedType | Cryptol.TypeCheck.Instantiate
maybeNameDoc | Cryptol.TypeCheck.Parseable
maybeReady | Cryptol.Backend.Monad
MBQual | Cryptol.TypeCheck.ModuleBacktickInstance
mctxDecls | Cryptol.ModuleSystem.Env
mctxExported | Cryptol.ModuleSystem.Env
mctxNameDisp | Cryptol.ModuleSystem.Env
mctxNames | Cryptol.ModuleSystem.Env
mctxParams | Cryptol.ModuleSystem.Env
mDecls |
1 (Function) | Cryptol.Parser.AST
2 (Function) | Cryptol.TypeCheck.AST
mDef | Cryptol.Parser.AST
mDoc | Cryptol.TypeCheck.AST
meCoreLint | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
meDynEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
meEvalEnv | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
meFocusedModule | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
meLoadedModules | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
membersTM | Cryptol.TypeCheck.TypeMap
memoMap | Cryptol.Backend.SeqMap
meMonoBinds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
meNameSeeds | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
mergeDistinctSubst | Cryptol.TypeCheck.Subst
mergeEval | Cryptol.Backend, Cryptol.Eval.Value
mergeSeqMap | Cryptol.Backend.SeqMap
mergeValue | Cryptol.Eval.Value
mergeWord | Cryptol.Backend.WordValue
mergeWord' | Cryptol.Backend.WordValue
meSearchPath | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
meSupply | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
mExports | Cryptol.TypeCheck.AST
mFunctors | Cryptol.TypeCheck.AST
MGU | Cryptol.TypeCheck.Unify
mgu | Cryptol.TypeCheck.Unify
mguMany | Cryptol.TypeCheck.Unify
mImports | Cryptol.Parser.AST
minpByteReader | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
minpCallStacks | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
minpEvalOpts | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
minpModuleEnv | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
minpTCSolver | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
Minus | Cryptol.Parser.Token
mIsFunctor | Cryptol.Parser.AST
MissingField | Cryptol.TypeCheck.Sanity
MissingModParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
MissingModTParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
MissingModVParam | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
mkBv | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
mkDeclared | Cryptol.ModuleSystem.Name
mkIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST
mkIfaceDecl | Cryptol.TypeCheck.Interface
mkInfix | Cryptol.Utils.Ident, Cryptol.Parser.AST
mkLit | Cryptol.Eval.Generic
mkLocal | Cryptol.ModuleSystem.Name
mkModParam | Cryptol.ModuleSystem.Name
mkQual | Cryptol.Parser.Name, Cryptol.Parser.AST
mkSeq | Cryptol.Eval.Value
mkUnqual | Cryptol.Parser.Name, Cryptol.Parser.AST
mModParams | Cryptol.Parser.AST
mName |
1 (Function) | Cryptol.Parser.AST
2 (Function) | Cryptol.TypeCheck.AST
mNested | Cryptol.TypeCheck.AST
mNewtypes | Cryptol.TypeCheck.AST
Mod |
1 (Data Constructor) | Cryptol.Parser.Token
2 (Type/Class) | Cryptol.ModuleSystem.Binds
3 (Data Constructor) | Cryptol.ModuleSystem.Binds
modBuilder | Cryptol.ModuleSystem.Binds
ModContext |
1 (Type/Class) | Cryptol.ModuleSystem.Env
2 (Data Constructor) | Cryptol.ModuleSystem.Env
modContextOf | Cryptol.ModuleSystem.Env
modContextParamNames | Cryptol.ModuleSystem.Env
ModContextParams | Cryptol.ModuleSystem.Env
modDefines | Cryptol.ModuleSystem.Binds
modelPred | Cryptol.Symbolic
modify | Cryptol.Transform.Specialize
modifyCallStack | Cryptol.Backend.Monad
modifyEvalEnv | Cryptol.ModuleSystem.Monad
modifyEvalEnvM | Cryptol.ModuleSystem.Monad
modifyModuleEnv | Cryptol.ModuleSystem.Monad
modifySpecCache | Cryptol.Transform.Specialize
modImports | Cryptol.ModuleSystem.Binds
modInstances | Cryptol.ModuleSystem.Binds
ModKind | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Binds, Cryptol.ModuleSystem.Renamer.Imports
modKind | Cryptol.ModuleSystem.Binds
modMods | Cryptol.ModuleSystem.Binds
ModName | Cryptol.Utils.Ident, Cryptol.Parser.AST
ModNameArg | Cryptol.REPL.Command
modNameArg | Cryptol.Utils.Ident
modNameChunks | Cryptol.Utils.Ident
modNameChunksText | Cryptol.Utils.Ident
modNameIfaceMod | Cryptol.Utils.Ident
modNameIsNormal | Cryptol.Utils.Ident
modNameToNormalModName | Cryptol.Utils.Ident
modNameToText | Cryptol.Utils.Ident
modNested | Cryptol.ModuleSystem.Binds
ModParam |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
3 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
4 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
modParamIdent | Cryptol.Utils.Ident
ModParamName | Cryptol.ModuleSystem.Renamer.Error
ModParamNames |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
modParamsNamingEnv | Cryptol.ModuleSystem.NamingEnv
ModPath |
1 (Type/Class) | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name
2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Error
modPathCommon | Cryptol.Utils.Ident
modPathIsNormal | Cryptol.Utils.Ident
modPathIsOrContains | Cryptol.Utils.Ident
modPathSplit | Cryptol.Utils.Ident
modPublic | Cryptol.ModuleSystem.Binds
modRange | Cryptol.Parser.AST
modState | Cryptol.ModuleSystem.Binds
modToMap | Cryptol.ModuleSystem.Binds
ModTParam |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
modTyParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Module |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
3 (Type/Class) | Cryptol.TypeCheck.AST
4 (Data Constructor) | Cryptol.TypeCheck.AST
ModuleArg | Cryptol.Parser.AST
ModuleCmd | Cryptol.ModuleSystem
moduleCmd | Cryptol.REPL.Command
moduleCmdResult | Cryptol.REPL.Command
ModuleDefinition | Cryptol.Parser.AST
moduleDeps | Cryptol.IR.FreeVars
ModuleEnv |
1 (Type/Class) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
2 (Data Constructor) | Cryptol.ModuleSystem.Env, Cryptol.ModuleSystem
moduleEnv | Cryptol.Eval
ModuleError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
moduleFile | Cryptol.ModuleSystem.Base
ModuleG |
1 (Type/Class) | Cryptol.Parser.AST
2 (Type/Class) | Cryptol.TypeCheck.AST
ModuleInput |
1 (Type/Class) | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
2 (Data Constructor) | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
ModuleInstance |
1 (Type/Class) | Cryptol.Parser.AST
2 (Type/Class) | Cryptol.TypeCheck.ModuleInstance
moduleInstance | Cryptol.TypeCheck.ModuleInstance
ModuleInstanceArg | Cryptol.Parser.AST
ModuleInstanceArgs | Cryptol.Parser.AST
ModuleInstanceNamedArg |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
ModuleKindMismatch | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
moduleLinter | Cryptol.ModuleSystem.Base
ModuleM | Cryptol.ModuleSystem.Monad
ModuleNameMismatch | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
moduleNameMismatch | Cryptol.ModuleSystem.Monad
ModuleNotFound | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
moduleNotFound | Cryptol.ModuleSystem.Monad
ModuleParseError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
moduleParseError | Cryptol.ModuleSystem.Monad
ModulePath | Cryptol.ModuleSystem.Env
modulePathLabel | Cryptol.ModuleSystem.Env
ModuleRes | Cryptol.ModuleSystem
ModuleSystemError | Cryptol.REPL.Monad
ModuleT |
1 (Type/Class) | Cryptol.ModuleSystem.Monad
2 (Data Constructor) | Cryptol.ModuleSystem.Monad
ModuleWarning | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
modV | Cryptol.Eval.Generic
ModVParam |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
MonoValues | Cryptol.Parser.Name, Cryptol.Parser.AST
move | Cryptol.Parser.Position
moves | Cryptol.Parser.Position
mParamConstraints | Cryptol.TypeCheck.AST
mParamFuns | Cryptol.TypeCheck.AST
mParams | Cryptol.TypeCheck.AST
mParamTypes | Cryptol.TypeCheck.AST
mpAs | Cryptol.Parser.AST
mpDoc | Cryptol.Parser.AST
mpIface | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpName |
1 (Function) | Cryptol.Parser.AST
2 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpnConstraints | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpnDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpnFuns | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpnTypes | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpnTySyn | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpParameters | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpQual | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mpRenaming | Cryptol.Parser.AST
mPrimTypes | Cryptol.TypeCheck.AST
mpSignature | Cryptol.Parser.AST
mSignatures | Cryptol.TypeCheck.AST
mSubmodules | Cryptol.TypeCheck.AST
MTopModule | Cryptol.TypeCheck.Monad
mtpDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mtpKind | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mtpName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mtpParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mTySyns | Cryptol.TypeCheck.AST
Mul | Cryptol.Parser.Token
MultipleDocs | Cryptol.Parser.NoPat
MultipleFixities | Cryptol.Parser.NoPat
MultipleModParams | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
MultipleSignatures | Cryptol.Parser.NoPat
MultipleSyms | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
mulV | Cryptol.Eval.Generic
mvpDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mvpFixity | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mvpName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
mvpType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
nAdd | Cryptol.TypeCheck.Solver.InfNat
Name | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST
name | Cryptol.Parser.AST
NameBind | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
Named |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
NamedInst | Cryptol.Parser.AST
NamedInstArgs | Cryptol.Parser.AST
NameDisp |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
NamedThing | Cryptol.ModuleSystem.Renamer.Error
nameFixity | Cryptol.ModuleSystem.Name
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, Cryptol.TypeCheck
nameModPath | Cryptol.ModuleSystem.Name
nameModPathMaybe | Cryptol.ModuleSystem.Name
nameNamespace | Cryptol.ModuleSystem.Name
Names | Cryptol.ModuleSystem.Names
namesB | Cryptol.Parser.Names
namesD | Cryptol.Parser.Names
NameSeeds |
1 (Type/Class) | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
2 (Data Constructor) | Cryptol.TypeCheck.Monad
nameSeeds | Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
namesFromSet | Cryptol.ModuleSystem.Names
namesNT | Cryptol.Parser.Names
NameSource | Cryptol.ModuleSystem.Name
namesP | Cryptol.Parser.Names
Namespace | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name
namespaceMap | Cryptol.ModuleSystem.NamingEnv
namesToList | Cryptol.ModuleSystem.Names
nameTopModule | Cryptol.ModuleSystem.Name
nameTopModuleMaybe | Cryptol.ModuleSystem.Name
NameType | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
nameUnique | Cryptol.ModuleSystem.Name
NameUse | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
NamingEnv |
1 (Type/Class) | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer
2 (Data Constructor) | Cryptol.ModuleSystem.NamingEnv
namingEnvFromNames | Cryptol.ModuleSystem.NamingEnv
namingEnvNames | Cryptol.ModuleSystem.NamingEnv
Nat | Cryptol.TypeCheck.Solver.InfNat
Nat' | Cryptol.TypeCheck.Solver.InfNat
nBody | Cryptol.Parser.AST
nCeilDiv | Cryptol.TypeCheck.Solver.InfNat
nCeilMod | Cryptol.TypeCheck.Solver.InfNat
nConName | Cryptol.Parser.AST
nDiv | Cryptol.TypeCheck.Solver.InfNat
negateV | Cryptol.Eval.Generic
NegativeExponent | Cryptol.Backend.Monad, Cryptol.Eval
nest | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
Nested | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name
NestedConstraintGuard | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
NestedModule |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
nestedModuleOrig | Cryptol.ModuleSystem.Renamer.Monad
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
newLocalName | Cryptol.TypeCheck.Monad
newLocalScope | Cryptol.TypeCheck.Monad
newModParam | Cryptol.ModuleSystem.Binds
newModuleScope | Cryptol.TypeCheck.Monad
NewName | Cryptol.Parser.Name, Cryptol.Parser.AST
newName |
1 (Function) | Cryptol.Parser.ExpandPropGuards
2 (Function) | Cryptol.TypeCheck.Monad
newScope | Cryptol.TypeCheck.Monad
newSignatureScope | Cryptol.TypeCheck.Monad
newSubmoduleScope | Cryptol.TypeCheck.Monad
newTopSignatureScope | 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.Type, Cryptol.TypeCheck.AST
4 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
newType | Cryptol.TypeCheck.Monad
newtypeConType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
newtypeParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
nExp | Cryptol.TypeCheck.Solver.InfNat
nextUnique | Cryptol.ModuleSystem.Name
nextUniqueM | Cryptol.ModuleSystem.Name
nil | Cryptol.TypeCheck.TypeMap
nlam | Cryptol.Eval.Value
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
noArgDescr | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
NoChange | Cryptol.TypeCheck.Solver.Numeric.Interval
NoCoreLint | Cryptol.ModuleSystem.Env
Node | Cryptol.REPL.Trie
noFreeVariables | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
NoIncludeError | Cryptol.REPL.Monad
NoIncludeErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
noIncludeErrors | Cryptol.ModuleSystem.Monad
NoLayout | Cryptol.Parser.Lexer, Cryptol.Parser
NoMatchingPropGuardCase | Cryptol.Backend.Monad, Cryptol.Eval
noModuleName | Cryptol.Utils.Ident
NonAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST
None | Cryptol.Parser.Unlit, Cryptol.Parser
NonExhaustivePropGuards | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
NonRecursive | Cryptol.TypeCheck.AST
NoParams | Cryptol.ModuleSystem.Env
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
NoPrim | Cryptol.Backend.Monad, Cryptol.Eval
NormalModule | Cryptol.Parser.AST
NoSignature | Cryptol.Parser.ExpandPropGuards
NotEnoughArgumentsInKind | Cryptol.TypeCheck.Sanity
NotForAll | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
NotInScope | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
NotSame | Cryptol.TypeCheck.Sanity
NoWildCards | Cryptol.TypeCheck.Monad
nParams | Cryptol.Parser.AST
NSModule | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name
NSType | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name
nSub | Cryptol.TypeCheck.Solver.InfNat
NSValue | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name
ntConName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ntConstraints | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ntDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ntFields | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ntName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ntParams | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
nullGoals | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
nullIdent | Cryptol.Utils.Ident, Cryptol.Parser.AST
nullTM | Cryptol.TypeCheck.TypeMap
Num | Cryptol.Parser.Token, Cryptol.Parser.Lexer
NumInfo | Cryptol.Parser.AST
nWidth | Cryptol.TypeCheck.Solver.InfNat
OctFrac | Cryptol.Parser.AST
OctLit | Cryptol.Parser.AST
offlineProveSat | Cryptol.REPL.Command
ogFromModParam | Cryptol.Utils.Ident
ogModule | Cryptol.Utils.Ident
ogName | Cryptol.Utils.Ident
ogNamespace | Cryptol.Utils.Ident
ogSource | Cryptol.Utils.Ident
One | Cryptol.ModuleSystem.Names
onlineProveSat | Cryptol.REPL.Command
Only | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
onlyNonTrivial | Cryptol.TypeCheck.Sanity
Op | Cryptol.Parser.Token, Cryptol.Parser.Lexer
op1 | Cryptol.TypeCheck.SimpType
op2 | Cryptol.TypeCheck.SimpType
op3 | Cryptol.TypeCheck.SimpType
optAliases | Cryptol.REPL.Monad
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
ordinal | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ordSuffix | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
OrigName |
1 (Type/Class) | Cryptol.Utils.Ident
2 (Data Constructor) | Cryptol.Utils.Ident
OrigSource | Cryptol.Utils.Ident
orV | Cryptol.Eval.Generic
Other | Cryptol.Parser.Token
OtherFailure | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
OtherIOError | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
otherIOError | Cryptol.ModuleSystem.Monad
OverlappingRecordUpdate | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
OverlappingSyms | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
packIdent | Cryptol.Utils.Ident
packInfix | Cryptol.Utils.Ident
packModName | Cryptol.Utils.Ident
packWord | Cryptol.Backend, Cryptol.Eval.Value
padSHA1 | Cryptol.SHA
padSHA1Chunks | Cryptol.SHA
padSHA512 | Cryptol.SHA
padSHA512Chunks | Cryptol.SHA
PAnd | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pAnd | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Panic | Cryptol.Utils.Panic
panic | Cryptol.Utils.Panic
ParamDecl | Cryptol.Parser.AST
ParameterArg | Cryptol.Parser.AST
ParameterFun |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
ParameterType |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
ParenL | Cryptol.Parser.Token, Cryptol.Parser.Lexer
ParenR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
parens | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
parmapV | Cryptol.Eval.Generic
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
parseFieldOrder | Cryptol.REPL.Monad
parseHelpName | Cryptol.Parser
parseLetDecl | Cryptol.Parser
parseLetDeclWith | Cryptol.Parser
parseModName | Cryptol.Parser
parseModule |
1 (Function) | Cryptol.Parser
2 (Function) | Cryptol.ModuleSystem.Base
parsePPFloatFormat | Cryptol.REPL.Monad
parseProgram | Cryptol.Parser
parseProgramWith | Cryptol.Parser
parseRepl | Cryptol.Parser
parseReplWith | Cryptol.Parser
parseSchema | Cryptol.Parser
parseSchemaWith | Cryptol.Parser
parseSearchPath | Cryptol.REPL.Monad
Pass |
1 (Type/Class) | Cryptol.Parser.Name, Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Testing.Random
Pat | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
Path |
1 (Type/Class) | Cryptol.TypeCheck.Unify
2 (Data Constructor) | Cryptol.TypeCheck.Unify
PathElement | Cryptol.TypeCheck.Unify
Pattern | Cryptol.Parser.AST
patternToExpr | Cryptol.Parser.ExpandPropGuards
PC |
1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pcExpr | Cryptol.Symbolic
pcExtraDecls | Cryptol.Symbolic
pcIgnoreSafety | Cryptol.Symbolic
PCmp | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pcProverName | Cryptol.Symbolic
pcProverStats | Cryptol.Symbolic
pcQueryType | Cryptol.Symbolic
pcSchema | Cryptol.Symbolic
pcSmtFile | Cryptol.Symbolic
pcValidate | Cryptol.Symbolic
pcVerbose | Cryptol.Symbolic
pdiv | Cryptol.F2
PEq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pEq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PEqual | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pfDoc | Cryptol.Parser.AST
pfFixity | Cryptol.Parser.AST
PField | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PFin | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pFin | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PFinPoly | Cryptol.Eval.Prims
PFLiteral | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PFloatFun | Cryptol.Eval.Prims
pfName | Cryptol.Parser.AST
pfSchema | Cryptol.Parser.AST
PFun | Cryptol.Eval.Prims
pgcExpr | Cryptol.Parser.AST
pgcProps | Cryptol.Parser.AST
PGeq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PHas | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pHas | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pickTVarName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PIntegral | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIntegral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pipe | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
pIsCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsEq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsEqual | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsFin | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsFLiteral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsGeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsIntegral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsLiteral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsLiteralLessThan | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsLogic | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsPrime | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsRing | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsRound | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsSignedCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsTrue | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsValidFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsWidth | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pIsZero | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PList | Cryptol.Parser.AST
PLiteral | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pLiteral | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PLiteralLessThan | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pLiteralLessThan | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PLocated | Cryptol.Parser.AST
PLogic | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pLogic | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Plus | Cryptol.Parser.Token
pmod | Cryptol.F2
pmult | Cryptol.F2
PName | Cryptol.Parser.Name, Cryptol.Parser.AST
pNegNumeric | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PNeq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PNumPoly | Cryptol.Eval.Prims
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
ppBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
PPCfg |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppcfgNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppcfgShowNameUniques | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppEnv | Cryptol.Eval.Env
ppError |
1 (Function) | Cryptol.Parser
2 (Function) | Cryptol.TypeCheck
ppEValue | Cryptol.Eval.Reference
PPFloatExp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
PPFloatFormat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
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
ppIntervalsWithNames | Cryptol.TypeCheck.Solver.Numeric.Interval
ppLam | Cryptol.TypeCheck.AST
ppList | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppLocName | Cryptol.ModuleSystem.Name
PPName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppNamedError | Cryptol.TypeCheck
ppNamedWarning | Cryptol.TypeCheck
ppNameFixity | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppNestedSels | Cryptol.Parser.Selector
ppNewtypeFull | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ppNewtypeShort | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PPOpts |
1 (Type/Class) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
2 (Data Constructor) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
ppPathEl | Cryptol.TypeCheck.Unify
ppPrec | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppPrefixName | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppRecord | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
PPrim | Cryptol.Eval.Prims
PPrime | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pPrime | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ppSelector | Cryptol.Parser.Selector, Cryptol.Parser.AST
ppTrace | Cryptol.Utils.Debug
ppTuple | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
ppUse | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
ppValue |
1 (Function) | Cryptol.Eval.Value
2 (Function) | Cryptol.Eval.Reference
ppWarning | Cryptol.TypeCheck
ppWithNames | Cryptol.TypeCheck.PP
ppWithNamesPrec | Cryptol.TypeCheck.PP
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
PredicateFalsified | Cryptol.Symbolic
PrefixAssocChanged | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
PrefixComplement | Cryptol.Parser.AST
prefixFixity | Cryptol.Parser.AST
PrefixNeg | Cryptol.Parser.AST
PrefixOp | Cryptol.Parser.AST
prelPrim | Cryptol.Utils.Ident
preludeName | Cryptol.Utils.Ident
preludeReferenceName | Cryptol.Utils.Ident
prependSearchPath | Cryptol.REPL.Monad
PreProc | Cryptol.Parser.Unlit, Cryptol.Parser
pretty | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
Prim | Cryptol.Eval.Prims
primDecls | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST
primeECName | Cryptol.Utils.Ident
primeECPrim | Cryptol.Utils.Ident
PrimeModulus | Cryptol.PrimeEC
primeModulus | Cryptol.PrimeEC
primeTable | Cryptol.TypeCheck.Solver.Numeric
PrimIdent |
1 (Type/Class) | Cryptol.Utils.Ident
2 (Data Constructor) | Cryptol.Utils.Ident
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.Eval.What4
2 (Function) | Cryptol.Eval.Concrete
3 (Function) | Cryptol.Eval.SBV
primTCts | Cryptol.Parser.AST
primTFixity | Cryptol.Parser.AST
primTKind | Cryptol.Parser.AST
primTName | Cryptol.Parser.AST
PrimType |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
primTypes | Cryptol.ModuleSystem.Name, Cryptol.TypeCheck.AST
PRing | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pRing | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Private | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
processSHA256Block | Cryptol.SHA
processSHA512Block | Cryptol.SHA
Program |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
ProjectivePoint |
1 (Type/Class) | Cryptol.PrimeEC
2 (Data Constructor) | Cryptol.PrimeEC
ProofObligation | Cryptol.TypeCheck.Sanity
Prop |
1 (Type/Class) | Cryptol.Parser.AST
2 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PropGuardCase |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
propInterval | Cryptol.TypeCheck.Solver.Numeric.Interval
PropSyn |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
propSynParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PRound | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pRound | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
proveCmd | Cryptol.REPL.Command
proveImp | Cryptol.TypeCheck.Solver.SMT
proveImplication | Cryptol.TypeCheck.Solve
proveModuleTopLevel | Cryptol.TypeCheck.Solve
ProveQuery | Cryptol.Symbolic
ProverCommand |
1 (Type/Class) | Cryptol.Symbolic
2 (Data Constructor) | Cryptol.Symbolic
ProverError | Cryptol.Symbolic
proverNames |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
ProverResult | Cryptol.Symbolic
ProverStats | Cryptol.Symbolic
psFixity | Cryptol.Parser.AST
PSignedCmp | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pSignedCmp | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
psName | Cryptol.Parser.AST
PSplit | Cryptol.Parser.AST
pSplitAnd | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PStrict | Cryptol.Eval.Prims
ptDoc | Cryptol.Parser.AST
ptFixity | Cryptol.Parser.AST
ptKind | Cryptol.Parser.AST
ptName | Cryptol.Parser.AST
ptNumber | Cryptol.Parser.AST
PTrue | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pTrue | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PTuple | Cryptol.Parser.AST
PTyped | Cryptol.Parser.AST
PTyPoly | Cryptol.Eval.Prims
Public | Cryptol.Parser.AST, Cryptol.TypeCheck.AST
pushCallFrame | Cryptol.Backend.Monad
PVal | Cryptol.Eval.Prims
PValidFloat | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pValidFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
PVar | Cryptol.Parser.AST
PWild | Cryptol.Parser.AST
PWordFun | Cryptol.Eval.Prims
px | Cryptol.PrimeEC
py | Cryptol.PrimeEC
pz | Cryptol.PrimeEC
PZero | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
pZero | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
qcCmd | Cryptol.REPL.Command
QCExhaust | Cryptol.REPL.Command
qcExpr | 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
qualify | Cryptol.ModuleSystem.NamingEnv
QueryType | Cryptol.Symbolic
quickApply | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
quietLogger | Cryptol.Utils.Logger
quotes | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
raise | Cryptol.REPL.Monad
raiseError | Cryptol.Backend, Cryptol.Eval.Value
randomTests | Cryptol.Testing.Random
randomTests' | Cryptol.Testing.Random
randomV | Cryptol.Eval.Generic
randomValue | Cryptol.Testing.Random
Range |
1 (Type/Class) | Cryptol.Parser.Position
2 (Data Constructor) | Cryptol.Parser.Position
rangeWithin | Cryptol.Parser.Position
ratio | Cryptol.Backend
rationalAdd | Cryptol.Backend
rationalCeiling | Cryptol.Backend
rationalDivide | Cryptol.Backend
rationalEq | Cryptol.Backend
rationalFloor | Cryptol.Backend
rationalGreaterThan | Cryptol.Backend
rationalLessThan | Cryptol.Backend
rationalMul | Cryptol.Backend
rationalNegate | Cryptol.Backend
rationalRecip | Cryptol.Backend
rationalRoundAway | Cryptol.Backend
rationalRoundToEven | Cryptol.Backend
rationalSub | Cryptol.Backend
rationalTrunc | Cryptol.Backend
ratioV | Cryptol.Eval.Generic
rComb | Cryptol.Parser.Position
rCombMaybe | Cryptol.Parser.Position
rCombs | Cryptol.Parser.Position
readBytes | Cryptol.ModuleSystem.Monad
Ready | Cryptol.Backend.Monad
ready | Cryptol.Backend.Monad
recipV | Cryptol.Eval.Generic
recordElements | Cryptol.Utils.RecordMap
recordError |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.ModuleSystem.Renamer.Monad
recordErrorLoc | Cryptol.TypeCheck.Monad
recordFromFields | Cryptol.Utils.RecordMap
recordFromFieldsErr | Cryptol.Utils.RecordMap
recordFromFieldsWithDisplay | Cryptol.Utils.RecordMap
recordImport | Cryptol.ModuleSystem.Renamer.Monad
RecordMap | Cryptol.Utils.RecordMap
recordMapAccum | Cryptol.Utils.RecordMap
RecordSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
RecordSelectorTok | Cryptol.Parser.Token
recordUse | Cryptol.ModuleSystem.Renamer.Monad
recordWarning |
1 (Function) | Cryptol.TypeCheck.Monad
2 (Function) | Cryptol.ModuleSystem.Renamer.Monad
Recursive | Cryptol.TypeCheck.AST
RecursiveModules | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
recursiveModules | Cryptol.ModuleSystem.Monad
RecursiveType | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
RecursiveTypeDecls | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
reflow | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
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
RenamedModule |
1 (Type/Class) | Cryptol.ModuleSystem.Renamer
2 (Data Constructor) | Cryptol.ModuleSystem.Renamer
RenameM |
1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad
renameModule |
1 (Function) | Cryptol.ModuleSystem.Renamer
2 (Function) | Cryptol.ModuleSystem.Base
RenamerError | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
RenamerErrors | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
renamerErrors | Cryptol.ModuleSystem.Monad
RenamerInfo |
1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
RenamerWarning | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
RenamerWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
renamerWarnings | Cryptol.ModuleSystem.Monad
renameTopDecls | Cryptol.ModuleSystem.Renamer
renameType |
1 (Function) | Cryptol.ModuleSystem.Renamer
2 (Function) | Cryptol.ModuleSystem
renameVar |
1 (Function) | Cryptol.ModuleSystem.Renamer
2 (Function) | Cryptol.ModuleSystem
renContext | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
renderOneLine | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
renEnv | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
renIfaces | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
RenModParam |
1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad
2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad
renModParamInstance | Cryptol.ModuleSystem.Renamer.Monad
renModParamName | Cryptol.ModuleSystem.Renamer.Monad
renModParamRange | Cryptol.ModuleSystem.Renamer.Monad
renModParamSig | Cryptol.ModuleSystem.Renamer.Monad
renSupply | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
RepeatedTypeParameter | Cryptol.TypeCheck.Error, 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
ReplInput | Cryptol.Parser.AST
replParse | Cryptol.REPL.Command
replParseExpr | Cryptol.REPL.Command
reportExpr | Cryptol.REPL.Command
reportResult | Cryptol.REPL.Command
reportTestsPossible | Cryptol.REPL.Command
reportTestsRun | Cryptol.REPL.Command
resetModuleEnv | Cryptol.ModuleSystem.Env
resetSolver | Cryptol.TypeCheck.Solver.SMT
resetTCSolver | Cryptol.REPL.Monad
ResolvedExt | Cryptol.ModuleSystem.Renamer.Imports
ResolvedLocal | Cryptol.ModuleSystem.Renamer.Imports
ResolvedModule |
1 (Type/Class) | Cryptol.ModuleSystem.Renamer.Imports
2 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Imports
resolveImports | Cryptol.ModuleSystem.Renamer.Imports
Result | Cryptol.TypeCheck.Unify
rethrowEvalError | Cryptol.REPL.Monad
returnTests | Cryptol.Testing.Random
returnTests' | Cryptol.Testing.Random
reverseSeqMap | Cryptol.Backend.SeqMap
reverseV | Cryptol.Eval.Generic
reverseWordVal | Cryptol.Backend.WordValue
rewModule | Cryptol.Transform.MonoValues
RightAssoc | Cryptol.Utils.Fixity, Cryptol.Parser.AST
ringBinary | Cryptol.Eval.Generic
ringNullary | Cryptol.Eval.Generic
ringUnary | Cryptol.Eval.Generic
rmDefines | Cryptol.ModuleSystem.Renamer
rmImported | Cryptol.ModuleSystem.Renamer
rmInScope | Cryptol.ModuleSystem.Renamer
rmModule | Cryptol.ModuleSystem.Renamer
rmodDefines | Cryptol.ModuleSystem.Renamer.Imports
rmodImports | Cryptol.ModuleSystem.Renamer.Imports
rmodKind | Cryptol.ModuleSystem.Renamer.Imports
rmodNested | Cryptol.ModuleSystem.Renamer.Imports
rmodPublic | Cryptol.ModuleSystem.Renamer.Imports
RO |
1 (Type/Class) | Cryptol.TypeCheck.Monad
2 (Data Constructor) | Cryptol.TypeCheck.Monad
3 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad
4 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad
5 (Type/Class) | Cryptol.ModuleSystem.Monad
6 (Data Constructor) | Cryptol.ModuleSystem.Monad
roCallStacks | Cryptol.ModuleSystem.Monad
roCurMod | Cryptol.ModuleSystem.Renamer.Monad
roEvalOpts | Cryptol.ModuleSystem.Monad
roExternal | Cryptol.ModuleSystem.Renamer.Monad
roFileReader | Cryptol.ModuleSystem.Monad
roFromModParam | Cryptol.ModuleSystem.Renamer.Monad
roLoading | Cryptol.ModuleSystem.Monad
roLoc | Cryptol.ModuleSystem.Renamer.Monad
roModParams | Cryptol.ModuleSystem.Renamer.Monad
roNames | Cryptol.ModuleSystem.Renamer.Monad
roNestedMods | Cryptol.ModuleSystem.Renamer.Monad
rootExact | Cryptol.TypeCheck.Solver.InfNat
rootPath | Cryptol.TypeCheck.Unify
roResolvedModules | Cryptol.ModuleSystem.Renamer.Monad
rotateLeftReindex | Cryptol.Eval.Generic
rotateRightReindex | Cryptol.Eval.Generic
rotateShrink | Cryptol.Eval.Generic
roTCSolver | Cryptol.ModuleSystem.Monad
roundAwayV | Cryptol.Eval.Generic
roundOp | Cryptol.Eval.Generic
roundToEvenV | Cryptol.Eval.Generic
rPrint | Cryptol.REPL.Monad
rPutStr | Cryptol.REPL.Monad
rPutStrLn | Cryptol.REPL.Monad
RST | Cryptol.Parser.Unlit, Cryptol.Parser
runCommand | Cryptol.REPL.Command
runDoc | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
runDocWith | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
runEval | Cryptol.Backend.Monad, Cryptol.Eval
runExpandPropGuardsM | Cryptol.Parser.ExpandPropGuards
runInferM | Cryptol.TypeCheck.Monad
runKindM | Cryptol.TypeCheck.Monad
runModuleM | Cryptol.ModuleSystem.Monad
runModuleT | Cryptol.ModuleSystem.Monad
runRenamer | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
runREPL | Cryptol.REPL.Monad
runResult | Cryptol.TypeCheck.Unify
runSpecT | Cryptol.Transform.Specialize
runSupply | Cryptol.ModuleSystem.Name
runSupplyT | Cryptol.ModuleSystem.Name
RW |
1 (Type/Class) | Cryptol.TypeCheck.Monad
2 (Data Constructor) | Cryptol.TypeCheck.Monad
3 (Type/Class) | Cryptol.ModuleSystem.Renamer.Monad
4 (Data Constructor) | Cryptol.ModuleSystem.Renamer.Monad
rwCurrentDeps | Cryptol.ModuleSystem.Renamer.Monad
rwDepGraph | Cryptol.ModuleSystem.Renamer.Monad
rwErrors | Cryptol.ModuleSystem.Renamer.Monad
rwExternalDeps | Cryptol.ModuleSystem.Renamer.Monad
rwNameUseCount | Cryptol.ModuleSystem.Renamer.Monad
rwSupply | Cryptol.ModuleSystem.Renamer.Monad
rwWarnings | Cryptol.ModuleSystem.Renamer.Monad
SafetyQuery | Cryptol.Symbolic
SafetyViolation | Cryptol.Symbolic
same | Cryptol.TypeCheck.Sanity
SameIf | Cryptol.TypeCheck.Sanity
sanitize | Cryptol.REPL.Command
satCmd | Cryptol.REPL.Command
SatNum | Cryptol.Symbolic
satProve |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
satProveOffline |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
SatQuery | Cryptol.Symbolic
saturatedAsmps | Cryptol.TypeCheck.Solver.Types
saturatedPropSet | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
SBit | Cryptol.Backend, Cryptol.Eval.Value
SBV |
1 (Type/Class) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.Backend.SBV
sbvDefRelations | Cryptol.Backend.SBV
SBVError |
1 (Data Constructor) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.REPL.Monad
SBVEval |
1 (Type/Class) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.Backend.SBV
sbvEval | Cryptol.Backend.SBV
SBVException | Cryptol.REPL.Monad
SBVPortfolioException |
1 (Type/Class) | Cryptol.Symbolic.SBV
2 (Data Constructor) | Cryptol.Symbolic.SBV
3 (Data Constructor) | Cryptol.REPL.Monad
SBVProverConfig | Cryptol.Symbolic.SBV
SBVResult |
1 (Type/Class) | Cryptol.Backend.SBV
2 (Data Constructor) | Cryptol.Backend.SBV
sbvStateVar | Cryptol.Backend.SBV
scanlV | Cryptol.Eval.Generic
Schema |
1 (Type/Class) | Cryptol.Parser.AST
2 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
SchemaMismatch | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
schemaParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
ScopeName | Cryptol.TypeCheck.Monad
sDeclareHole | Cryptol.Backend, Cryptol.Eval.Value
sDelay | Cryptol.Backend
sDelayFill | Cryptol.Backend, Cryptol.Eval.Value
sDenom | Cryptol.Backend
sdivV | Cryptol.Eval.Generic
secs | Cryptol.Utils.Benchmark
seedGoal | Cryptol.TypeCheck.Monad
seedTVar | Cryptol.TypeCheck.Monad
Selector |
1 (Data Constructor) | Cryptol.Parser.Token, Cryptol.Parser.Lexer
2 (Type/Class) | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
selectorScope | Cryptol.TypeCheck.Monad
SelectorType | Cryptol.Parser.Token
selName | Cryptol.Parser.Selector
selSrc | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
Semi | Cryptol.Parser.Token, Cryptol.Parser.Lexer
sep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
SeqMap | Cryptol.Backend.SeqMap
setCurMod | Cryptol.ModuleSystem.Renamer.Monad
setDynEnv |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
setEditPath | Cryptol.REPL.Monad
setFocusedModule | Cryptol.ModuleSystem.Monad
setLoadedMod | Cryptol.REPL.Monad
setModParams | Cryptol.ModuleSystem.Renamer.Monad
setModuleEnv |
1 (Function) | Cryptol.ModuleSystem.Monad
2 (Function) | Cryptol.REPL.Monad
setMonoBinds | Cryptol.ModuleSystem.Monad
setNameSeeds | Cryptol.ModuleSystem.Monad
setNestedModule | Cryptol.ModuleSystem.Renamer.Monad
setOptionCmd | Cryptol.REPL.Command
setPutStr | Cryptol.REPL.Monad
setRandomGen | Cryptol.REPL.Monad
setResolvedLocals | Cryptol.ModuleSystem.Renamer.Monad
setSearchPath | Cryptol.REPL.Monad
setSpecCache | Cryptol.Transform.Specialize
setSupply | Cryptol.ModuleSystem.Monad
setUpdateREPLTitle | Cryptol.REPL.Monad
setupProver |
1 (Function) | Cryptol.Symbolic.What4
2 (Function) | Cryptol.Symbolic.SBV
setUser | Cryptol.REPL.Monad
SEval | Cryptol.Backend, Cryptol.Eval.Value
SFloat | Cryptol.Backend, Cryptol.Eval.Value
sGetCallStack | Cryptol.Backend, Cryptol.Eval.Value
SHA256Block |
1 (Type/Class) | Cryptol.SHA
2 (Data Constructor) | Cryptol.SHA
SHA256S | Cryptol.SHA
SHA256State | Cryptol.SHA
SHA512Block |
1 (Type/Class) | Cryptol.SHA
2 (Data Constructor) | Cryptol.SHA
SHA512S | Cryptol.SHA
SHA512State | Cryptol.SHA
shadowing | Cryptol.ModuleSystem.NamingEnv, Cryptol.ModuleSystem.Renamer
shadowNames | Cryptol.ModuleSystem.Renamer.Monad, Cryptol.ModuleSystem.Renamer
shadowNames' | Cryptol.ModuleSystem.Renamer.Monad
ShellArg | Cryptol.REPL.Command
shiftLeftReindex | Cryptol.Eval.Generic
shiftRightReindex | Cryptol.Eval.Generic
shiftSeqByInteger | Cryptol.Backend.SeqMap
shiftSeqByWord | Cryptol.Backend.WordValue
shiftShrink | Cryptol.Eval.Generic
shiftWordByInteger | Cryptol.Backend.WordValue
shiftWordByWord | Cryptol.Backend.WordValue
shl | Cryptol.Backend.SBV
shouldContinue | Cryptol.REPL.Monad
ShowParseable | Cryptol.TypeCheck.Parseable
showParseable | Cryptol.TypeCheck.Parseable
shrinkModel | Cryptol.TypeCheck.Solver.SMT
sigConstraints | Cryptol.Parser.AST
SigDecl | Cryptol.Parser.AST
sigDecls | Cryptol.Parser.AST
sigFunParams | Cryptol.Parser.AST
sigImports | Cryptol.Parser.AST
Signature |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
SignatureNoBind | Cryptol.Parser.NoPat
SignatureScope | Cryptol.TypeCheck.Monad
signedBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
signedLessThanV | Cryptol.Eval.Generic
signedValue | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
SigPropSyn | Cryptol.Parser.AST
sigTypeParams | Cryptol.Parser.AST
SigTySyn | Cryptol.Parser.AST
simpGoal | Cryptol.TypeCheck.Monad
simpGoals | Cryptol.TypeCheck.Monad
simplify | Cryptol.TypeCheck.SimpleSolver
simplifyAllConstraints | Cryptol.TypeCheck.Solve
simplifyStep | Cryptol.TypeCheck.SimpleSolver
singleSubst | Cryptol.TypeCheck.Subst
singletonNS | Cryptol.ModuleSystem.NamingEnv
singleTParamSubst | Cryptol.TypeCheck.Subst
SInteger | Cryptol.Backend, Cryptol.Eval.Value
sLg2 | Cryptol.Backend.What4
sModAdd | Cryptol.Backend.What4
sModifyCallStack | Cryptol.Backend, Cryptol.Eval.Value
sModMult | Cryptol.Backend.What4
sModNegate | Cryptol.Backend.What4
sModRecip | Cryptol.Backend.What4
sModSub | Cryptol.Backend.What4
smodV | Cryptol.Eval.Generic
Smoke | Cryptol.REPL.Monad
smokeTest | Cryptol.REPL.Monad
sNum | Cryptol.Backend
solveCmpInst | Cryptol.TypeCheck.Solver.Class
Solved | Cryptol.TypeCheck.Solver.Types
SolvedIf | Cryptol.TypeCheck.Solver.Types
solveEqInst | Cryptol.TypeCheck.Solver.Class
solveFieldInst | Cryptol.TypeCheck.Solver.Class
solveFLiteralInst | Cryptol.TypeCheck.Solver.Class
solveHasGoal | Cryptol.TypeCheck.Monad
solveIntegralInst | Cryptol.TypeCheck.Solver.Class
solveLiteralInst | Cryptol.TypeCheck.Solver.Class
solveLiteralLessThanInst | Cryptol.TypeCheck.Solver.Class
solveLogicInst | Cryptol.TypeCheck.Solver.Class
solveOpts | Cryptol.TypeCheck.Solver.Types
Solver | Cryptol.TypeCheck.Solver.SMT
solverArgs | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
SolverConfig |
1 (Type/Class) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Solver.SMT, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
SolverCtxt | Cryptol.TypeCheck.Solver.Types
solveRingInst | Cryptol.TypeCheck.Solver.Class
solveRoundInst | Cryptol.TypeCheck.Solver.Class
solverPath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solverPreludePath | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solverVerbose | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck
solveSignedCmpInst | Cryptol.TypeCheck.Solver.Class
solveValidFloat | Cryptol.TypeCheck.Solver.Class
solveZeroInst | Cryptol.TypeCheck.Solver.Class
SomeFFIArg |
1 (Type/Class) | Cryptol.Backend.FFI
2 (Data Constructor) | Cryptol.Backend.FFI
SomeSat | Cryptol.Symbolic
SomeSymFn |
1 (Type/Class) | Cryptol.Backend.What4
2 (Data Constructor) | Cryptol.Backend.What4
source | Cryptol.Parser.Position
Space | Cryptol.Parser.Token, Cryptol.Parser.Lexer
sparkParMap | Cryptol.Eval.Generic
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
splitApp | Cryptol.TypeCheck.AST
splitCommand | Cryptol.REPL.Command
splitConstFactor | Cryptol.TypeCheck.Solver.Utils
splitConstSummand | Cryptol.TypeCheck.Solver.Utils
splitExprInst | Cryptol.TypeCheck.AST
splitLoc | Cryptol.TypeCheck.AST
splitProofAbs | Cryptol.TypeCheck.AST
splitProofApp | Cryptol.TypeCheck.AST
splitSeqMap | Cryptol.Backend.SeqMap
splitTAbs | Cryptol.TypeCheck.AST
splitTApp | Cryptol.TypeCheck.AST
splitV | Cryptol.Eval.Generic
splitVarSummand | Cryptol.TypeCheck.Solver.Utils
splitVarSummands | Cryptol.TypeCheck.Solver.Utils
splitWhile | Cryptol.TypeCheck.AST
splitWord | Cryptol.Backend, Cryptol.Eval.Value
sProps | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sPushFrame | Cryptol.Backend, Cryptol.Eval.Value
SRational |
1 (Type/Class) | Cryptol.Backend
2 (Data Constructor) | Cryptol.Backend
srcRange | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST
sshrV | Cryptol.Eval.Generic
sSpark | Cryptol.Backend, Cryptol.Eval.Value
start | Cryptol.Parser.Position
startsLayout | Cryptol.Parser.Layout
startSolver | Cryptol.TypeCheck.Solver.SMT
startsParenBlock | Cryptol.Parser.Layout
State | Cryptol.AES
stderrLogger | Cryptol.Utils.Logger
stdoutLogger | Cryptol.Utils.Logger
stop | Cryptol.REPL.Monad
stopSolver | Cryptol.TypeCheck.Solver.SMT
streamSeqMap | Cryptol.Backend.SeqMap
StrLit | Cryptol.Parser.Token, Cryptol.Parser.Lexer
SType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
sType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Su | Cryptol.TypeCheck.ModuleInstance
SubModule | Cryptol.TypeCheck.Monad
Subst | Cryptol.TypeCheck.Subst
substBinds | Cryptol.TypeCheck.Subst
SubstError | Cryptol.TypeCheck.Subst
SubstEscaped | Cryptol.TypeCheck.Subst
SubstKindMismatch | Cryptol.TypeCheck.Subst
SubstRecursive | Cryptol.TypeCheck.Subst
substToList | Cryptol.TypeCheck.Subst
subsumes | Cryptol.TypeCheck.Error
subV | Cryptol.Eval.Generic
succeed | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
suiteBName | Cryptol.Utils.Ident
suiteBPrim | Cryptol.Utils.Ident
superclassSet | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Supply | Cryptol.ModuleSystem.Name
SupplyT | Cryptol.ModuleSystem.Name
sVars | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
svFromInteger | Cryptol.Backend.SBV
svToInteger | Cryptol.Backend.SBV
sWithCallStack | Cryptol.Backend, Cryptol.Eval.Value
SWord | Cryptol.Backend, Cryptol.Eval.Value
Sym | Cryptol.Parser.Token, Cryptol.Parser.Lexer
SymbolShadowed | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
SystemName | Cryptol.ModuleSystem.Name
tAbstract | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tAdd | Cryptol.TypeCheck.SimpType
takeV | Cryptol.Eval.Generic
takeWordVal | Cryptol.Backend.WordValue
tArray | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TBit | Cryptol.Parser.AST
tBit | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TC |
1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCAbstract | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCAction |
1 (Type/Class) | Cryptol.ModuleSystem.Base
2 (Data Constructor) | Cryptol.ModuleSystem.Base
tcAction | Cryptol.ModuleSystem.Base
TCAdd | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCArray | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCBit | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCCeilDiv | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCCeilMod | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tcDecls |
1 (Function) | Cryptol.TypeCheck.Sanity
2 (Function) | Cryptol.TypeCheck
TCDiv | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tCeilDiv |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
tCeilMod |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
TCExp | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tcExpr |
1 (Function) | Cryptol.TypeCheck.Sanity
2 (Function) | Cryptol.TypeCheck
TCFloat | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCFun | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TChar | Cryptol.Parser.AST
tChar | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCInf | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCInteger | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCIntMod | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCLenFromThenTo | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCLinter |
1 (Type/Class) | Cryptol.ModuleSystem.Base
2 (Data Constructor) | Cryptol.ModuleSystem.Base
tcLinter | Cryptol.ModuleSystem.Base
TCMax | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCMin | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCMod | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tcModule |
1 (Function) | Cryptol.TypeCheck.Sanity
2 (Function) | Cryptol.TypeCheck
TCMul | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCNum | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCon |
1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tCon | Cryptol.TypeCheck.SimpType
tcon | Cryptol.TypeCheck.TypeMap
TConArg | Cryptol.TypeCheck.Unify
tcPrims | Cryptol.ModuleSystem.Base
TCRational | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCSeq | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCSub | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCTopEntity | Cryptol.TypeCheck.AST
tcTopEntitytLinter | Cryptol.ModuleSystem.Base
tcTopEntitytName | Cryptol.TypeCheck.AST
tcTopEntityToModule | Cryptol.TypeCheck.AST
TCTopModule | Cryptol.TypeCheck.AST
TCTopSignature | Cryptol.TypeCheck.AST
TCTuple | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TCWidth | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tDiv |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
TDNewtype | Cryptol.Parser.AST
TemporaryError | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
TError | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tError | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
testableType | Cryptol.Testing.Random
TestReport |
1 (Type/Class) | Cryptol.REPL.Command
2 (Data Constructor) | Cryptol.REPL.Command
TestResult | Cryptol.Testing.Random
tExp |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
text |
1 (Function) | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
2 (Function) | Cryptol.TypeCheck.Parseable
textToModName | Cryptol.Utils.Ident
TF | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tf1 | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tf2 | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tf3 | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TFun |
1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.Parser.AST
tFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tHasErrors | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
thing | Cryptol.Parser.Position, Cryptol.Parser.Lexer, Cryptol.Parser.AST
ThmResult | Cryptol.Symbolic
Thunk | Cryptol.Backend.Monad
tInf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TInfix | Cryptol.Parser.AST
tInteger | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIntMod | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsBinFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsBit | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsError | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsFloat | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsInf | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsInteger | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsIntMod | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsNat' | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsNum | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsRational | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsRec | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsSeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsTuple | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tIsVar | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tlam | Cryptol.Eval.Value
tlDoc | Cryptol.Parser.AST
tLenFromThenTo |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
tlExport | Cryptol.Parser.AST
TLocalVar | Cryptol.TypeCheck.Monad
TLocated | Cryptol.Parser.AST
tlValue | Cryptol.Parser.AST
TM | Cryptol.TypeCheck.TypeMap
tMax | Cryptol.TypeCheck.SimpType
tMin |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
tMod |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
tMono | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tMul |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
tnamesC | Cryptol.Parser.Names
tnamesD | Cryptol.Parser.Names
tnamesNT | Cryptol.Parser.Names
tnamesT | Cryptol.Parser.Names
tNat' | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TNewtype | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tNewtype | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tnewtype | Cryptol.TypeCheck.TypeMap
TNewtypeArg | Cryptol.TypeCheck.Unify
tNoUser | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TNum | Cryptol.Parser.AST
tNum | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tNumTy | Cryptol.Eval.Type
tNumValTy | Cryptol.Eval.Type
to | Cryptol.Parser.Position
toBigEndianSBS | Cryptol.SHA
toExpr | Cryptol.Eval.Concrete
toFFIFunType | Cryptol.TypeCheck.FFI
toIntegerV | Cryptol.Eval.Generic
Token |
1 (Type/Class) | Cryptol.Parser.Token, Cryptol.Parser.Lexer
2 (Data Constructor) | Cryptol.Parser.Token, Cryptol.Parser.Lexer
TokenErr | Cryptol.Parser.Token, Cryptol.Parser.Lexer
TokenKW | Cryptol.Parser.Token, Cryptol.Parser.Lexer
TokenOp | Cryptol.Parser.Token
TokenSym | Cryptol.Parser.Token, Cryptol.Parser.Lexer
TokenT | Cryptol.Parser.Token, Cryptol.Parser.Lexer
tokenText | Cryptol.Parser.Token, Cryptol.Parser.Lexer
tokenType | Cryptol.Parser.Token, Cryptol.Parser.Lexer
TokenV | Cryptol.Parser.Token, Cryptol.Parser.Lexer
TokenW | Cryptol.Parser.Token, Cryptol.Parser.Lexer
toListTM | Cryptol.TypeCheck.TypeMap
toNameDisp | Cryptol.ModuleSystem.NamingEnv
tOne | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TooFewTyParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
TooManyPositionalTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
TooManyTypeParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
TooManyTySynParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
TooWide | Cryptol.REPL.Monad
tOp | Cryptol.TypeCheck.SimpType
TopDecl | Cryptol.Parser.AST
topDeclsDefs | Cryptol.ModuleSystem.Binds
TopDef | Cryptol.ModuleSystem.Binds
TopInst | Cryptol.ModuleSystem.Binds
TopLevel |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
TopMod | Cryptol.ModuleSystem.Binds
TopModule | Cryptol.Utils.Ident, Cryptol.ModuleSystem.Name
topModuleDefs | Cryptol.ModuleSystem.Binds
topModuleFor | Cryptol.Utils.Ident
toPrimMap | Cryptol.ModuleSystem.NamingEnv
toProjectivePoint | Cryptol.PrimeEC
TopSignatureScope | Cryptol.TypeCheck.Monad
toSignedIntegerV | Cryptol.Eval.Generic
total |
1 (Function) | Cryptol.TypeCheck.SimpType
2 (Function) | Cryptol.Backend.What4
TOuterVar | Cryptol.TypeCheck.Monad
TParam |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
3 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
4 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TParens | Cryptol.Parser.AST
tpFlav | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TPFlavor | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tpfName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tpInfo | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tpKind |
1 (Function) | Cryptol.Parser.AST
2 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TPModParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tpName |
1 (Function) | Cryptol.Parser.AST
2 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TPNewtypeParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TPPrimParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TPPropSynParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tpRange | Cryptol.Parser.AST
TPSchemaParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TPTySynParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TPUnifyVar | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tpUnique | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tpVar | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
trace | Cryptol.Utils.Debug
transDeps | Cryptol.IR.FreeVars
translateExprToNumT | Cryptol.Parser.Utils
transposeV | Cryptol.Eval.Generic
tRational | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TraverseNames | Cryptol.IR.TraverseNames
traverseNames | Cryptol.IR.TraverseNames
traverseNamesIP | Cryptol.IR.TraverseNames
traverseRecordMap | Cryptol.Utils.RecordMap
traverseSnd | Cryptol.Transform.Specialize
travNames | Cryptol.ModuleSystem.Names
travNamingEnv | Cryptol.ModuleSystem.NamingEnv
tRebuild | Cryptol.TypeCheck.SimpType
tRebuild' | Cryptol.TypeCheck.SimpType
TRec | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tRec | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
trec | Cryptol.TypeCheck.TypeMap
TRecArg | Cryptol.TypeCheck.Unify
TRecord | Cryptol.Parser.AST
Trie | Cryptol.REPL.Trie
TrieMap | Cryptol.TypeCheck.TypeMap
TriL | Cryptol.Parser.Token, Cryptol.Parser.Lexer
TriR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
truncV | Cryptol.Eval.Generic
tryFromBits | Cryptol.Eval.Value
tryGetModel | Cryptol.TypeCheck.Solver.SMT
tryGetUser | Cryptol.REPL.Monad
tryHasGoal | Cryptol.TypeCheck.Solver.Selector
tryProveImplication | Cryptol.TypeCheck.Solve
tsConstraints | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tsDef | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tsDoc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TSeq | Cryptol.Parser.AST
tSeq | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tsFixity | Cryptol.Parser.AST
tsName |
1 (Function) | Cryptol.Parser.AST
2 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tsParams | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tSplitFun | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tString | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tSub |
1 (Function) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Function) | Cryptol.TypeCheck.SimpType
TTuple | Cryptol.Parser.AST
tTuple | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tTwo | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TTyApp | Cryptol.Parser.AST
TupleSel | Cryptol.Parser.Selector, Cryptol.Parser.AST, Cryptol.TypeCheck.AST
TupleSelectorOutOfRange | Cryptol.TypeCheck.Sanity
TupleSelectorTok | Cryptol.Parser.Token
TUser |
1 (Data Constructor) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVAbstract | Cryptol.Eval.Type
tValTy | Cryptol.Eval.Type
TValue | Cryptol.Eval.Type
TVar |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tvar | Cryptol.TypeCheck.TypeMap
tvarDesc | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVarInfo |
1 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tvarInterval | Cryptol.TypeCheck.Solver.Numeric.Interval
TVArray | Cryptol.Eval.Type
TVars |
1 (Type/Class) | Cryptol.TypeCheck.Subst
2 (Type/Class) | Cryptol.TypeCheck.Solver.SMT
tvarSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVBit | Cryptol.Eval.Type
TVBound | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVFloat | Cryptol.Eval.Type
tvFloat64 | Cryptol.Eval.Type
TVFree | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVFromModParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVFromSignature | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVFun | Cryptol.Eval.Type
tvInfo | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVInteger | Cryptol.Eval.Type
TVIntMod | Cryptol.Eval.Type
TVNewtype | Cryptol.Eval.Type
TVRational | Cryptol.Eval.Type
TVRec | Cryptol.Eval.Type
TVSeq | Cryptol.Eval.Type
tvSeq | Cryptol.Eval.Type
tvSourceName | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TVStream | Cryptol.Eval.Type
TVTuple | Cryptol.Eval.Type
tvUnique | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tWidth | Cryptol.TypeCheck.SimpType
TWild | Cryptol.Parser.AST
tWord | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
twsRange | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
twsSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
twsType | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tyArgName | Cryptol.TypeCheck.Instantiate
tyArgType | Cryptol.TypeCheck.Instantiate
tyDeps | Cryptol.IR.FreeVars
tyParams | Cryptol.IR.FreeVars
Type |
1 (Type/Class) | Cryptol.Parser.AST
2 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeArg |
1 (Type/Class) | Cryptol.TypeCheck.Instantiate
2 (Data Constructor) | Cryptol.TypeCheck.Instantiate
typecheck | Cryptol.ModuleSystem.Base
TypeCheckingFailed | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
typeCheckingFailed | Cryptol.ModuleSystem.Monad
TypeCheckWarnings | Cryptol.ModuleSystem.Monad, Cryptol.ModuleSystem
typeCheckWarnings | Cryptol.ModuleSystem.Monad
TypeEnv |
1 (Type/Class) | Cryptol.Eval.Type
2 (Data Constructor) | Cryptol.Eval.Type
TypeErrorPlaceHolder | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeFromUserAnnotation | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeInst | Cryptol.Parser.AST
typeInterval | Cryptol.TypeCheck.Solver.Numeric.Interval
TypeMap | Cryptol.TypeCheck.TypeMap
TypeMismatch |
1 (Data Constructor) | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
2 (Data Constructor) | Cryptol.TypeCheck.Sanity
TypeNotTestable | Cryptol.REPL.Monad
TypeOfArg | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeOfIfCondExpr | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeOfRecordField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeOfRes | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeOfSeqElement | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeOfTupleField | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeParamInstNamed | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeParamInstPos | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
typeParams | Cryptol.TypeCheck.Monad
TypeShadowing | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
TypesMap | Cryptol.TypeCheck.TypeMap
TypeSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeVariableEscaped | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
TypeWildCard | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TypeWithSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TySyn |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
3 (Type/Class) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
4 (Data Constructor) | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
tySynParam | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
TyVarWithParams | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
tZero | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
Unary | Cryptol.Eval.Generic
unary | Cryptol.Eval.Generic
unaryBV | Cryptol.Backend.Concrete, Cryptol.Eval.Concrete
UnaryWord | Cryptol.Eval.Generic
UnboundName | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
Unchecked | Cryptol.TypeCheck.Instantiate
uncheckedSingleSubst | Cryptol.TypeCheck.Subst
uncheckedTypeArg | Cryptol.TypeCheck.Instantiate
UndefinedExistVar | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
undefinedModName | Cryptol.Utils.Ident
UndefinedTypeParameter | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
UndefinedTypeVaraible | Cryptol.TypeCheck.Sanity
UndefinedVariable | Cryptol.TypeCheck.Sanity
Underscore | Cryptol.Parser.Token, Cryptol.Parser.Lexer
UnexpectedNest | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
UnexpectedRecordShape | Cryptol.TypeCheck.Sanity
UnexpectedSequenceShape | Cryptol.TypeCheck.Sanity
UnexpectedTupleShape | Cryptol.TypeCheck.Sanity
UnexpectedTypeWildCard | Cryptol.TypeCheck.Error, 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
unionManyNames | Cryptol.ModuleSystem.Names
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
unloadForeignSrc | Cryptol.Backend.FFI
unloadModule | Cryptol.ModuleSystem.Monad
unModuleT | Cryptol.ModuleSystem.Monad
unpackIdent | Cryptol.Utils.Ident
unpackWord | Cryptol.Backend, Cryptol.Eval.Value
UnQual | Cryptol.Parser.Name, Cryptol.Parser.AST
UnQualified | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
unqualifiedEnv | Cryptol.ModuleSystem.NamingEnv
unRenameM | Cryptol.ModuleSystem.Renamer.Monad
unREPL | Cryptol.REPL.Monad
Unsolvable | Cryptol.TypeCheck.Solver.Types
unsolvable | Cryptol.TypeCheck.Solver.SMT
UnsolvableGoals | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
Unsolved | Cryptol.TypeCheck.Solver.Types
UnsolvedDelayedCt | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
UnsolvedGoals | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
Unsupported |
1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval
2 (Data Constructor) | Cryptol.REPL.Monad
UnsupportedFFIKind | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
UnsupportedFFIType | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
UnsupportedSymbolicOp | Cryptol.Backend.Monad, Cryptol.Eval
UnterminatedChar | Cryptol.Parser.Token, Cryptol.Parser.Lexer
UnterminatedComment | Cryptol.Parser.Token, Cryptol.Parser.Lexer
UnterminatedString | Cryptol.Parser.Token, Cryptol.Parser.Lexer
UnusedName | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
updateInterval | Cryptol.TypeCheck.Solver.Numeric.Interval
updatePrim | Cryptol.Eval.Generic
updateREPLTitle | Cryptol.REPL.Monad
updateSeqMap | Cryptol.Backend.SeqMap
updateWordByWord | Cryptol.Backend.WordValue
updateWordValue | Cryptol.Backend.WordValue
UpdField |
1 (Type/Class) | Cryptol.Parser.AST
2 (Data Constructor) | Cryptol.Parser.AST
UpdFun | Cryptol.Parser.AST
UpdHow | Cryptol.Parser.AST
updPPCfg | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
updScope | Cryptol.TypeCheck.Monad
UpdSet | Cryptol.Parser.AST
useAscii | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
useBase | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
useFieldOrder | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
useFPBase | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
useFPFormat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
useInfLength | Cryptol.Utils.PP, Cryptol.TypeCheck.PP, Cryptol.Eval
UserError | Cryptol.Backend.Monad, Cryptol.Eval
UserName | Cryptol.ModuleSystem.Name
userOptions | Cryptol.REPL.Monad
userOptionsWithAliases | Cryptol.REPL.Monad
UserTC |
1 (Type/Class) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
2 (Data Constructor) | Cryptol.TypeCheck.TCon, Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
valDeps | Cryptol.IR.FreeVars
valEq | Cryptol.Eval.Generic
valGt | Cryptol.Eval.Generic
validEvalContext | Cryptol.REPL.Monad
valLt | Cryptol.Eval.Generic
Value |
1 (Type/Class) | Cryptol.Eval.What4
2 (Type/Class) | Cryptol.Eval.Concrete
3 (Type/Class) | Cryptol.Eval.Reference
4 (Data Constructor) | Cryptol.Eval.Reference
value | Cryptol.Parser.AST
valueToChar | Cryptol.Eval.Generic
valueToString | Cryptol.Eval.Generic
VarBit | Cryptol.Symbolic
VarFinSeq | Cryptol.Symbolic
VarFloat | Cryptol.Symbolic
VarInteger | Cryptol.Symbolic
varModelPred | Cryptol.Symbolic
VarRational | Cryptol.Symbolic
VarRecord | Cryptol.Symbolic
VarShape | Cryptol.Symbolic
varShapeToValue | Cryptol.Symbolic
varsWithAsmps | Cryptol.TypeCheck.Monad
varToExpr | Cryptol.Symbolic
VarTuple | Cryptol.Symbolic
VarType | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad
VarWord | Cryptol.Symbolic
VBit |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
vcat | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
VCurlyL | Cryptol.Parser.Token, Cryptol.Parser.Lexer
VCurlyR | Cryptol.Parser.Token, Cryptol.Parser.Lexer
version | Cryptol.Version
VFloat |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
VFun |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
VInteger |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
Virt | Cryptol.Parser.Token, Cryptol.Parser.Lexer
virt | Cryptol.Parser.Layout
Virtual | Cryptol.Parser.Layout
visibleNames | Cryptol.ModuleSystem.NamingEnv
VList | Cryptol.Eval.Reference
VNumPoly |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
VPoly |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
VRational |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
VRecord |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
VSemi | Cryptol.Parser.Token, Cryptol.Parser.Lexer
vsep | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
VSeq | Cryptol.Eval.Value
VStream | Cryptol.Eval.Value
VTuple |
1 (Data Constructor) | Cryptol.Eval.Value
2 (Data Constructor) | Cryptol.Eval.Reference
VWord | Cryptol.Eval.Value
vWordLen | Cryptol.Eval.Value
w4 | Cryptol.Backend.What4
w4And | Cryptol.Backend.What4
w4bvAshr | Cryptol.Backend.What4
w4bvLshr | Cryptol.Backend.What4
w4bvRol | Cryptol.Backend.What4
w4bvRor | Cryptol.Backend.What4
w4bvShl | Cryptol.Backend.What4
W4Conn |
1 (Type/Class) | Cryptol.Backend.What4
2 (Data Constructor) | Cryptol.Backend.What4
w4defs | Cryptol.Backend.What4
W4Error | Cryptol.Backend.What4
W4Eval |
1 (Type/Class) | Cryptol.Backend.What4
2 (Data Constructor) | Cryptol.Backend.What4
w4Eval | Cryptol.Backend.What4
W4Ex | Cryptol.Symbolic.What4
W4Exception |
1 (Type/Class) | Cryptol.Symbolic.What4
2 (Data Constructor) | Cryptol.REPL.Monad
w4funs | Cryptol.Backend.What4
w4ITE | Cryptol.Backend.What4
w4Not | Cryptol.Backend.What4
W4PortfolioFailure | Cryptol.Symbolic.What4
W4ProverConfig | Cryptol.Symbolic.What4
W4Result |
1 (Type/Class) | Cryptol.Backend.What4
2 (Data Constructor) | Cryptol.Backend.What4
w4Thunk | Cryptol.Backend.What4
w4uninterpWarns | Cryptol.Backend.What4
warn | Cryptol.ModuleSystem.Monad
Warning | Cryptol.TypeCheck.Error, Cryptol.TypeCheck
warnUnused | Cryptol.ModuleSystem.Renamer.Monad
What4 |
1 (Type/Class) | Cryptol.Backend.What4
2 (Data Constructor) | Cryptol.Backend.What4
What4FunCache | Cryptol.Backend.What4
whenDebug | Cryptol.REPL.Monad
White | Cryptol.Parser.Token, Cryptol.Parser.Lexer
widthIdent | Cryptol.Parser.Utils
widthInteger | Cryptol.TypeCheck.Solver.InfNat
withCallStack | Cryptol.Backend.Monad
withDeclGroups | Cryptol.Transform.Specialize
withLoc | Cryptol.ModuleSystem.Renamer.Monad
withLogger | Cryptol.ModuleSystem.Monad
withMonoType | Cryptol.TypeCheck.Monad
withMonoTypes | Cryptol.TypeCheck.Monad
withNameDisp | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
WithNames |
1 (Type/Class) | Cryptol.TypeCheck.PP, Cryptol.TypeCheck
2 (Data Constructor) | Cryptol.TypeCheck.PP, Cryptol.TypeCheck
without | Cryptol.ModuleSystem.NamingEnv
withPPCfg | Cryptol.Utils.PP, Cryptol.TypeCheck.PP
withPrependedSearchPath | Cryptol.ModuleSystem.Monad
withRandomGen | Cryptol.REPL.Monad
withRWTempFile | Cryptol.REPL.Command
withSolver | Cryptol.TypeCheck.Solver.SMT
WithSource | Cryptol.TypeCheck.Type, Cryptol.TypeCheck.AST
withTParam | Cryptol.TypeCheck.Monad
withTParams | Cryptol.TypeCheck.Monad
withVar | Cryptol.TypeCheck.Monad
withVarType | Cryptol.TypeCheck.Monad
withVarTypes | Cryptol.TypeCheck.Monad
word | Cryptol.Eval.Value
wordAnd | Cryptol.Backend, Cryptol.Eval.Value
wordAsChar | Cryptol.Backend, Cryptol.Eval.Value
wordAsLit | Cryptol.Backend, Cryptol.Eval.Value
wordBit | Cryptol.Backend, Cryptol.Eval.Value
wordComplement | Cryptol.Backend, Cryptol.Eval.Value
wordDiv | Cryptol.Backend, Cryptol.Eval.Value
wordEq | Cryptol.Backend, Cryptol.Eval.Value
wordFromInt | Cryptol.Backend, Cryptol.Eval.Value
wordGreaterThan | Cryptol.Backend, Cryptol.Eval.Value
WordIndexSegment | Cryptol.Backend.SeqMap
wordLen | Cryptol.Backend, Cryptol.Eval.Value
wordLessThan | Cryptol.Backend, Cryptol.Eval.Value
wordLg2 | Cryptol.Backend, Cryptol.Eval.Value
wordLit | Cryptol.Backend, Cryptol.Eval.Value
wordMinus | Cryptol.Backend, Cryptol.Eval.Value
wordMod | Cryptol.Backend, Cryptol.Eval.Value
wordMult | Cryptol.Backend, Cryptol.Eval.Value
wordNegate | Cryptol.Backend, Cryptol.Eval.Value
wordOr | Cryptol.Backend, Cryptol.Eval.Value
wordPlus | Cryptol.Backend, Cryptol.Eval.Value
wordRotateLeft | Cryptol.Backend, Cryptol.Eval.Value
wordRotateRight | Cryptol.Backend, Cryptol.Eval.Value
wordShifter | Cryptol.Eval.Generic
wordShiftLeft | Cryptol.Backend, Cryptol.Eval.Value
wordShiftRight | Cryptol.Backend, Cryptol.Eval.Value
wordSignedDiv | Cryptol.Backend, Cryptol.Eval.Value
wordSignedLessThan | Cryptol.Backend, Cryptol.Eval.Value
wordSignedMod | Cryptol.Backend, Cryptol.Eval.Value
wordSignedShiftRight | Cryptol.Backend, Cryptol.Eval.Value
wordToInt | Cryptol.Backend, Cryptol.Eval.Value
WordTooWide |
1 (Type/Class) | Cryptol.Backend.Monad, Cryptol.Eval
2 (Data Constructor) | Cryptol.Backend.Monad, Cryptol.Eval
wordTooWide | Cryptol.Backend.Monad
wordToSignedInt | Cryptol.Backend, Cryptol.Eval.Value
wordUpdate | Cryptol.Backend, Cryptol.Eval.Value
wordVal | Cryptol.Backend.WordValue
wordValAsLit | Cryptol.Backend.WordValue
wordValLogicOp | Cryptol.Backend.WordValue
WordValue | Cryptol.Backend.WordValue
wordValueEqualsInteger | Cryptol.Backend.WordValue
wordValueSize | Cryptol.Backend.WordValue
wordValUnaryOp | Cryptol.Backend.WordValue
wordXor | Cryptol.Backend, Cryptol.Eval.Value
WrongNamespace | Cryptol.ModuleSystem.Renamer.Error, Cryptol.ModuleSystem.Renamer
xorV | Cryptol.Eval.Generic
xxxTODO | Cryptol.Utils.Panic
Z3NotFound | Cryptol.REPL.Monad
zeroV | Cryptol.Eval.Generic
zipByTextName | Cryptol.ModuleSystem.NamingEnv
zipRecords | Cryptol.Utils.RecordMap
zipRecordsM | Cryptol.Utils.RecordMap
zipSeqMap | Cryptol.Backend.SeqMap
znEq | Cryptol.Backend, Cryptol.Eval.Value
znMinus | Cryptol.Backend, Cryptol.Eval.Value
znMult | Cryptol.Backend, Cryptol.Eval.Value
znNegate | Cryptol.Backend, Cryptol.Eval.Value
znPlus | Cryptol.Backend, Cryptol.Eval.Value
znRecip | Cryptol.Backend, Cryptol.Eval.Value
znToInt | Cryptol.Backend, Cryptol.Eval.Value
__ | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
|%| | Cryptol.TypeCheck.TypePat
|->| | Cryptol.TypeCheck.TypePat
|-| | Cryptol.TypeCheck.TypePat
|/=| | Cryptol.TypeCheck.TypePat
|/| | Cryptol.TypeCheck.TypePat
|=| | Cryptol.TypeCheck.TypePat
|>=| | Cryptol.TypeCheck.TypePat
|^| | Cryptol.TypeCheck.TypePat
||| | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
~> | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat
~~> | Cryptol.Utils.Patterns, Cryptol.TypeCheck.TypePat