numeric-prelude-0.4.4: An experimental alternative hierarchy of numeric type classes
Safe HaskellNone
LanguageHaskell98

Number.FixedPoint.Check

Synopsis

Types

data T Source #

Constructors

Cons 

Instances

Instances details
Eq T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

(==) :: T -> T -> Bool #

(/=) :: T -> T -> Bool #

Fractional T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

(/) :: T -> T -> T #

recip :: T -> T #

fromRational :: Rational -> T #

Num T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

(+) :: T -> T -> T #

(-) :: T -> T -> T #

(*) :: T -> T -> T #

negate :: T -> T #

abs :: T -> T #

signum :: T -> T #

fromInteger :: Integer -> T #

Ord T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

compare :: T -> T -> Ordering #

(<) :: T -> T -> Bool #

(<=) :: T -> T -> Bool #

(>) :: T -> T -> Bool #

(>=) :: T -> T -> Bool #

max :: T -> T -> T #

min :: T -> T -> T #

Show T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

showsPrec :: Int -> T -> ShowS #

show :: T -> String #

showList :: [T] -> ShowS #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

zero :: T Source #

(+) :: T -> T -> T Source #

(-) :: T -> T -> T Source #

negate :: T -> T Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

isZero :: T -> Bool Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

(*) :: T -> T -> T Source #

one :: T Source #

fromInteger :: Integer -> T Source #

(^) :: T -> Integer -> T Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

abs :: T -> T Source #

signum :: T -> T Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

(/) :: T -> T -> T Source #

recip :: T -> T Source #

fromRational' :: Rational -> T Source #

(^-) :: T -> Integer -> T Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

sqrt :: T -> T Source #

root :: Integer -> T -> T Source #

(^/) :: T -> Rational -> T Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

pi :: T Source #

exp :: T -> T Source #

log :: T -> T Source #

logBase :: T -> T -> T Source #

(**) :: T -> T -> T Source #

sin :: T -> T Source #

cos :: T -> T Source #

tan :: T -> T Source #

asin :: T -> T Source #

acos :: T -> T Source #

atan :: T -> T Source #

sinh :: T -> T Source #

cosh :: T -> T Source #

tanh :: T -> T Source #

asinh :: T -> T Source #

acosh :: T -> T Source #

atanh :: T -> T Source #

C T Source # 
Instance details

Defined in Number.FixedPoint.Check

Methods

splitFraction :: C b => T -> (b, T) Source #

fraction :: T -> T Source #

ceiling :: C b => T -> b Source #

floor :: C b => T -> b Source #

truncate :: C b => T -> b Source #

round :: C b => T -> b Source #

Conversion

other number types

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

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

fromFixedPoint :: Integer -> T -> T Source #

denominator conversion

Lift core function

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

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

Show