/usr/share/doc/libghc-type-level-numbers-doc/html/TypeLevel-Number-Nat.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 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | <!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.Number.Nat</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-Number-Nat.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/TypeLevel-Number-Nat.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>Copyright</th><td>Alexey Khudyakov</td></tr><tr><th>License</th><td>BSD3-style (see LICENSE)</td></tr><tr><th>Maintainer</th><td>Alexey Khudyakov <alexey.skladnoy@gmail.com></td></tr><tr><th>Stability</th><td>unstable</td></tr><tr><th>Portability</th><td>unportable (GHC only)</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">TypeLevel.Number.Nat</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Natural numbers</a><ul><li><a href="#g:2">Lifting</a></li></ul></li><li><a href="#g:3">Template haskell utilities</a></li><li><a href="#section.orphans">Orphan instances</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This is type level natural numbers. They are represented using
binary encoding which means that reasonable large numbers could be
represented. With default context stack depth (20) maximal number
is 2^18-1 (262143).</p><pre>Z = 0
I Z = 1
O (I Z) = 2
I (I Z) = 3
O (O (I Z)) = 4
...</pre><p>It's easy to see that representation for each number is not
unique. One could add any numbers of leading zeroes:</p><pre>I Z = I (O Z) = I (O (O Z)) = 1</pre><p>In order to enforce uniqueness of representation only numbers
without leading zeroes are members of Nat type class. This means
than types are equal if and only if numbers are equal.</p><p>Natural numbers support comparison and following operations: Next,
Prev, Add, Sub, Mul. All operations on numbers return normalized
numbers.</p><p>Interface type classes are reexported from TypeLevel.Number.Classes</p></div></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:I">I</a> n</li><li class="src short"><span class="keyword">data</span> <a href="#t:O">O</a> n</li><li class="src short"><span class="keyword">data</span> <a href="#t:Z">Z</a></li><li class="src short"><span class="keyword">class</span> <a href="#t:Nat">Nat</a> n <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><span class="keyword">data</span> <a href="#t:SomeNat">SomeNat</a> <span class="keyword">where</span><ul class="subs"><li><a href="#v:SomeNat">SomeNat</a> :: <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> n => n -> <a href="TypeLevel-Number-Nat.html#t:SomeNat">SomeNat</a></li></ul></li><li class="src short"><a href="#v:withNat">withNat</a> :: <span class="keyword">forall</span> i a. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => (<span class="keyword">forall</span> n. <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> n => n -> a) -> i -> a</li><li class="src short"><a href="#v:natT">natT</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a></li><li class="src short"><a href="#v:nat">nat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a></li><li class="src short">module <a href="TypeLevel-Number-Classes.html">TypeLevel.Number.Classes</a></li></ul></div><div id="interface"><h1 id="g:1">Natural numbers</h1><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:I" class="def">I</a> n <a href="src/TypeLevel-Number-Nat-Types.html#I" class="link">Source</a> <a href="#t:I" class="selflink">#</a></p><div class="doc"><p>One bit.</p></div><div class="subs instances"><p id="control.i:I" class="caption collapser" onclick="toggleSection('i:I')">Instances</p><div id="section.i:I" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Nat:1" class="instance expander" onclick="toggleSection('i:id:I:Nat:1')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-98" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Nat:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Nat:2" class="instance expander" onclick="toggleSection('i:id:I:Nat:2')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Nat.html#line-95" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Nat:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Nat:3" class="instance expander" onclick="toggleSection('i:id:I:Nat:3')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-97" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Nat:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Nat:4" class="instance expander" onclick="toggleSection('i:id:I:Nat:4')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-99" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Nat:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Mul:5" class="instance expander" onclick="toggleSection('i:id:I:Mul:5')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Mul">Mul</a> n (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-353" class="link">Source</a> <a href="#t:Mul" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Mul:5" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Mul">Mul</a> n (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Add:6" class="instance expander" onclick="toggleSection('i:id:I:Add:6')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-307" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Add:6" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Compare:7" class="instance expander" onclick="toggleSection('i:id:I:Compare:7')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-250" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Compare:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) = <a href="TypeLevel-Number-Classes.html#t:IsLesser">IsLesser</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Normalized:8" class="instance expander" onclick="toggleSection('i:id:I:Normalized:8')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-205" class="link">Source</a> <a href="#t:Normalized" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Normalized:8" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) = <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Prev:9" class="instance expander" onclick="toggleSection('i:id:I:Prev:9')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Classes.html#line-228" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Prev:9" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)) = <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Prev:10" class="instance expander" onclick="toggleSection('i:id:I:Prev:10')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Classes.html#line-225" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Prev:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>) = <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Prev:11" class="instance expander" onclick="toggleSection('i:id:I:Prev:11')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Classes.html#line-227" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Prev:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)) = <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Prev:12" class="instance expander" onclick="toggleSection('i:id:I:Prev:12')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Classes.html#line-229" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Prev:12" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)) = <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Next:13" class="instance expander" onclick="toggleSection('i:id:I:Next:13')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Next">Next</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-219" class="link">Source</a> <a href="#t:Next" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Next:13" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Next">Next</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) = <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Classes.html#t:Next">Next</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Sub:14" class="instance expander" onclick="toggleSection('i:id:I:Sub:14')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-344" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Sub:14" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Add:15" class="instance expander" onclick="toggleSection('i:id:I:Add:15')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-305" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Add:15" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Compare:16" class="instance expander" onclick="toggleSection('i:id:I:Compare:16')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-248" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Compare:16" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Classes.html#t:IsGreater">IsGreater</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Sub:17" class="instance expander" onclick="toggleSection('i:id:I:Sub:17')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-341" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Sub:17" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Sub:18" class="instance expander" onclick="toggleSection('i:id:I:Sub:18')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-342" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Sub:18" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Sub:19" class="instance expander" onclick="toggleSection('i:id:I:Sub:19')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-340" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Sub:19" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Add:20" class="instance expander" onclick="toggleSection('i:id:I:Add:20')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-302" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Add:20" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Add:21" class="instance expander" onclick="toggleSection('i:id:I:Add:21')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-303" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Add:21" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Add:22" class="instance expander" onclick="toggleSection('i:id:I:Add:22')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-301" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Add:22" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Compare:23" class="instance expander" onclick="toggleSection('i:id:I:Compare:23')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-253" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Compare:23" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Compare:24" class="instance expander" onclick="toggleSection('i:id:I:Compare:24')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-255" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Compare:24" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m) = <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> n m</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:I:Compare:25" class="instance expander" onclick="toggleSection('i:id:I:Compare:25')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-254" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:I:Compare:25" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:O" class="def">O</a> n <a href="src/TypeLevel-Number-Nat-Types.html#O" class="link">Source</a> <a href="#t:O" class="selflink">#</a></p><div class="doc"><p>Zero bit.</p></div><div class="subs instances"><p id="control.i:O" class="caption collapser" onclick="toggleSection('i:O')">Instances</p><div id="section.i:O" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Nat:1" class="instance expander" onclick="toggleSection('i:id:O:Nat:1')"></span> Number_Is_Denormalized <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Nat.html#line-102" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Nat:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Nat:2" class="instance expander" onclick="toggleSection('i:id:O:Nat:2')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-96" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Nat:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Nat:3" class="instance expander" onclick="toggleSection('i:id:O:Nat:3')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-98" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Nat:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Nat:4" class="instance expander" onclick="toggleSection('i:id:O:Nat:4')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-97" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Nat:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Mul:5" class="instance expander" onclick="toggleSection('i:id:O:Mul:5')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Mul">Mul</a> n (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-352" class="link">Source</a> <a href="#t:Mul" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Mul:5" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Mul">Mul</a> n (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m) = <a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Classes.html#t:Mul">Mul</a> n m))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Add:6" class="instance expander" onclick="toggleSection('i:id:O:Add:6')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-306" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Add:6" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Compare:7" class="instance expander" onclick="toggleSection('i:id:O:Compare:7')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-249" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Compare:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) = <a href="TypeLevel-Number-Classes.html#t:IsLesser">IsLesser</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Normalized:8" class="instance expander" onclick="toggleSection('i:id:O:Normalized:8')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-206" class="link">Source</a> <a href="#t:Normalized" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Normalized:8" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Prev:9" class="instance expander" onclick="toggleSection('i:id:O:Prev:9')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Classes.html#line-226" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Prev:9" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)) = <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Prev:10" class="instance expander" onclick="toggleSection('i:id:O:Prev:10')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Classes.html#line-228" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Prev:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)) = <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Prev:11" class="instance expander" onclick="toggleSection('i:id:O:Prev:11')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Classes.html#line-227" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Prev:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)) = <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Next:12" class="instance expander" onclick="toggleSection('i:id:O:Next:12')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Next">Next</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-220" class="link">Source</a> <a href="#t:Next" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Next:12" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Next">Next</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) = <a href="TypeLevel-Number-Nat.html#t:I">I</a> n</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Sub:13" class="instance expander" onclick="toggleSection('i:id:O:Sub:13')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-343" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Sub:13" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Add:14" class="instance expander" onclick="toggleSection('i:id:O:Add:14')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-304" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Add:14" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Compare:15" class="instance expander" onclick="toggleSection('i:id:O:Compare:15')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-247" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Compare:15" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Classes.html#t:IsGreater">IsGreater</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Sub:16" class="instance expander" onclick="toggleSection('i:id:O:Sub:16')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-341" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Sub:16" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Sub:17" class="instance expander" onclick="toggleSection('i:id:O:Sub:17')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-339" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Sub:17" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Sub:18" class="instance expander" onclick="toggleSection('i:id:O:Sub:18')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-340" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Sub:18" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Add:19" class="instance expander" onclick="toggleSection('i:id:O:Add:19')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-302" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Add:19" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Add:20" class="instance expander" onclick="toggleSection('i:id:O:Add:20')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-300" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Add:20" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Add:21" class="instance expander" onclick="toggleSection('i:id:O:Add:21')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-301" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Add:21" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Compare:22" class="instance expander" onclick="toggleSection('i:id:O:Compare:22')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-253" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Compare:22" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:I">I</a> m)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Compare:23" class="instance expander" onclick="toggleSection('i:id:O:Compare:23')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-252" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Compare:23" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m) = <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> n m</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:O:Compare:24" class="instance expander" onclick="toggleSection('i:id:O:Compare:24')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</span> <a href="src/TypeLevel-Number-Classes.html#line-254" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:O:Compare:24" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> m)</div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:Z" class="def">Z</a> <a href="src/TypeLevel-Number-Nat-Types.html#Z" class="link">Source</a> <a href="#t:Z" class="selflink">#</a></p><div class="doc"><p>Bit stream terminator.</p></div><div class="subs instances"><p id="control.i:Z" class="caption collapser" onclick="toggleSection('i:Z')">Instances</p><div id="section.i:Z" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Nat:1" class="instance expander" onclick="toggleSection('i:id:Z:Nat:1')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Nat.html#line-94" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Nat:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Nat:2" class="instance expander" onclick="toggleSection('i:id:Z:Nat:2')"></span> Number_Is_Denormalized <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Nat.html#line-102" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Nat:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Nat:3" class="instance expander" onclick="toggleSection('i:id:Z:Nat:3')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Nat.html#line-95" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Nat:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Normalized:4" class="instance expander" onclick="toggleSection('i:id:Z:Normalized:4')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-204" class="link">Source</a> <a href="#t:Normalized" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Normalized:4" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Normalized">Normalized</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Next:5" class="instance expander" onclick="toggleSection('i:id:Z:Next:5')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Next">Next</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-218" class="link">Source</a> <a href="#t:Next" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Next:5" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Next">Next</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Mul:6" class="instance expander" onclick="toggleSection('i:id:Z:Mul:6')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Mul">Mul</a> n <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-351" class="link">Source</a> <a href="#t:Mul" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Mul:6" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Mul">Mul</a> n <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Sub:7" class="instance expander" onclick="toggleSection('i:id:Z:Sub:7')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-345" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Sub:7" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Add:8" class="instance expander" onclick="toggleSection('i:id:Z:Add:8')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-308" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Add:8" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Compare:9" class="instance expander" onclick="toggleSection('i:id:Z:Compare:9')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-246" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Compare:9" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Classes.html#t:IsEqual">IsEqual</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Add:10" class="instance expander" onclick="toggleSection('i:id:Z:Add:10')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-306" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Add:10" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Add:11" class="instance expander" onclick="toggleSection('i:id:Z:Add:11')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-307" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Add:11" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Compare:12" class="instance expander" onclick="toggleSection('i:id:Z:Compare:12')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-249" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Compare:12" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) = <a href="TypeLevel-Number-Classes.html#t:IsLesser">IsLesser</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Compare:13" class="instance expander" onclick="toggleSection('i:id:Z:Compare:13')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Classes.html#line-250" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Compare:13" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) = <a href="TypeLevel-Number-Classes.html#t:IsLesser">IsLesser</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Prev:14" class="instance expander" onclick="toggleSection('i:id:Z:Prev:14')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Classes.html#line-225" class="link">Source</a> <a href="#t:Prev" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Prev:14" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Prev">Prev</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>) = <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Sub:15" class="instance expander" onclick="toggleSection('i:id:Z:Sub:15')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-343" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Sub:15" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Sub:16" class="instance expander" onclick="toggleSection('i:id:Z:Sub:16')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-344" class="link">Source</a> <a href="#t:Sub" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Sub:16" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Sub">Sub</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Add:17" class="instance expander" onclick="toggleSection('i:id:Z:Add:17')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-304" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Add:17" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Add:18" class="instance expander" onclick="toggleSection('i:id:Z:Add:18')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-305" class="link">Source</a> <a href="#t:Add" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Add:18" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Add">Add</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Compare:19" class="instance expander" onclick="toggleSection('i:id:Z:Compare:19')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-247" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Compare:19" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Classes.html#t:IsGreater">IsGreater</a></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Z:Compare:20" class="instance expander" onclick="toggleSection('i:id:Z:Compare:20')"></span> <span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Classes.html#line-248" class="link">Source</a> <a href="#t:Compare" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Z:Compare:20" class="inst-details hide"><div class="src"><span class="keyword">type</span> <a href="TypeLevel-Number-Classes.html#t:Compare">Compare</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> = <a href="TypeLevel-Number-Classes.html#t:IsGreater">IsGreater</a></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:Nat" class="def">Nat</a> n <span class="keyword">where</span> <a href="src/TypeLevel-Number-Nat.html#Nat" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></p><div class="doc"><p>Type class for natural numbers. Only numbers without leading
zeroes are members of this type class.</p></div><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="TypeLevel-Number-Nat.html#v:toInt">toInt</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:toInt" class="def">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => n -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p><div class="doc"><p>Convert natural number to integral value. It's not checked
whether value could be represented.</p></div></div><div class="subs instances"><p id="control.i:Nat" class="caption collapser" onclick="toggleSection('i:Nat')">Instances</p><div id="section.i:Nat" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Nat:Nat:1" class="instance expander" onclick="toggleSection('i:ic:Nat:Nat:1')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Nat.html#line-94" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Nat:Nat:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Nat:Nat:2" class="instance expander" onclick="toggleSection('i:ic:Nat:Nat:2')"></span> Number_Is_Denormalized <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Nat.html#line-102" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Nat:Nat:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Nat:Nat:3" class="instance expander" onclick="toggleSection('i:ic:Nat:Nat:3')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-96" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Nat:Nat:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Nat:Nat:4" class="instance expander" onclick="toggleSection('i:ic:Nat:Nat:4')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-98" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Nat:Nat:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Nat:Nat:5" class="instance expander" onclick="toggleSection('i:ic:Nat:Nat:5')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)</span> <a href="src/TypeLevel-Number-Nat.html#line-95" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Nat:Nat:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Nat:Nat:6" class="instance expander" onclick="toggleSection('i:ic:Nat:Nat:6')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-97" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Nat:Nat:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:Nat:Nat:7" class="instance expander" onclick="toggleSection('i:ic:Nat:Nat:7')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n))</span> <a href="src/TypeLevel-Number-Nat.html#line-99" class="link">Source</a> <a href="#t:Nat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:Nat:Nat:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toInt">toInt</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => <a href="TypeLevel-Number-Nat.html#t:I">I</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) -> i <a href="src/TypeLevel-Number-Nat.html#toInt" class="link">Source</a> <a href="#v:toInt" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><h2 id="g:2">Lifting</h2><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:SomeNat" class="def">SomeNat</a> <span class="keyword">where</span> <a href="src/TypeLevel-Number-Nat.html#SomeNat" class="link">Source</a> <a href="#t:SomeNat" class="selflink">#</a></p><div class="doc"><p>Some natural number</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:SomeNat" class="def">SomeNat</a> :: <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> n => n -> <a href="TypeLevel-Number-Nat.html#t:SomeNat">SomeNat</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:SomeNat" class="caption collapser" onclick="toggleSection('i:SomeNat')">Instances</p><div id="section.i:SomeNat" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:SomeNat:Show:1" class="instance expander" onclick="toggleSection('i:id:SomeNat: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-Number-Nat.html#t:SomeNat">SomeNat</a></span> <a href="src/TypeLevel-Number-Nat.html#line-114" class="link">Source</a> <a href="#t:SomeNat" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:SomeNat: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-Number-Nat.html#t:SomeNat">SomeNat</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-Number-Nat.html#t:SomeNat">SomeNat</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-Number-Nat.html#t:SomeNat">SomeNat</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></table></div></div></div><div class="top"><p class="src"><a id="v:withNat" class="def">withNat</a> :: <span class="keyword">forall</span> i a. <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integral">Integral</a> i => (<span class="keyword">forall</span> n. <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> n => n -> a) -> i -> a <a href="src/TypeLevel-Number-Nat.html#withNat" class="link">Source</a> <a href="#v:withNat" class="selflink">#</a></p><div class="doc"><p>Apply function which could work with any <code><a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a></code> value only know at runtime.</p></div></div><h1 id="g:3">Template haskell utilities</h1><div class="doc"><p>Here is usage example for natT:</p><pre>n123 :: $(natT 123)
n123 = undefined</pre></div><div class="top"><p class="src"><a id="v:natT" class="def">natT</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Lib.html#t:TypeQ">TypeQ</a> <a href="src/TypeLevel-Number-Nat-TH.html#natT" class="link">Source</a> <a href="#v:natT" class="selflink">#</a></p><div class="doc"><p>Create type for natural number.</p></div></div><div class="top"><p class="src"><a id="v:nat" class="def">nat</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/template-haskell-2.11.0.0/Language-Haskell-TH-Lib.html#t:ExpQ">ExpQ</a> <a href="src/TypeLevel-Number-Nat-TH.html#nat" class="link">Source</a> <a href="#v:nat" class="selflink">#</a></p><div class="doc"><p>Create value for type level natural. Value itself is undefined.</p></div></div><div class="top"><p class="src">module <a href="TypeLevel-Number-Classes.html">TypeLevel.Number.Classes</a></p></div><h1>Orphan instances</h1><div id="section.orphans" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:Show:Show:1" class="instance expander" onclick="toggleSection('i:o:ic:Show: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-Number-Nat.html#t:Z">Z</a></span> <a href="src/TypeLevel-Number-Nat.html#line-211" class="link">Source</a> <a href="#v:-36-fShowZ" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Show: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-Number-Nat.html#t:Z">Z</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-Number-Nat.html#t:Z">Z</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-Number-Nat.html#t:Z">Z</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:o:ic:Reify:Reify:2" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:2')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></span> <a href="src/TypeLevel-Number-Nat.html#line-150" class="link">Source</a> <a href="#v:-36-fReifyZInt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify: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-Number-Nat.html#t:Z">Z</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="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:o:ic:Reify:Reify:3" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:3')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</a></span> <a href="src/TypeLevel-Number-Nat.html#line-175" class="link">Source</a> <a href="#v:-36-fReifyZInt8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:3" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</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:o:ic:Reify:Reify:4" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:4')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</a></span> <a href="src/TypeLevel-Number-Nat.html#line-180" class="link">Source</a> <a href="#v:-36-fReifyZInt16" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:4" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</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:o:ic:Reify:Reify:5" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:5')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</a></span> <a href="src/TypeLevel-Number-Nat.html#line-185" class="link">Source</a> <a href="#v:-36-fReifyZInt32" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:5" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</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:o:ic:Reify:Reify:6" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:6')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</a></span> <a href="src/TypeLevel-Number-Nat.html#line-190" class="link">Source</a> <a href="#v:-36-fReifyZInt64" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:6" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</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:o:ic:Reify:Reify:7" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:7')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a></span> <a href="src/TypeLevel-Number-Nat.html#line-145" class="link">Source</a> <a href="#v:-36-fReifyZInteger" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:7" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</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:o:ic:Reify:Reify:8" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:8')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</a></span> <a href="src/TypeLevel-Number-Nat.html#line-155" class="link">Source</a> <a href="#v:-36-fReifyZWord8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:8" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</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:o:ic:Reify:Reify:9" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:9')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</a></span> <a href="src/TypeLevel-Number-Nat.html#line-160" class="link">Source</a> <a href="#v:-36-fReifyZWord16" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:9" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</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:o:ic:Reify:Reify:10" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:10')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</a></span> <a href="src/TypeLevel-Number-Nat.html#line-165" class="link">Source</a> <a href="#v:-36-fReifyZWord32" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:10" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</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:o:ic:Reify:Reify:11" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:11')"></span> <a href="TypeLevel-Reify.html#t:Reify">Reify</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</a></span> <a href="src/TypeLevel-Number-Nat.html#line-170" class="link">Source</a> <a href="#v:-36-fReifyZWord64" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:11" 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-Number-Nat.html#t:Z">Z</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</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:o:ic:Show:Show:12" class="instance expander" onclick="toggleSection('i:o:ic:Show:Show:12')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <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-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Nat.html#line-212" class="link">Source</a> <a href="#v:-36-fShowO" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Show:Show:12" 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-Number-Nat.html#t:O">O</a> n -> <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-Number-Nat.html#t:O">O</a> n -> <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-Number-Nat.html#t:O">O</a> n] -> <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:o:ic:Show:Show:13" class="instance expander" onclick="toggleSection('i:o:ic:Show:Show:13')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <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-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Nat.html#line-213" class="link">Source</a> <a href="#v:-36-fShowI" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Show:Show:13" 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-Number-Nat.html#t:I">I</a> n -> <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-Number-Nat.html#t:I">I</a> n -> <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-Number-Nat.html#t:I">I</a> n] -> <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:o:ic:Positive:Positive:14" class="instance expander" onclick="toggleSection('i:o:ic:Positive:Positive:14')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Number-Classes.html#t:Positive">Positive</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Nat.html#line-261" class="link">Source</a> <a href="#v:-36-fPositiveO" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Positive:Positive:14" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:Positive:Positive:15" class="instance expander" onclick="toggleSection('i:o:ic:Positive:Positive:15')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Number-Classes.html#t:Positive">Positive</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Nat.html#line-260" class="link">Source</a> <a href="#v:-36-fPositiveI" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Positive:Positive:15" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:NonZero:NonZero:16" class="instance expander" onclick="toggleSection('i:o:ic:NonZero:NonZero:16')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Number-Classes.html#t:NonZero">NonZero</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n)</span> <a href="src/TypeLevel-Number-Nat.html#line-264" class="link">Source</a> <a href="#v:-36-fNonZeroO" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:NonZero:NonZero:16" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:NonZero:NonZero:17" class="instance expander" onclick="toggleSection('i:o:ic:NonZero:NonZero:17')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Number-Classes.html#t:NonZero">NonZero</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n)</span> <a href="src/TypeLevel-Number-Nat.html#line-263" class="link">Source</a> <a href="#v:-36-fNonZeroI" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:NonZero:NonZero:17" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:o:ic:Reify:Reify:18" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:18')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</a></span> <a href="src/TypeLevel-Number-Nat.html#line-191" class="link">Source</a> <a href="#v:-36-fReifyOInt64" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:18" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</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:o:ic:Reify:Reify:19" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:19')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</a></span> <a href="src/TypeLevel-Number-Nat.html#line-186" class="link">Source</a> <a href="#v:-36-fReifyOInt32" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:19" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</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:o:ic:Reify:Reify:20" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:20')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>))))))))))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</a></span> <a href="src/TypeLevel-Number-Nat.html#line-181" class="link">Source</a> <a href="#v:-36-fReifyOInt16" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:20" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</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:o:ic:Reify:Reify:21" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:21')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</a></span> <a href="src/TypeLevel-Number-Nat.html#line-176" class="link">Source</a> <a href="#v:-36-fReifyOInt8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:21" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</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:o:ic:Reify:Reify:22" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:22')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</a></span> <a href="src/TypeLevel-Number-Nat.html#line-171" class="link">Source</a> <a href="#v:-36-fReifyOWord64" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:22" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</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:o:ic:Reify:Reify:23" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:23')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</a></span> <a href="src/TypeLevel-Number-Nat.html#line-166" class="link">Source</a> <a href="#v:-36-fReifyOWord32" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:23" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</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:o:ic:Reify:Reify:24" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:24')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)))))))))))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</a></span> <a href="src/TypeLevel-Number-Nat.html#line-161" class="link">Source</a> <a href="#v:-36-fReifyOWord16" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:24" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</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:o:ic:Reify:Reify:25" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:25')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</a></span> <a href="src/TypeLevel-Number-Nat.html#line-156" class="link">Source</a> <a href="#v:-36-fReifyOWord8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:25" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</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:o:ic:Reify:Reify:26" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:26')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></span> <a href="src/TypeLevel-Number-Nat.html#line-151" class="link">Source</a> <a href="#v:-36-fReifyOInt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:26" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</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:o:ic:Reify:Reify:27" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:27')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a></span> <a href="src/TypeLevel-Number-Nat.html#line-146" class="link">Source</a> <a href="#v:-36-fReifyOInteger" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:27" 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-Number-Nat.html#t:O">O</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</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:o:ic:Reify:Reify:28" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:28')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</a></span> <a href="src/TypeLevel-Number-Nat.html#line-192" class="link">Source</a> <a href="#v:-36-fReifyIInt64" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:28" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int64">Int64</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:o:ic:Reify:Reify:29" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:29')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</a></span> <a href="src/TypeLevel-Number-Nat.html#line-187" class="link">Source</a> <a href="#v:-36-fReifyIInt32" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:29" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int32">Int32</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:o:ic:Reify:Reify:30" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:30')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>))))))))))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</a></span> <a href="src/TypeLevel-Number-Nat.html#line-182" class="link">Source</a> <a href="#v:-36-fReifyIInt16" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:30" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int16">Int16</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:o:ic:Reify:Reify:31" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:31')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</a></span> <a href="src/TypeLevel-Number-Nat.html#line-177" class="link">Source</a> <a href="#v:-36-fReifyIInt8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:31" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int8">Int8</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:o:ic:Reify:Reify:32" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:32')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</a></span> <a href="src/TypeLevel-Number-Nat.html#line-172" class="link">Source</a> <a href="#v:-36-fReifyIWord64" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:32" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word64">Word64</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:o:ic:Reify:Reify:33" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:33')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</a></span> <a href="src/TypeLevel-Number-Nat.html#line-167" class="link">Source</a> <a href="#v:-36-fReifyIWord32" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:33" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word32">Word32</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:o:ic:Reify:Reify:34" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:34')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)))))))))))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</a></span> <a href="src/TypeLevel-Number-Nat.html#line-162" class="link">Source</a> <a href="#v:-36-fReifyIWord16" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:34" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word16">Word16</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:o:ic:Reify:Reify:35" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:35')"></span> (<a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n), <a href="TypeLevel-Number-Classes.html#t:Lesser">Lesser</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:O">O</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> <a href="TypeLevel-Number-Nat.html#t:Z">Z</a>)))))))))) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</a></span> <a href="src/TypeLevel-Number-Nat.html#line-157" class="link">Source</a> <a href="#v:-36-fReifyIWord8" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:35" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Word.html#t:Word8">Word8</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:o:ic:Reify:Reify:36" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:36')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</a></span> <a href="src/TypeLevel-Number-Nat.html#line-152" class="link">Source</a> <a href="#v:-36-fReifyIInt" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:36" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Data-Int.html#t:Int">Int</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:o:ic:Reify:Reify:37" class="instance expander" onclick="toggleSection('i:o:ic:Reify:Reify:37')"></span> <a href="TypeLevel-Number-Nat.html#t:Nat">Nat</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) => <a href="TypeLevel-Reify.html#t:Reify">Reify</a> (<a href="TypeLevel-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a></span> <a href="src/TypeLevel-Number-Nat.html#line-147" class="link">Source</a> <a href="#v:-36-fReifyIInteger" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:o:ic:Reify:Reify:37" 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-Number-Nat.html#t:I">I</a> n) <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.0.0/Prelude.html#t:Integer">Integer</a> <a href="src/TypeLevel-Reify.html#witness" class="link">Source</a> <a href="#v:witness" class="selflink">#</a></p></div></div></td></tr></table></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>
|