<!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.Ops</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >Data.TypeLevel.Num.Ops</DIV ><DIV CLASS="mini-synopsis" ><H1 >Successor/Predecessor </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ASucc" TARGET="main" >Succ</A > x y</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Asucc" TARGET="main" >succ</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3APred" TARGET="main" >Pred</A > x y</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Apred" TARGET="main" >pred</A ></DIV > <H1 >Addition/Subtraction </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AAdd" TARGET="main" >Add</A > x y z</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%2B" TARGET="main" >(+)</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ASub" TARGET="main" >Sub</A > x y z</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A-" TARGET="main" >(-)</A ></DIV > <H1 >Multiplication/Division </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul" TARGET="main" >Mul</A > x y z</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%2A" TARGET="main" >(*)</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADiv" TARGET="main" >Div</A > x y z</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Adiv" TARGET="main" >div</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMod" TARGET="main" >Mod</A > x y r</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Amod" TARGET="main" >mod</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod" TARGET="main" >DivMod</A > x y q r</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3AdivMod" TARGET="main" >divMod</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AIsDivBy" TARGET="main" >IsDivBy</A > d x</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3AisDivBy" TARGET="main" >isDivBy</A ></DIV > <H2 >Special efficiency cases </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMul10" TARGET="main" >Mul10</A > x q</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Amul10" TARGET="main" >mul10</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADiv10" TARGET="main" >Div10</A > x q</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Adiv10" TARGET="main" >div10</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ADivMod10" TARGET="main" >DivMod10</A > x i l</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3AdivMod10" TARGET="main" >divMod10</A ></DIV > <H1 >Exponientiation/Logarithm </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExpBase" TARGET="main" >ExpBase</A > b e r</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%5E" TARGET="main" >(^)</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALogBase" TARGET="main" >LogBase</A > b x e</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3AlogBase" TARGET="main" >logBase</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALogBaseF" TARGET="main" >LogBaseF</A > b x e f</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3AlogBaseF" TARGET="main" >logBaseF</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AIsPowOf" TARGET="main" >IsPowOf</A > b x</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3AisPowOf" TARGET="main" >isPowOf</A ></DIV > <H2 >Special efficiency cases </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AExp10" TARGET="main" >Exp10</A > x y</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Aexp10" TARGET="main" >exp10</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALog10" TARGET="main" >Log10</A > x y</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Alog10" TARGET="main" >log10</A ></DIV > <H1 >Comparison assertions </H1 > <H2 >General comparison assertion </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ATrich" TARGET="main" >Trich</A > x y r</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Atrich" TARGET="main" >trich</A ></DIV > <H3 >Type-level values denoting comparison results </H3 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3ALT" TARGET="main" >LT</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AEQ" TARGET="main" >EQ</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGT" TARGET="main" >GT</A > </DIV > <H2 >Abbreviated comparison assertions </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > x <A HREF="Data-TypeLevel-Num-Ops.html#t%3A%3A%3D%3D%3A" TARGET="main" >:==:</A > y</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > x <A HREF="Data-TypeLevel-Num-Ops.html#t%3A%3A%3E%3A" TARGET="main" >:>:</A > y</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > x <A HREF="Data-TypeLevel-Num-Ops.html#t%3A%3A%3C%3A" TARGET="main" >:<:</A > y</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > x <A HREF="Data-TypeLevel-Num-Ops.html#t%3A%3A%3E%3D%3A" TARGET="main" >:>=:</A > y</DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > x <A HREF="Data-TypeLevel-Num-Ops.html#t%3A%3A%3C%3D%3A" TARGET="main" >:<=:</A > y</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%3D%3D" TARGET="main" >(==)</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%3E" TARGET="main" >(>)</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%3C" TARGET="main" >(<)</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%3E%3D" TARGET="main" >(>=)</A ></DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3A%3C%3D" TARGET="main" >(<=)</A ></DIV > <H1 >Maximum/Minimum </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMax" TARGET="main" >Max</A > x y z</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Amax" TARGET="main" >max</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AMin" TARGET="main" >Min</A > x y z</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Amin" TARGET="main" >min</A ></DIV > <H1 >Greatest Common Divisor </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >class</SPAN > <A HREF="Data-TypeLevel-Num-Ops.html#t%3AGCD" TARGET="main" >GCD</A > x y gcd</DIV > <DIV CLASS="decl" ><A HREF="Data-TypeLevel-Num-Ops.html#v%3Agcd" TARGET="main" >gcd</A ></DIV ></DIV ></DIV ></BODY ></HTML >