/usr/share/doc/libghc-cryptol-doc/html/doc-index-U.html is in libghc-cryptol-doc 2.4.0-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>cryptol-2.4.0: Cryptol: The Language of Cryptography (Index - U)</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">cryptol-2.4.0: Cryptol: The Language of Cryptography</p></div><div id="content"><div id="alphabet"><ul><li><a href="doc-index-A.html">A</a></li><li><a href="doc-index-B.html">B</a></li><li><a href="doc-index-C.html">C</a></li><li><a href="doc-index-D.html">D</a></li><li><a href="doc-index-E.html">E</a></li><li><a href="doc-index-F.html">F</a></li><li><a href="doc-index-G.html">G</a></li><li><a href="doc-index-H.html">H</a></li><li><a href="doc-index-I.html">I</a></li><li><a href="doc-index-J.html">J</a></li><li><a href="doc-index-K.html">K</a></li><li><a href="doc-index-L.html">L</a></li><li><a href="doc-index-M.html">M</a></li><li><a href="doc-index-N.html">N</a></li><li><a href="doc-index-O.html">O</a></li><li><a href="doc-index-P.html">P</a></li><li><a href="doc-index-Q.html">Q</a></li><li><a href="doc-index-R.html">R</a></li><li><a href="doc-index-S.html">S</a></li><li><a href="doc-index-T.html">T</a></li><li><a href="doc-index-U.html">U</a></li><li><a href="doc-index-V.html">V</a></li><li><a href="doc-index-W.html">W</a></li><li><a href="doc-index-Z.html">Z</a></li><li><a href="doc-index-58.html">:</a></li><li><a href="doc-index-36.html">$</a></li><li><a href="doc-index-46.html">.</a></li><li><a href="doc-index-60.html"><</a></li><li><a href="doc-index-61.html">=</a></li><li><a href="doc-index-62.html">></a></li><li><a href="doc-index-64.html">@</a></li><li><a href="doc-index-All.html">All</a></li></ul></div><div id="index"><p class="caption">Index - U</p><table><tr><td class="src">Unary</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Cryptol-Prims-Eval.html#t:Unary">Cryptol.Prims.Eval</a></td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module"><a href="Cryptol-Symbolic-Prims.html#t:Unary">Cryptol.Symbolic.Prims</a></td></tr><tr><td class="src">unary</td><td class="module"><a href="Cryptol-Prims-Eval.html#v:unary">Cryptol.Prims.Eval</a></td></tr><tr><td class="src">UnboundExpr</td><td class="module"><a href="Cryptol-ModuleSystem-Renamer.html#v:UnboundExpr">Cryptol.ModuleSystem.Renamer</a></td></tr><tr><td class="src">UnboundType</td><td class="module"><a href="Cryptol-ModuleSystem-Renamer.html#v:UnboundType">Cryptol.ModuleSystem.Renamer</a></td></tr><tr><td class="src">UndefinedTypeParam</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UndefinedTypeParam">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad, <a href="Cryptol-TypeCheck.html#v:UndefinedTypeParam">Cryptol.TypeCheck</a></td></tr><tr><td class="src">UndefinedTypeSynonym</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UndefinedTypeSynonym">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad, <a href="Cryptol-TypeCheck.html#v:UndefinedTypeSynonym">Cryptol.TypeCheck</a></td></tr><tr><td class="src">UndefinedTypeVaraible</td><td class="module"><a href="Cryptol-TypeCheck-Sanity.html#v:UndefinedTypeVaraible">Cryptol.TypeCheck.Sanity</a></td></tr><tr><td class="src">UndefinedVariable</td><td> </td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module"><a href="Cryptol-TypeCheck-Sanity.html#v:UndefinedVariable">Cryptol.TypeCheck.Sanity</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UndefinedVariable">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad, <a href="Cryptol-TypeCheck.html#v:UndefinedVariable">Cryptol.TypeCheck</a></td></tr><tr><td class="src">Underscore</td><td class="module"><a href="Cryptol-Parser-Lexer.html#v:Underscore">Cryptol.Parser.Lexer</a></td></tr><tr><td class="src">UnexpectedRecordShape</td><td class="module"><a href="Cryptol-TypeCheck-Sanity.html#v:UnexpectedRecordShape">Cryptol.TypeCheck.Sanity</a></td></tr><tr><td class="src">UnexpectedSequenceShape</td><td class="module"><a href="Cryptol-TypeCheck-Sanity.html#v:UnexpectedSequenceShape">Cryptol.TypeCheck.Sanity</a></td></tr><tr><td class="src">UnexpectedTupleShape</td><td class="module"><a href="Cryptol-TypeCheck-Sanity.html#v:UnexpectedTupleShape">Cryptol.TypeCheck.Sanity</a></td></tr><tr><td class="src">UnexpectedTypeWildCard</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UnexpectedTypeWildCard">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad, <a href="Cryptol-TypeCheck.html#v:UnexpectedTypeWildCard">Cryptol.TypeCheck</a></td></tr><tr><td class="src">unFinType</td><td class="module"><a href="Cryptol-Symbolic.html#v:unFinType">Cryptol.Symbolic</a></td></tr><tr><td class="src">uniError</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#v:uniError">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">UnificationError</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#t:UnificationError">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">unify</td><td class="module"><a href="Cryptol-TypeCheck-Monad.html#v:unify">Cryptol.TypeCheck.Monad</a></td></tr><tr><td class="src">UniKindMismatch</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#v:UniKindMismatch">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">unIM</td><td class="module"><a href="Cryptol-TypeCheck-Monad.html#v:unIM">Cryptol.TypeCheck.Monad</a></td></tr><tr><td class="src">UniNonPoly</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#v:UniNonPoly">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">UniNonPolyDepends</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#v:UniNonPolyDepends">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">unionTM</td><td class="module"><a href="Cryptol-TypeCheck-TypeMap.html#v:unionTM">Cryptol.TypeCheck.TypeMap</a></td></tr><tr><td class="src">uniqify</td><td class="module"><a href="Cryptol-REPL-Monad.html#v:uniqify">Cryptol.REPL.Monad</a></td></tr><tr><td class="src">UniRecursive</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#v:UniRecursive">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">UniTypeLenMismatch</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#v:UniTypeLenMismatch">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">UniTypeMismatch</td><td class="module"><a href="Cryptol-TypeCheck-Unify.html#v:UniTypeMismatch">Cryptol.TypeCheck.Unify</a></td></tr><tr><td class="src">unKM</td><td class="module"><a href="Cryptol-TypeCheck-Monad.html#v:unKM">Cryptol.TypeCheck.Monad</a></td></tr><tr><td class="src">Unknown</td><td class="module"><a href="Cryptol-REPL-Command.html#v:Unknown">Cryptol.REPL.Command</a></td></tr><tr><td class="src">unlessBatch</td><td class="module"><a href="Cryptol-REPL-Monad.html#v:unlessBatch">Cryptol.REPL.Monad</a></td></tr><tr><td class="src">unLit</td><td class="module"><a href="Cryptol-Parser-Unlit.html#v:unLit">Cryptol.Parser.Unlit</a></td></tr><tr><td class="src">unloadModule</td><td class="module"><a href="Cryptol-ModuleSystem-Monad.html#v:unloadModule">Cryptol.ModuleSystem.Monad</a></td></tr><tr><td class="src">unModuleT</td><td class="module"><a href="Cryptol-ModuleSystem-Monad.html#v:unModuleT">Cryptol.ModuleSystem.Monad</a></td></tr><tr><td class="src">unpackIdent</td><td class="module"><a href="Cryptol-Utils-Ident.html#v:unpackIdent">Cryptol.Utils.Ident</a></td></tr><tr><td class="src">unpackModName</td><td class="module"><a href="Cryptol-Utils-Ident.html#v:unpackModName">Cryptol.Utils.Ident</a></td></tr><tr><td class="src">unpackWord</td><td class="module"><a href="Cryptol-Eval-Value.html#v:unpackWord">Cryptol.Eval.Value</a></td></tr><tr><td class="src">UnQual</td><td class="module"><a href="Cryptol-Parser-Name.html#v:UnQual">Cryptol.Parser.Name</a>, <a href="Cryptol-Parser-AST.html#v:UnQual">Cryptol.Parser.AST</a></td></tr><tr><td class="src">UnQualified</td><td class="module"><a href="Cryptol-Utils-PP.html#v:UnQualified">Cryptol.Utils.PP</a>, Cryptol.TypeCheck.PP</td></tr><tr><td class="src">unqualifiedEnv</td><td class="module"><a href="Cryptol-ModuleSystem-NamingEnv.html#v:unqualifiedEnv">Cryptol.ModuleSystem.NamingEnv</a></td></tr><tr><td class="src">unREPL</td><td class="module"><a href="Cryptol-REPL-Monad.html#v:unREPL">Cryptol.REPL.Monad</a></td></tr><tr><td class="src">Unsolvable</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:Unsolvable">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad</td></tr><tr><td class="src">Unsolved</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:Unsolved">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad</td></tr><tr><td class="src">UnsolvedDelayedCt</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UnsolvedDelayedCt">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad, <a href="Cryptol-TypeCheck.html#v:UnsolvedDelayedCt">Cryptol.TypeCheck</a></td></tr><tr><td class="src">UnsolvedGoal</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UnsolvedGoal">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad, <a href="Cryptol-TypeCheck.html#v:UnsolvedGoal">Cryptol.TypeCheck</a></td></tr><tr><td class="src">UnterminatedChar</td><td class="module"><a href="Cryptol-Parser-Lexer.html#v:UnterminatedChar">Cryptol.Parser.Lexer</a></td></tr><tr><td class="src">UnterminatedComment</td><td class="module"><a href="Cryptol-Parser-Lexer.html#v:UnterminatedComment">Cryptol.Parser.Lexer</a></td></tr><tr><td class="src">UnterminatedString</td><td class="module"><a href="Cryptol-Parser-Lexer.html#v:UnterminatedString">Cryptol.Parser.Lexer</a></td></tr><tr><td class="src">UnusableFunction</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UnusableFunction">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad, <a href="Cryptol-TypeCheck.html#v:UnusableFunction">Cryptol.TypeCheck</a></td></tr><tr><td class="src">updateInterval</td><td class="module"><a href="Cryptol-TypeCheck-Solver-Numeric-Interval.html#v:updateInterval">Cryptol.TypeCheck.Solver.Numeric.Interval</a></td></tr><tr><td class="src">updateREPLTitle</td><td class="module"><a href="Cryptol-REPL-Monad.html#v:updateREPLTitle">Cryptol.REPL.Monad</a></td></tr><tr><td class="src">useAscii</td><td class="module"><a href="Cryptol-Eval-Value.html#v:useAscii">Cryptol.Eval.Value</a></td></tr><tr><td class="src">useBase</td><td class="module"><a href="Cryptol-Eval-Value.html#v:useBase">Cryptol.Eval.Value</a></td></tr><tr><td class="src">useInfLength</td><td class="module"><a href="Cryptol-Eval-Value.html#v:useInfLength">Cryptol.Eval.Value</a></td></tr><tr><td class="src">UserError</td><td class="module"><a href="Cryptol-Eval-Error.html#v:UserError">Cryptol.Eval.Error</a>, <a href="Cryptol-Eval.html#v:UserError">Cryptol.Eval</a></td></tr><tr><td class="src">UserName</td><td class="module"><a href="Cryptol-TypeCheck-Solver-Numeric-AST.html#v:UserName">Cryptol.TypeCheck.Solver.Numeric.AST</a></td></tr><tr><td class="src">userOptions</td><td class="module"><a href="Cryptol-REPL-Monad.html#v:userOptions">Cryptol.REPL.Monad</a></td></tr><tr><td class="src">UserTC</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Cryptol-TypeCheck-AST.html#t:UserTC">Cryptol.TypeCheck.AST</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Cryptol-TypeCheck-AST.html#v:UserTC">Cryptol.TypeCheck.AST</a></td></tr><tr><td class="src">UserTyFun</td><td class="module"><a href="Cryptol-TypeCheck-InferTypes.html#v:UserTyFun">Cryptol.TypeCheck.InferTypes</a>, Cryptol.TypeCheck.Monad</td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.2</p></div></body></html>
|