Sophie: ghc-type-level-devel-0.2.4-4.fc14 i686

ghc-type-level-devel-0.2.4-4.fc14.i686.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--Rendered using the Haskell Html Library v0.2-->
<HTML
><HEAD
><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
><TITLE
>Data.TypeLevel.Num.Reps</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
><SCRIPT TYPE="text/javascript"
>window.onload = function () {setSynopsis("mini_Data-TypeLevel-Num-Reps.html")};</SCRIPT
></HEAD
><BODY
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="topbar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" "
></TD
><TD CLASS="title"
>type-level-0.2.4: Type-level programming library</TD
><TD CLASS="topbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html"
>Source code</A
></TD
><TD CLASS="topbut"
><A HREF="index.html"
>Contents</A
></TD
><TD CLASS="topbut"
><A HREF="doc-index.html"
>Index</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="modulebar"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD
><FONT SIZE="6"
>Data.TypeLevel.Num.Reps</FONT
></TD
><TD ALIGN="right"
><TABLE CLASS="narrow" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="infohead"
>Portability</TD
><TD CLASS="infoval"
>non-portable (TypeOperators)</TD
></TR
><TR
><TD CLASS="infohead"
>Stability</TD
><TD CLASS="infoval"
>experimental</TD
></TR
><TR
><TD CLASS="infohead"
>Maintainer</TD
><TD CLASS="infoval"
>alfonso.acosta@gmail.com</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="section4"
><B
>Contents</B
></TD
></TR
><TR
><TD
><DL
><DT
><A HREF="#1"
>Decimal representation
</A
></DT
></DL
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Description</TD
></TR
><TR
><TD CLASS="doc"
>Type-level numerical representations. Currently, only decimals are 
 supported.
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
>Synopsis</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD0"
>D0</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD1"
>D1</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD2"
>D2</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD3"
>D3</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD4"
>D4</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD5"
>D5</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD6"
>D6</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD7"
>D7</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD8"
>D8</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AD9"
>D9</A
> </TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  a <A HREF="#t%3A%3A%2A"
>:*</A
> b = a <A HREF="#v%3A%3A%2A"
>:*</A
> b</TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="section1"
><A NAME="1"
><A NAME="1"
>Decimal representation
</A
></A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D0"
><A NAME="t%3AD0"
></A
></A
><B
>D0</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D0"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit zero
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D0')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D0" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Bool.html#t%3ATrue"
>True</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> b =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> y =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> y =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> y y</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> x =&gt; GCD' x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Bool.html#t%3ATrue"
>True</A
> cmp <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> b, b <A HREF="Data-TypeLevel-Num-Ops.html#t%3A%3A%3E%3D%3A"
>:&gt;=:</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
>, <A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> x) =&gt; LogBaseF' b x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> x, <A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> y) =&gt; DivMod' x y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> x, <A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> y) =&gt; DivMod' x y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> x <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> xi yi =&gt; Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> yi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3APred"
>Pred</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) x', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> x' (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>Failure (PredecessorOfZeroError x) =&gt; Succ' (x, x) (x, x) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Bool.html#t%3ATrue"
>True</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D1"
><A NAME="t%3AD1"
></A
></A
><B
>D1</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D1"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit one
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D1')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D1" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> b =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> b</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> b =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> y =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> y y</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> y z =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> y z</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> b, b <A HREF="Data-TypeLevel-Num-Ops.html#t%3A%3A%3E%3D%3A"
>:&gt;=:</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
>) =&gt; LogBaseF' b b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Bool.html#t%3ATrue"
>True</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> x, <A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> y) =&gt; DivMod' x y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D2"
><A NAME="t%3AD2"
></A
></A
><B
>D2</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D2"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit two
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D2')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D2" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> b b r =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> r</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> y y z =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> y z</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D3"
><A NAME="t%3AD3"
></A
></A
><B
>D3</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D3"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit three 
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D3')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D3" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> r b r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> r'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> z y z', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> y z) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D4"
><A NAME="t%3AD4"
></A
></A
><B
>D4</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D4"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit four 
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D4')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D4" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> r b r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> r'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> z y z', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> y z) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D5"
><A NAME="t%3AD5"
></A
></A
><B
>D5</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D5"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit five
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D5')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D5" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> r b r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> r'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> z y z', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> y z) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D6"
><A NAME="t%3AD6"
></A
></A
><B
>D6</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D6"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit six
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D6')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D6" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> r b r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> r'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> z y z', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> y z) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D7"
><A NAME="t%3AD7"
></A
></A
><B
>D7</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D7"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit seven
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D7')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D7" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> r b r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> r'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> z y z', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> y z) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D8"
><A NAME="t%3AD8"
></A
></A
><B
>D8</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D8"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit eight
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D8')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D8" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> r b r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> r'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> z y z', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> y z) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:D9"
><A NAME="t%3AD9"
></A
></A
><B
>D9</B
>  </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#D9"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Decimal digit nine
</TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:D9')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:D9" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable"
>Typeable</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
></TD
></TR
><TR
><TD CLASS="decl"
>NatI <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
></TD
></TR
><TR
><TD CLASS="decl"
>IsZero <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ"
>EQ</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> r b r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> r'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> z y z', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> y z) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> z z', Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> y z) =&gt; Add' <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> y z'</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc"
>Succ</A
> xi yi =&gt; Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> yi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>Succ' xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> xi <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> l</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="topdecl"
><TABLE CLASS="declbar"
><TR
><TD CLASS="declname"
><SPAN CLASS="keyword"
>data</SPAN
>  a <A NAME="t::*"
><A NAME="t%3A%3A%2A"
></A
></A
><B
>:*</B
> b </TD
><TD CLASS="declbut"
><A HREF="src/Data-TypeLevel-Num-Reps.html#%3A%2A"
>Source</A
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="ndoc"
>Connective to glue digits together.
   For example, <TT
>D1 :* D0 :* D0</TT
> represents the decimal number 100
</TD
></TR
><TR
><TD CLASS="section4"
>Constructors</TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
>a <A NAME="v::*"
><A NAME="v%3A%3A%2A"
></A
></A
><B
>:*</B
> b</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:%3A%2A')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:%3A%2A" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Data-Typeable.html#t%3ATypeable2"
>Typeable2</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT"
>LT</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> b, <A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> ei el), <A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> r, <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> b r r', <A HREF="Data-TypeLevel-Num-Ops.html#t%3APred"
>Pred</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> ei el) e', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b e' r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase"
>ExpBase</A
> b (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> ei el) r'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> a, <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> b) =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/base-4.2.0.2/Text-Show.html#t%3AShow"
>Show</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> a b)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> a, <A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> b) =&gt; <A HREF="/usr/share/doc/ghc/html/libraries/template-haskell-2.4.0.1/Language-Haskell-TH-Syntax.html#t%3ALift"
>Lift</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> a b)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; PosI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>PosI x =&gt; NatI (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> x =&gt; IsZero (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x d) <A HREF="Data-TypeLevel-Bool.html#t%3AFalse"
>False</A
></TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl), <A HREF="Data-TypeLevel-Num-Ops.html#t%3APred"
>Pred</A
> y y', <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> xi y') =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10"
>Log10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) y</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
> <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT"
>GT</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD9"
>D9</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD8"
>D8</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD7"
>D7</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD6"
>D6</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD5"
>D5</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD4"
>D4</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD3"
>D3</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD2"
>D2</A
> l</TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> l) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> l) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD1"
>D1</A
> l</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl), <A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> y, <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> xi y z, <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul10"
>Mul10</A
> z z10, <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> xl y dy, <A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd"
>Add</A
> dy z10 z') =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul"
>Mul</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) y z'</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl), <A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> z, Add' xi yi zi, <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> y yi yl, Add' xl (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> zi yl) z) =&gt; Add' (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) y z</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Ops.html#t%3APred"
>Pred</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) x', <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> x' (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10"
>Exp10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> y <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>) <A HREF="Data-TypeLevel-Num-Reps.html#t%3AD0"
>D0</A
>)</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl), <A HREF="Data-TypeLevel-Num-Sets.html#t%3APos"
>Pos</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl), <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> xl yl rl, <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> xi yi ri, CS ri rl r) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich"
>Trich</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> xi xl) (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> yi yl) r</TD
></TR
><TR
><TD CLASS="decl"
>(<A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x l), <A HREF="Data-TypeLevel-Num-Sets.html#t%3ANat"
>Nat</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x l) l')) =&gt; <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10"
>DivMod10</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x l) l') (<A HREF="Data-TypeLevel-Num-Reps.html#t%3A%3A%2A"
>:*</A
> x l) l'</TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="botbar"
>Produced by <A HREF="http://www.haskell.org/haddock/"
>Haddock</A
> version 2.6.1</TD
></TR
></TABLE
></BODY
></HTML
>