numeric-prelude-0.1.1: An experimental alternative hierarchy of numeric type classes Source code 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 :: C a => Integer -> a -> T fromInteger' :: Integer -> Integer -> T fromRational' :: Integer -> Rational -> T fromFloatBasis :: C 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 Source

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

Conversion

cons :: Integer -> Integer -> T Source

other number types

fromFloat :: C a => Integer -> a -> T Source

fromInteger' :: Integer -> Integer -> T Source

fromRational' :: Integer -> Rational -> T Source

fromFloatBasis :: C a => Integer -> Int -> a -> T Source

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

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

fromFixedPoint :: Integer -> T -> T Source

denominator conversion

Lift core function

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

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

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

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

Show

appPrec :: Int Source

defltDenominator :: Integer Source

defltShow :: T -> String Source

legacyInstance :: a Source

Produced by Haddock version 2.4.2