numeric-prelude-0.4.3: An experimental alternative hierarchy of numeric type classes

Safe HaskellNone
LanguageHaskell98

Algebra.FloatingPoint

Synopsis
  • class C a => C a where

    Documentation

    class C a => C a where #

    Counterpart of RealFloat but with NumericPrelude superclass.

    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 # 
    Instance details

    Defined in Algebra.FloatingPoint

    C Float # 
    Instance details

    Defined in Algebra.FloatingPoint

    RealFloat a => C (T a) # 
    Instance details

    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) # 
    Instance details

    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 #