/usr/share/doc/libghc-type-level-numbers-doc/html/TypeLevel-Boolean.html is in libghc-type-level-numbers-doc 0.1.1.1-3.
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>TypeLevel.Boolean</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();setSynopsis("mini_TypeLevel-Boolean.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/TypeLevel-Boolean.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">type-level-numbers-0.1.1.1: Type level numbers implemented using type families.</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>Safe</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">TypeLevel.Boolean</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Boolean operations</a></li></ul></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:True">True</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:False">False</a></li><li class="src short"><span class="keyword">type family</span> <a href="#t:Not">Not</a> a :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a></li><li class="src short"><a href="#v:notT">notT</a> :: a -> <a href="TypeLevel-Boolean.html#t:Not">Not</a> a</li><li class="src short"><span class="keyword">type family</span> <a href="#t:And">And</a> a b :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a></li><li class="src short"><a href="#v:andT">andT</a> :: a -> b -> <a href="TypeLevel-Boolean.html#t:And">And</a> a b</li><li class="src short"><span class="keyword">type family</span> <a href="#t:Or">Or</a> a b :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a></li><li class="src short"><a href="#v:orT">orT</a> :: a -> b -> <a href="TypeLevel-Boolean.html#t:Or">Or</a> a b</li><li class="src short"><span class="keyword">type family</span> <a href="#t:Xor">Xor</a> a b :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a></li><li class="src short"><a href="#v:xorT">xorT</a> :: a -> b -> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> a b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:True" class="def">True</a> <a href="src/TypeLevel-Boolean.html#True" class="link">Source</a> <a href="#t:True" class="selflink">#</a></p><div class="doc"><p>Data type for truth</p></div><div class="subs instances"><p id="control.i:True" class="caption collapser" onclick="toggleSection('i:True')">Instances</p><div id="section.i:True" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Show:1" class="instance expander" onclick="toggleSection('i:id:True:Show:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-25" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Show:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="TypeLevel-Boolean.html#t:True">True</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="TypeLevel-Boolean.html#t:True">True</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="TypeLevel-Boolean.html#t:True">True</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Reify:2" class="instance expander" onclick="toggleSection('i:id:True:Reify:2')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></span> <a href="src/TypeLevel-Boolean.html#line-27" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Reify:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:witness">witness</a> :: <a href="TypeLevel-Reify.html#t:Witness">Witness</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypeLevel-Reify.html#witness" class="link">Source</a> <a href="#v:witness" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Not:3" class="instance expander" onclick="toggleSection('i:id:True:Not:3')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-39" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Not:3" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Xor:4" class="instance expander" onclick="toggleSection('i:id:True:Xor:4')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-73" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Xor:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Xor:5" class="instance expander" onclick="toggleSection('i:id:True:Xor:5')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-74" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Xor:5" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Xor:6" class="instance expander" onclick="toggleSection('i:id:True:Xor:6')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-75" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Xor:6" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Or:7" class="instance expander" onclick="toggleSection('i:id:True:Or:7')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-61" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Or:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Or:8" class="instance expander" onclick="toggleSection('i:id:True:Or:8')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-62" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Or:8" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:Or:9" class="instance expander" onclick="toggleSection('i:id:True:Or:9')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-63" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:Or:9" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:And:10" class="instance expander" onclick="toggleSection('i:id:True:And:10')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-49" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:And:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:And:11" class="instance expander" onclick="toggleSection('i:id:True:And:11')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-50" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:And:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:True:And:12" class="instance expander" onclick="toggleSection('i:id:True:And:12')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-51" class="link">Source</a> <a href="#t:True" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:True:And:12" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:False" class="def">False</a> <a href="src/TypeLevel-Boolean.html#False" class="link">Source</a> <a href="#t:False" class="selflink">#</a></p><div class="doc"><p>Data type for false.</p></div><div class="subs instances"><p id="control.i:False" class="caption collapser" onclick="toggleSection('i:False')">Instances</p><div id="section.i:False" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Show:1" class="instance expander" onclick="toggleSection('i:id:False:Show:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:Show">Show</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-24" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Show:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a> -> <a href="TypeLevel-Boolean.html#t:False">False</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="TypeLevel-Boolean.html#t:False">False</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="TypeLevel-Boolean.html#t:False">False</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Reify:2" class="instance expander" onclick="toggleSection('i:id:False:Reify:2')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a></span> <a href="src/TypeLevel-Boolean.html#line-28" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Reify:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:witness">witness</a> :: <a href="TypeLevel-Reify.html#t:Witness">Witness</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/TypeLevel-Reify.html#witness" class="link">Source</a> <a href="#v:witness" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Not:3" class="instance expander" onclick="toggleSection('i:id:False:Not:3')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-38" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Not:3" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Xor:4" class="instance expander" onclick="toggleSection('i:id:False:Xor:4')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-72" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Xor:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Xor:5" class="instance expander" onclick="toggleSection('i:id:False:Xor:5')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-73" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Xor:5" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Xor:6" class="instance expander" onclick="toggleSection('i:id:False:Xor:6')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-74" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Xor:6" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Or:7" class="instance expander" onclick="toggleSection('i:id:False:Or:7')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-60" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Or:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Or:8" class="instance expander" onclick="toggleSection('i:id:False:Or:8')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-61" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Or:8" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:Or:9" class="instance expander" onclick="toggleSection('i:id:False:Or:9')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-62" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:Or:9" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:And:10" class="instance expander" onclick="toggleSection('i:id:False:And:10')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-48" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:And:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:And:11" class="instance expander" onclick="toggleSection('i:id:False:And:11')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-49" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:And:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:False:And:12" class="instance expander" onclick="toggleSection('i:id:False:And:12')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-50" class="link">Source</a> <a href="#t:False" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:False:And:12" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr></table></div></div></div><h1 id="g:1">Boolean operations</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Not" class="def">Not</a> a :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="src/TypeLevel-Boolean.html#Not" class="link">Source</a> <a href="#t:Not" class="selflink">#</a></p><div class="doc"><p>Negation</p></div><div class="subs instances"><p id="control.i:Not" class="caption collapser" onclick="toggleSection('i:Not')">Instances</p><div id="section.i:Not" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Not:Not:1" class="instance expander" onclick="toggleSection('i:if:Not:Not:1')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-38" class="link">Source</a> <a href="#t:Not" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Not:Not:1" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Not:Not:2" class="instance expander" onclick="toggleSection('i:if:Not:Not:2')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-39" class="link">Source</a> <a href="#t:Not" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Not:Not:2" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Not">Not</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:notT" class="def">notT</a> :: a -> <a href="TypeLevel-Boolean.html#t:Not">Not</a> a <a href="src/TypeLevel-Boolean.html#notT" class="link">Source</a> <a href="#v:notT" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:And" class="def">And</a> a b :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="src/TypeLevel-Boolean.html#And" class="link">Source</a> <a href="#t:And" class="selflink">#</a></p><div class="doc"><p>And for boolean types</p></div><div class="subs instances"><p id="control.i:And" class="caption collapser" onclick="toggleSection('i:And')">Instances</p><div id="section.i:And" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:And:And:1" class="instance expander" onclick="toggleSection('i:if:And:And:1')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-48" class="link">Source</a> <a href="#t:And" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:And:And:1" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:And:And:2" class="instance expander" onclick="toggleSection('i:if:And:And:2')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-49" class="link">Source</a> <a href="#t:And" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:And:And:2" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:And:And:3" class="instance expander" onclick="toggleSection('i:if:And:And:3')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-50" class="link">Source</a> <a href="#t:And" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:And:And:3" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:And:And:4" class="instance expander" onclick="toggleSection('i:if:And:And:4')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-51" class="link">Source</a> <a href="#t:And" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:And:And:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:And">And</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:andT" class="def">andT</a> :: a -> b -> <a href="TypeLevel-Boolean.html#t:And">And</a> a b <a href="src/TypeLevel-Boolean.html#andT" class="link">Source</a> <a href="#v:andT" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Or" class="def">Or</a> a b :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="src/TypeLevel-Boolean.html#Or" class="link">Source</a> <a href="#t:Or" class="selflink">#</a></p><div class="doc"><p>Or for boolean types</p></div><div class="subs instances"><p id="control.i:Or" class="caption collapser" onclick="toggleSection('i:Or')">Instances</p><div id="section.i:Or" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Or:Or:1" class="instance expander" onclick="toggleSection('i:if:Or:Or:1')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-60" class="link">Source</a> <a href="#t:Or" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Or:Or:1" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Or:Or:2" class="instance expander" onclick="toggleSection('i:if:Or:Or:2')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-61" class="link">Source</a> <a href="#t:Or" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Or:Or:2" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Or:Or:3" class="instance expander" onclick="toggleSection('i:if:Or:Or:3')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-62" class="link">Source</a> <a href="#t:Or" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Or:Or:3" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Or:Or:4" class="instance expander" onclick="toggleSection('i:if:Or:Or:4')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-63" class="link">Source</a> <a href="#t:Or" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Or:Or:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Or">Or</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:orT" class="def">orT</a> :: a -> b -> <a href="TypeLevel-Boolean.html#t:Or">Or</a> a b <a href="src/TypeLevel-Boolean.html#orT" class="link">Source</a> <a href="#v:orT" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type family</span> <a id="t:Xor" class="def">Xor</a> a b :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Kind.html#t:-42-">*</a> <a href="src/TypeLevel-Boolean.html#Xor" class="link">Source</a> <a href="#t:Xor" class="selflink">#</a></p><div class="doc"><p>Exlusive or for boolean types</p></div><div class="subs instances"><p id="control.i:Xor" class="caption collapser" onclick="toggleSection('i:Xor')">Instances</p><div id="section.i:Xor" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Xor:Xor:1" class="instance expander" onclick="toggleSection('i:if:Xor:Xor:1')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-72" class="link">Source</a> <a href="#t:Xor" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Xor:Xor:1" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Xor:Xor:2" class="instance expander" onclick="toggleSection('i:if:Xor:Xor:2')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-73" class="link">Source</a> <a href="#t:Xor" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Xor:Xor:2" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:False">False</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Xor:Xor:3" class="instance expander" onclick="toggleSection('i:if:Xor:Xor:3')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a></span> <a href="src/TypeLevel-Boolean.html#line-74" class="link">Source</a> <a href="#t:Xor" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Xor:Xor:3" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:False">False</a> = <a href="TypeLevel-Boolean.html#t:True">True</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:if:Xor:Xor:4" class="instance expander" onclick="toggleSection('i:if:Xor:Xor:4')"></span> <span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a></span> <a href="src/TypeLevel-Boolean.html#line-75" class="link">Source</a> <a href="#t:Xor" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:if:Xor:Xor:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> <a href="TypeLevel-Boolean.html#t:True">True</a> <a href="TypeLevel-Boolean.html#t:True">True</a> = <a href="TypeLevel-Boolean.html#t:False">False</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:xorT" class="def">xorT</a> :: a -> b -> <a href="TypeLevel-Boolean.html#t:Xor">Xor</a> a b <a href="src/TypeLevel-Boolean.html#xorT" class="link">Source</a> <a href="#v:xorT" class="selflink">#</a></p></div></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>
|