Algebra.FloatingPoint

Documentation

class C a => C a where

Counterpart of RealFloat but with NumericPrelude superclass.

Minimal complete definition

radix, digits, range, decode, encode, exponent, significand, scale, isNaN, isInfinite, isDenormalized, isNegativeZero, isIEEE

Methods

radix :: a -> Integer

digits :: a -> Int

range :: a -> (Int, Int)

decode :: a -> (Integer, Int)

encode :: Integer -> Int -> a

exponent :: a -> Int

significand :: a -> a

scale :: Int -> a -> a

isNaN :: a -> Bool

isInfinite :: a -> Bool

isDenormalized :: a -> Bool

isNegativeZero :: a -> Bool

isIEEE :: a -> Bool

Instances

C Double

Defined in Algebra.FloatingPoint

Methods

radix :: Double -> Integer

digits :: Double -> Int

range :: Double -> (Int, Int)

decode :: Double -> (Integer, Int)

encode :: Integer -> Int -> Double

exponent :: Double -> Int

significand :: Double -> Double

scale :: Int -> Double -> Double

isNaN :: Double -> Bool

isInfinite :: Double -> Bool

isDenormalized :: Double -> Bool

isNegativeZero :: Double -> Bool

isIEEE :: Double -> Bool

C Float

Defined in Algebra.FloatingPoint

Methods

radix :: Float -> Integer

digits :: Float -> Int

range :: Float -> (Int, Int)

decode :: Float -> (Integer, Int)

encode :: Integer -> Int -> Float

exponent :: Float -> Int

significand :: Float -> Float

scale :: Int -> Float -> Float

isNaN :: Float -> Bool

isInfinite :: Float -> Bool

isDenormalized :: Float -> Bool

isNegativeZero :: Float -> Bool

isIEEE :: Float -> Bool

RealFloat a => C (T a)

Defined in MathObj.Wrapper.Haskell98

Methods

radix :: T a -> Integer

digits :: T a -> Int

range :: T a -> (Int, Int)

decode :: T a -> (Integer, Int)

encode :: Integer -> Int -> T a

exponent :: T a -> Int

significand :: T a -> T a

scale :: Int -> T a -> T a

isNaN :: T a -> Bool

isInfinite :: T a -> Bool

isDenormalized :: T a -> Bool

isNegativeZero :: T a -> Bool

isIEEE :: T a -> Bool

C a => C (T a)

Defined in MathObj.Wrapper.NumericPrelude

Methods

radix :: T a -> Integer

digits :: T a -> Int

range :: T a -> (Int, Int)

decode :: T a -> (Integer, Int)

encode :: Integer -> Int -> T a

exponent :: T a -> Int

significand :: T a -> T a

scale :: Int -> T a -> T a

isNaN :: T a -> Bool

isInfinite :: T a -> Bool

isDenormalized :: T a -> Bool

isNegativeZero :: T a -> Bool

isIEEE :: T a -> Bool