NumericPrelude-0.0: An experimental alternative hierarchy of numeric type classes Contents Index

Number.FixedPoint.Check

Contents Types Conversion other number types Lift core function Show

Synopsis

data T = Cons { denominator :: Integer numerator :: Integer } cons :: Integer -> Integer -> T fromFloat :: RealFrac a => Integer -> a -> T fromInteger' :: Integer -> Integer -> T fromRational' :: Integer -> Rational -> T fromFloatBasis :: RealFrac a => Integer -> Int -> a -> T fromIntegerBasis :: Integer -> Int -> Integer -> T fromRationalBasis :: Integer -> Int -> Rational -> T fromFixedPoint :: Integer -> T -> T lift0 :: Integer -> (Integer -> Integer) -> T lift1 :: (Integer -> Integer -> Integer) -> T -> T lift2 :: (Integer -> Integer -> Integer -> Integer) -> T -> T -> T commonDenominator :: Integer -> Integer -> a -> a appPrec :: Int defltDenominator :: Integer defltShow :: T -> String legacyInstance :: a

Types

data T

Constructors Cons denominator :: Integer numerator :: Integer Instances C T C T C T C T C T C T Eq T Fractional T Num T Ord T Real T RealFrac T Show T

Conversion

cons :: Integer -> Integer -> T

other number types

fromFloat :: RealFrac a => Integer -> a -> T

fromInteger' :: Integer -> Integer -> T

fromRational' :: Integer -> Rational -> T

fromFloatBasis :: RealFrac a => Integer -> Int -> a -> T

fromIntegerBasis :: Integer -> Int -> Integer -> T

fromRationalBasis :: Integer -> Int -> Rational -> T

fromFixedPoint :: Integer -> T -> T

denominator conversion

Lift core function

lift0 :: Integer -> (Integer -> Integer) -> T

lift1 :: (Integer -> Integer -> Integer) -> T -> T

lift2 :: (Integer -> Integer -> Integer -> Integer) -> T -> T -> T

commonDenominator :: Integer -> Integer -> a -> a

Show

appPrec :: Int

defltDenominator :: Integer

defltShow :: T -> String

legacyInstance :: a

Produced by Haddock version 0.7