/usr/share/doc/libghc-djinn-lib-doc/html/doc-index.html is in libghc-djinn-lib-doc 0.0.1.2-8.
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>djinn-lib-0.0.1.2: Generate Haskell code from a type. Library extracted from djinn package. (Index)</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">djinn-lib-0.0.1.2: Generate Haskell code from a type. Library extracted from djinn package.</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">&</td><td class="module"><a href="Djinn-LJTFormula.html#v:-38-">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">:-></td><td class="module"><a href="Djinn-LJTFormula.html#v::-45--62-">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src"><-></td><td class="module"><a href="Djinn-LJTFormula.html#v:-60--45--62-">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Apply</td><td class="module"><a href="Djinn-LJTFormula.html#v:Apply">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">applys</td><td class="module"><a href="Djinn-LJTFormula.html#v:applys">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Ccases</td><td class="module"><a href="Djinn-LJTFormula.html#v:Ccases">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Cinj</td><td class="module"><a href="Djinn-LJTFormula.html#v:Cinj">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Conj</td><td class="module"><a href="Djinn-LJTFormula.html#v:Conj">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">ConsDesc</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Djinn-LJTFormula.html#t:ConsDesc">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Djinn-LJTFormula.html#v:ConsDesc">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Csplit</td><td class="module"><a href="Djinn-LJTFormula.html#v:Csplit">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Ctuple</td><td class="module"><a href="Djinn-LJTFormula.html#v:Ctuple">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Disj</td><td class="module"><a href="Djinn-LJTFormula.html#v:Disj">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">false</td><td class="module"><a href="Djinn-LJTFormula.html#v:false">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">fnot</td><td class="module"><a href="Djinn-LJTFormula.html#v:fnot">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Formula</td><td class="module"><a href="Djinn-LJTFormula.html#t:Formula">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">freeVars</td><td class="module"><a href="Djinn-LJTFormula.html#v:freeVars">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">getBinderVars</td><td class="module"><a href="Djinn-HTypes.html#v:getBinderVars">Djinn.HTypes</a></td></tr><tr><td class="src">getHTVars</td><td class="module"><a href="Djinn-HTypes.html#v:getHTVars">Djinn.HTypes</a></td></tr><tr><td class="src">HClause</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Djinn-HTypes.html#t:HClause">Djinn.HTypes</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Djinn-HTypes.html#v:HClause">Djinn.HTypes</a></td></tr><tr><td class="src">HEApply</td><td class="module"><a href="Djinn-HTypes.html#v:HEApply">Djinn.HTypes</a></td></tr><tr><td class="src">HECase</td><td class="module"><a href="Djinn-HTypes.html#v:HECase">Djinn.HTypes</a></td></tr><tr><td class="src">HECon</td><td class="module"><a href="Djinn-HTypes.html#v:HECon">Djinn.HTypes</a></td></tr><tr><td class="src">HELam</td><td class="module"><a href="Djinn-HTypes.html#v:HELam">Djinn.HTypes</a></td></tr><tr><td class="src">HETuple</td><td class="module"><a href="Djinn-HTypes.html#v:HETuple">Djinn.HTypes</a></td></tr><tr><td class="src">HEVar</td><td class="module"><a href="Djinn-HTypes.html#v:HEVar">Djinn.HTypes</a></td></tr><tr><td class="src">HExpr</td><td class="module"><a href="Djinn-HTypes.html#t:HExpr">Djinn.HTypes</a></td></tr><tr><td class="src">HKind</td><td class="module"><a href="Djinn-HTypes.html#t:HKind">Djinn.HTypes</a></td></tr><tr><td class="src">HPApply</td><td class="module"><a href="Djinn-HTypes.html#v:HPApply">Djinn.HTypes</a></td></tr><tr><td class="src">HPAt</td><td class="module"><a href="Djinn-HTypes.html#v:HPAt">Djinn.HTypes</a></td></tr><tr><td class="src">HPat</td><td class="module"><a href="Djinn-HTypes.html#t:HPat">Djinn.HTypes</a></td></tr><tr><td class="src">HPCon</td><td class="module"><a href="Djinn-HTypes.html#v:HPCon">Djinn.HTypes</a></td></tr><tr><td class="src">hPrClause</td><td class="module"><a href="Djinn-HTypes.html#v:hPrClause">Djinn.HTypes</a></td></tr><tr><td class="src">hPrExpr</td><td class="module"><a href="Djinn-HTypes.html#v:hPrExpr">Djinn.HTypes</a></td></tr><tr><td class="src">HPTuple</td><td class="module"><a href="Djinn-HTypes.html#v:HPTuple">Djinn.HTypes</a></td></tr><tr><td class="src">HPVar</td><td class="module"><a href="Djinn-HTypes.html#v:HPVar">Djinn.HTypes</a></td></tr><tr><td class="src">HSymbol</td><td class="module"><a href="Djinn-HTypes.html#t:HSymbol">Djinn.HTypes</a></td></tr><tr><td class="src">HTAbstract</td><td class="module"><a href="Djinn-HTypes.html#v:HTAbstract">Djinn.HTypes</a></td></tr><tr><td class="src">HTApp</td><td class="module"><a href="Djinn-HTypes.html#v:HTApp">Djinn.HTypes</a></td></tr><tr><td class="src">HTArrow</td><td class="module"><a href="Djinn-HTypes.html#v:HTArrow">Djinn.HTypes</a></td></tr><tr><td class="src">htCheckEnv</td><td class="module"><a href="Djinn-HCheck.html#v:htCheckEnv">Djinn.HCheck</a></td></tr><tr><td class="src">htCheckType</td><td class="module"><a href="Djinn-HCheck.html#v:htCheckType">Djinn.HCheck</a></td></tr><tr><td class="src">HTCon</td><td class="module"><a href="Djinn-HTypes.html#v:HTCon">Djinn.HTypes</a></td></tr><tr><td class="src">htNot</td><td class="module"><a href="Djinn-HTypes.html#v:htNot">Djinn.HTypes</a></td></tr><tr><td class="src">HTTuple</td><td class="module"><a href="Djinn-HTypes.html#v:HTTuple">Djinn.HTypes</a></td></tr><tr><td class="src">HTUnion</td><td class="module"><a href="Djinn-HTypes.html#v:HTUnion">Djinn.HTypes</a></td></tr><tr><td class="src">HTVar</td><td class="module"><a href="Djinn-HTypes.html#v:HTVar">Djinn.HTypes</a></td></tr><tr><td class="src">HType</td><td class="module"><a href="Djinn-HTypes.html#t:HType">Djinn.HTypes</a></td></tr><tr><td class="src">hTypeToFormula</td><td class="module"><a href="Djinn-HTypes.html#v:hTypeToFormula">Djinn.HTypes</a></td></tr><tr><td class="src">isHTUnion</td><td class="module"><a href="Djinn-HTypes.html#v:isHTUnion">Djinn.HTypes</a></td></tr><tr><td class="src">KArrow</td><td class="module"><a href="Djinn-HTypes.html#v:KArrow">Djinn.HTypes</a></td></tr><tr><td class="src">KStar</td><td class="module"><a href="Djinn-HTypes.html#v:KStar">Djinn.HTypes</a></td></tr><tr><td class="src">KVar</td><td class="module"><a href="Djinn-HTypes.html#v:KVar">Djinn.HTypes</a></td></tr><tr><td class="src">Lam</td><td class="module"><a href="Djinn-LJTFormula.html#v:Lam">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">MoreSolutions</td><td class="module"><a href="Djinn-LJT.html#t:MoreSolutions">Djinn.LJT</a></td></tr><tr><td class="src">pHDataType</td><td class="module"><a href="Djinn-HTypes.html#v:pHDataType">Djinn.HTypes</a></td></tr><tr><td class="src">pHKind</td><td class="module"><a href="Djinn-HTypes.html#v:pHKind">Djinn.HTypes</a></td></tr><tr><td class="src">pHSymbol</td><td class="module"><a href="Djinn-HTypes.html#v:pHSymbol">Djinn.HTypes</a></td></tr><tr><td class="src">pHTAtom</td><td class="module"><a href="Djinn-HTypes.html#v:pHTAtom">Djinn.HTypes</a></td></tr><tr><td class="src">pHType</td><td class="module"><a href="Djinn-HTypes.html#v:pHType">Djinn.HTypes</a></td></tr><tr><td class="src">prHSymbolOp</td><td class="module"><a href="Djinn-HTypes.html#v:prHSymbolOp">Djinn.HTypes</a></td></tr><tr><td class="src">Proof</td><td class="module"><a href="Djinn-LJT.html#t:Proof">Djinn.LJT</a></td></tr><tr><td class="src">provable</td><td class="module"><a href="Djinn-LJT.html#v:provable">Djinn.LJT</a></td></tr><tr><td class="src">prove</td><td class="module"><a href="Djinn-LJT.html#v:prove">Djinn.LJT</a></td></tr><tr><td class="src">PVar</td><td class="module"><a href="Djinn-LJTFormula.html#v:PVar">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">substHT</td><td class="module"><a href="Djinn-HTypes.html#v:substHT">Djinn.HTypes</a></td></tr><tr><td class="src">Symbol</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Djinn-LJTFormula.html#t:Symbol">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Djinn-LJTFormula.html#v:Symbol">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Term</td><td class="module"><a href="Djinn-LJTFormula.html#t:Term">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">termToHClause</td><td class="module"><a href="Djinn-HTypes.html#v:termToHClause">Djinn.HTypes</a></td></tr><tr><td class="src">termToHExpr</td><td class="module"><a href="Djinn-HTypes.html#v:termToHExpr">Djinn.HTypes</a></td></tr><tr><td class="src">true</td><td class="module"><a href="Djinn-LJTFormula.html#v:true">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Var</td><td class="module"><a href="Djinn-LJTFormula.html#v:Var">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">Xsel</td><td class="module"><a href="Djinn-LJTFormula.html#v:Xsel">Djinn.LJTFormula</a>, Djinn.LJT</td></tr><tr><td class="src">|:</td><td class="module"><a href="Djinn-LJTFormula.html#v:-124-:">Djinn.LJTFormula</a>, Djinn.LJT</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>
|