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

Safe HaskellNone
LanguageHaskell98

Algebra.FloatingPoint

Synopsis

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 #