/usr/share/doc/libghc-boolean-doc/html/Data-Boolean-Numbers.html is in libghc-boolean-doc 0.2-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Boolean.Numbers</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Data-Boolean-Numbers.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Data-Boolean-Numbers.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">Boolean-0.2: Generalized booleans and numbers</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Stability</th><td>experimental</td></tr><tr><th>Maintainer</th><td>jbra@informatik.uni-kiel.de</td></tr><tr><th>Safe Haskell</th><td>Safe-Inferred</td></tr></table><p class="caption">Data.Boolean.Numbers</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A generalized version of the class hirarchy for numbers. All
functions that would break a potential deep embedding are removed
or generalized to support deep embeddings.
</p><p>The class hirarchy for numeric types keeps as close as possible to the
<code>Prelude</code> hirarchy. A great part of the default implementation and comments
are copied and adopted from <code>Prelude</code>.
-----------------------------------------------------------------------
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> a => <a href="#t:NumB">NumB</a> a <span class="keyword">where</span><ul class="subs"><li><span class="keyword">type</span> <a href="#t:IntegerOf">IntegerOf</a> a </li><li><a href="#v:fromIntegerB">fromIntegerB</a> :: <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a -> a</li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> a, <a href="Data-Boolean.html#t:OrdB">OrdB</a> a) => <a href="#t:IntegralB">IntegralB</a> a <span class="keyword">where</span><ul class="subs"><li><a href="#v:quot">quot</a> :: a -> a -> a</li><li><a href="#v:rem">rem</a> :: a -> a -> a</li><li><a href="#v:div">div</a> :: a -> a -> a</li><li><a href="#v:mod">mod</a> :: a -> a -> a</li><li><a href="#v:quotRem">quotRem</a> :: a -> a -> (a, a)</li><li><a href="#v:divMod">divMod</a> :: a -> a -> (a, a)</li><li><a href="#v:toIntegerB">toIntegerB</a> :: a -> <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a</li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> a, <a href="Data-Boolean.html#t:OrdB">OrdB</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Fractional">Fractional</a> a) => <a href="#t:RealFracB">RealFracB</a> a <span class="keyword">where</span><ul class="subs"><li><a href="#v:properFraction">properFraction</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> (b, a)</li><li><a href="#v:truncate">truncate</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b</li><li><a href="#v:round">round</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b</li><li><a href="#v:ceiling">ceiling</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b</li><li><a href="#v:floor">floor</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b</li></ul></li><li class="src short"><span class="keyword">class</span> (<a href="Data-Boolean.html#t:Boolean">Boolean</a> (<a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a), <a href="Data-Boolean-Numbers.html#t:RealFracB">RealFracB</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Floating">Floating</a> a) => <a href="#t:RealFloatB">RealFloatB</a> a <span class="keyword">where</span><ul class="subs"><li><a href="#v:isNaN">isNaN</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a</li><li><a href="#v:isInfinite">isInfinite</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a</li><li><a href="#v:isNegativeZero">isNegativeZero</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a</li><li><a href="#v:isIEEE">isIEEE</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a</li><li><a href="#v:atan2">atan2</a> :: a -> a -> a</li></ul></li><li class="src short"><a href="#v:evenB">evenB</a> :: (<a href="Data-Boolean.html#t:IfB">IfB</a> a, <a href="Data-Boolean.html#t:EqB">EqB</a> a, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> a) => a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a</li><li class="src short"><a href="#v:oddB">oddB</a> :: (<a href="Data-Boolean.html#t:IfB">IfB</a> a, <a href="Data-Boolean.html#t:EqB">EqB</a> a, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> a) => a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a</li><li class="src short"><a href="#v:fromIntegralB">fromIntegralB</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> a, <a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> b) => a -> b</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">class</span> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a> a => <a name="t:NumB" class="def">NumB</a> a <span class="keyword">where</span><a href="src/Data-Boolean-Numbers.html#NumB" class="link">Source</a></p><div class="doc"><p>An extension of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Num">Num</a></code> that supplies the integer type of a
given number type and a way to create that number from the
integer.
</p></div><div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a name="t:IntegerOf" class="def">IntegerOf</a> a <a href="src/Data-Boolean-Numbers.html#IntegerOf" class="link">Source</a></p><div class="doc"><p>The accociated integer type of the number.
</p></div></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:fromIntegerB" class="def">fromIntegerB</a> :: <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a -> a<a href="src/Data-Boolean-Numbers.html#fromIntegerB" class="link">Source</a></p><div class="doc"><p>Construct the number from the associated integer.
</p></div></div><div class="subs instances"><p id="control.i:NumB" class="caption collapser" onclick="toggleSection('i:NumB')">Instances</p><div id="section.i:NumB" class="show"><table><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Double">Double</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Float">Float</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Integer">Integer</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> a, <a href="Data-Boolean.html#t:OrdB">OrdB</a> a) => <a name="t:IntegralB" class="def">IntegralB</a> a <span class="keyword">where</span><a href="src/Data-Boolean-Numbers.html#IntegralB" class="link">Source</a></p><div class="doc"><p>A deep embedded version of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Integral">Integral</a></code>.
Integral numbers, supporting integer division.
</p><p>Minimal complete definition is either <code><a href="Data-Boolean-Numbers.html#v:quotRem">quotRem</a></code> and <code><a href="Data-Boolean-Numbers.html#v:divMod">divMod</a></code>
or the other four functions. Besides that <code><a href="Data-Boolean-Numbers.html#v:toIntegerB">toIntegerB</a></code> always
has to be implemented.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:quot" class="def">quot</a> :: a -> a -> a<a href="src/Data-Boolean-Numbers.html#quot" class="link">Source</a></p><div class="doc"><p>Integer division truncated towards zero.
</p></div><p class="src"><a name="v:rem" class="def">rem</a> :: a -> a -> a<a href="src/Data-Boolean-Numbers.html#rem" class="link">Source</a></p><div class="doc"><p>Integer reminder, satisfying:
<code>(x <code><a href="Data-Boolean-Numbers.html#v:quot">quot</a></code> y) * y + (x <code><a href="Data-Boolean-Numbers.html#v:rem">rem</a></code> y) == x</code>
</p></div><p class="src"><a name="v:div" class="def">div</a> :: a -> a -> a<a href="src/Data-Boolean-Numbers.html#div" class="link">Source</a></p><div class="doc"><p>Integer division truncated toward negative infinity.
</p></div><p class="src"><a name="v:mod" class="def">mod</a> :: a -> a -> a<a href="src/Data-Boolean-Numbers.html#mod" class="link">Source</a></p><div class="doc"><p>Integer modulus, satisfying:
<code>(x <code><a href="Data-Boolean-Numbers.html#v:div">div</a></code> y) * y + (x <code><a href="Data-Boolean-Numbers.html#v:mod">mod</a></code> y) == x</code>
</p></div><p class="src"><a name="v:quotRem" class="def">quotRem</a> :: a -> a -> (a, a)<a href="src/Data-Boolean-Numbers.html#quotRem" class="link">Source</a></p><div class="doc"><p>Simultaneous <code><a href="Data-Boolean-Numbers.html#v:quot">quot</a></code> and <code><a href="Data-Boolean-Numbers.html#v:rem">rem</a></code>.
</p></div><p class="src"><a name="v:divMod" class="def">divMod</a> :: a -> a -> (a, a)<a href="src/Data-Boolean-Numbers.html#divMod" class="link">Source</a></p><div class="doc"><p>Simultaneous <code><a href="Data-Boolean-Numbers.html#v:div">div</a></code> and <code><a href="Data-Boolean-Numbers.html#v:mod">mod</a></code>.
</p></div><p class="src"><a name="v:toIntegerB" class="def">toIntegerB</a> :: a -> <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a<a href="src/Data-Boolean-Numbers.html#toIntegerB" class="link">Source</a></p><div class="doc"><p>Create a integer from this integral.
</p></div></div><div class="subs instances"><p id="control.i:IntegralB" class="caption collapser" onclick="toggleSection('i:IntegralB')">Instances</p><div id="section.i:IntegralB" class="show"><table><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Data-Int.html#t:Int">Int</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Integer">Integer</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> a, <a href="Data-Boolean.html#t:OrdB">OrdB</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Fractional">Fractional</a> a) => <a name="t:RealFracB" class="def">RealFracB</a> a <span class="keyword">where</span><a href="src/Data-Boolean-Numbers.html#RealFracB" class="link">Source</a></p><div class="doc"><p>Deep embedded version of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:RealFloat">RealFloat</a></code>.
Extracting components of fractions.
</p><p>Minimal complete definition: <code><a href="Data-Boolean-Numbers.html#v:properFraction">properFraction</a></code>,
<code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:round">round</a></code>, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:floor">floor</a></code> and <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:ceiling">ceiling</a></code>.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:properFraction" class="def">properFraction</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> (b, a)<a href="src/Data-Boolean-Numbers.html#properFraction" class="link">Source</a></p><div class="doc"><p>The function <code><a href="Data-Boolean-Numbers.html#v:properFraction">properFraction</a></code> takes a real fractional number <code>x</code>
and returns a pair <code>(n,f)</code> such that <code>x = n+f</code>, and:
</p><ul><li> <code>n</code> is an integral number with the same sign as <code>x</code>; and
</li><li> <code>f</code> is a fraction with the same type and sign as <code>x</code>,
and with absolute value less than <code>1</code>.
</li></ul><p>The default definitions of the <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:ceiling">ceiling</a></code>, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:floor">floor</a></code>, <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:truncate">truncate</a></code>
and <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:round">round</a></code> functions are in terms of <code><a href="Data-Boolean-Numbers.html#v:properFraction">properFraction</a></code>.
</p></div><p class="src"><a name="v:truncate" class="def">truncate</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b<a href="src/Data-Boolean-Numbers.html#truncate" class="link">Source</a></p><div class="doc"><p><code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:truncate">truncate</a></code> x</code> returns the integer nearest <code>x</code> between zero and <code>x</code>
</p></div><p class="src"><a name="v:round" class="def">round</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b<a href="src/Data-Boolean-Numbers.html#round" class="link">Source</a></p><div class="doc"><p><code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:round">round</a></code> x</code> returns the nearest integer to <code>x</code>;
the even integer if <code>x</code> is equidistant between two integers
</p></div><p class="src"><a name="v:ceiling" class="def">ceiling</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b<a href="src/Data-Boolean-Numbers.html#ceiling" class="link">Source</a></p><div class="doc"><p><code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:ceiling">ceiling</a></code> x</code> returns the least integer not less than <code>x</code>
</p></div><p class="src"><a name="v:floor" class="def">floor</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> b) => a -> b<a href="src/Data-Boolean-Numbers.html#floor" class="link">Source</a></p><div class="doc"><p><code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:floor">floor</a></code> x</code> returns the greatest integer not greater than <code>x</code>.
</p></div></div><div class="subs instances"><p id="control.i:RealFracB" class="caption collapser" onclick="toggleSection('i:RealFracB')">Instances</p><div id="section.i:RealFracB" class="show"><table><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:RealFracB">RealFracB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Double">Double</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:RealFracB">RealFracB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Float">Float</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="Data-Boolean.html#t:Boolean">Boolean</a> (<a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a), <a href="Data-Boolean-Numbers.html#t:RealFracB">RealFracB</a> a, <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Floating">Floating</a> a) => <a name="t:RealFloatB" class="def">RealFloatB</a> a <span class="keyword">where</span><a href="src/Data-Boolean-Numbers.html#RealFloatB" class="link">Source</a></p><div class="doc"><p>Deep embedded version of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:RealFloat">RealFloat</a></code>.
Efficient, machine-independent access to the components of a
floating-point number.
</p><p>A complete definition has to define all functions.
</p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a name="v:isNaN" class="def">isNaN</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a<a href="src/Data-Boolean-Numbers.html#isNaN" class="link">Source</a></p><div class="doc"><p><code><a href="Data-Boolean.html#v:true">true</a></code> if the argument is an IEEE "not-a-number" (NaN) value.
</p></div><p class="src"><a name="v:isInfinite" class="def">isInfinite</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a<a href="src/Data-Boolean-Numbers.html#isInfinite" class="link">Source</a></p><div class="doc"><p><code><a href="Data-Boolean.html#v:true">true</a></code> if the argument is an IEEE infinity or negative infinity.
</p></div><p class="src"><a name="v:isNegativeZero" class="def">isNegativeZero</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a<a href="src/Data-Boolean-Numbers.html#isNegativeZero" class="link">Source</a></p><div class="doc"><p><code><a href="Data-Boolean.html#v:true">true</a></code> if the argument is an IEEE negative zero.
</p></div><p class="src"><a name="v:isIEEE" class="def">isIEEE</a> :: a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a<a href="src/Data-Boolean-Numbers.html#isIEEE" class="link">Source</a></p><div class="doc"><p><code><a href="Data-Boolean.html#v:true">true</a></code> if the argument is an IEEE floating point number.
</p></div><p class="src"><a name="v:atan2" class="def">atan2</a> :: a -> a -> a<a href="src/Data-Boolean-Numbers.html#atan2" class="link">Source</a></p><div class="doc"><p>a version of arctangent taking two real floating-point arguments.
For real floating <code>x</code> and <code>y</code>, <code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:atan2">atan2</a></code> y x</code> computes the angle
(from the positive x-axis) of the vector from the origin to the
point <code>(x,y)</code>. <code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:atan2">atan2</a></code> y x</code> returns a value in the range [<code>-pi</code>,
<code>pi</code>]. It follows the Common Lisp semantics for the origin when
signed zeroes are supported. <code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:atan2">atan2</a></code> y 1</code>, with <code>y</code> in a type
that is <code><a href="Data-Boolean-Numbers.html#t:RealFloatB">RealFloatB</a></code>, should return the same value as <code><code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:atan">atan</a></code> y</code>.
</p></div></div><div class="subs instances"><p id="control.i:RealFloatB" class="caption collapser" onclick="toggleSection('i:RealFloatB')">Instances</p><div id="section.i:RealFloatB" class="show"><table><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:RealFloatB">RealFloatB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Double">Double</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Data-Boolean-Numbers.html#t:RealFloatB">RealFloatB</a> <a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#t:Float">Float</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:evenB" class="def">evenB</a> :: (<a href="Data-Boolean.html#t:IfB">IfB</a> a, <a href="Data-Boolean.html#t:EqB">EqB</a> a, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> a) => a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a<a href="src/Data-Boolean-Numbers.html#evenB" class="link">Source</a></p><div class="doc"><p>Variant of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:even">even</a></code> for generalized booleans.
</p></div></div><div class="top"><p class="src"><a name="v:oddB" class="def">oddB</a> :: (<a href="Data-Boolean.html#t:IfB">IfB</a> a, <a href="Data-Boolean.html#t:EqB">EqB</a> a, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> a) => a -> <a href="Data-Boolean.html#t:BooleanOf">BooleanOf</a> a<a href="src/Data-Boolean-Numbers.html#oddB" class="link">Source</a></p><div class="doc"><p>Variant of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:odd">odd</a></code> for generalized booleans.
</p></div></div><div class="top"><p class="src"><a name="v:fromIntegralB" class="def">fromIntegralB</a> :: (<a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> a ~ <a href="Data-Boolean-Numbers.html#t:IntegerOf">IntegerOf</a> b, <a href="Data-Boolean-Numbers.html#t:IntegralB">IntegralB</a> a, <a href="Data-Boolean-Numbers.html#t:NumB">NumB</a> b) => a -> b<a href="src/Data-Boolean-Numbers.html#fromIntegralB" class="link">Source</a></p><div class="doc"><p>Variant of <code><a href="/usr/share/doc/ghc-doc/html/libraries/base-4.6.0.1/Prelude.html#v:fromIntegral">fromIntegral</a></code> for generalized booleans.
</p></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.13.2</p></div></body></html>
|