Unary | |
1 (Type/Class) | Cryptol.Prims.Eval |
2 (Type/Class) | Cryptol.Symbolic.Prims |
unary | Cryptol.Prims.Eval |
UnboundExpr | Cryptol.ModuleSystem.Renamer |
UnboundType | Cryptol.ModuleSystem.Renamer |
UndefinedTypeParam | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UndefinedTypeSynonym | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UndefinedTypeVaraible | Cryptol.TypeCheck.Sanity |
UndefinedVariable | |
1 (Data Constructor) | Cryptol.TypeCheck.Sanity |
2 (Data Constructor) | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
Underscore | Cryptol.Parser.Lexer |
UnexpectedRecordShape | Cryptol.TypeCheck.Sanity |
UnexpectedSequenceShape | Cryptol.TypeCheck.Sanity |
UnexpectedTupleShape | Cryptol.TypeCheck.Sanity |
UnexpectedTypeWildCard | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
unFinType | Cryptol.Symbolic |
uniError | Cryptol.TypeCheck.Unify |
UnificationError | Cryptol.TypeCheck.Unify |
unify | Cryptol.TypeCheck.Monad |
UniKindMismatch | Cryptol.TypeCheck.Unify |
unIM | Cryptol.TypeCheck.Monad |
UniNonPoly | Cryptol.TypeCheck.Unify |
UniNonPolyDepends | Cryptol.TypeCheck.Unify |
unionTM | Cryptol.TypeCheck.TypeMap |
uniqify | Cryptol.REPL.Monad |
UniRecursive | Cryptol.TypeCheck.Unify |
UniTypeLenMismatch | Cryptol.TypeCheck.Unify |
UniTypeMismatch | Cryptol.TypeCheck.Unify |
unKM | Cryptol.TypeCheck.Monad |
Unknown | Cryptol.REPL.Command |
unlessBatch | Cryptol.REPL.Monad |
unLit | Cryptol.Parser.Unlit |
unloadModule | Cryptol.ModuleSystem.Monad |
unModuleT | Cryptol.ModuleSystem.Monad |
unpackIdent | Cryptol.Utils.Ident |
unpackModName | Cryptol.Utils.Ident |
unpackWord | Cryptol.Eval.Value |
UnQual | Cryptol.Parser.Name, Cryptol.Parser.AST |
UnQualified | Cryptol.Utils.PP, Cryptol.TypeCheck.PP |
unqualifiedEnv | Cryptol.ModuleSystem.NamingEnv |
unREPL | Cryptol.REPL.Monad |
Unsolvable | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
Unsolved | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |
UnsolvedDelayedCt | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UnsolvedGoal | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
UnterminatedChar | Cryptol.Parser.Lexer |
UnterminatedComment | Cryptol.Parser.Lexer |
UnterminatedString | Cryptol.Parser.Lexer |
UnusableFunction | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad, Cryptol.TypeCheck |
updateInterval | Cryptol.TypeCheck.Solver.Numeric.Interval |
updateREPLTitle | Cryptol.REPL.Monad |
useAscii | Cryptol.Eval.Value |
useBase | Cryptol.Eval.Value |
useInfLength | Cryptol.Eval.Value |
UserError | Cryptol.Eval.Error, Cryptol.Eval |
UserName | Cryptol.TypeCheck.Solver.Numeric.AST |
userOptions | Cryptol.REPL.Monad |
UserTC | |
1 (Type/Class) | Cryptol.TypeCheck.AST |
2 (Data Constructor) | Cryptol.TypeCheck.AST |
UserTyFun | Cryptol.TypeCheck.InferTypes, Cryptol.TypeCheck.Monad |