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

Safe HaskellNone
LanguageHaskell98

Number.FixedPoint.Check

Contents

Synopsis

Types

data T #

Constructors

Cons 
Instances
Eq T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

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

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

Fractional T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

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

recip :: T -> T #

fromRational :: Rational -> T #

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

Defined in Number.FixedPoint.Check

Methods

showsPrec :: Int -> T -> ShowS #

show :: T -> String #

showList :: [T] -> ShowS #

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

zero :: T #

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

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

negate :: T -> T #

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

isZero :: T -> Bool #

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

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

one :: T #

fromInteger :: Integer -> T #

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

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

abs :: T -> T #

signum :: T -> T #

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

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

recip :: T -> T #

fromRational' :: Rational -> T #

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

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

sqrt :: T -> T #

root :: Integer -> T -> T #

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

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

pi :: T #

exp :: T -> T #

log :: T -> T #

logBase :: T -> T -> T #

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

sin :: T -> T #

cos :: T -> T #

tan :: T -> T #

asin :: T -> T #

acos :: T -> T #

atan :: T -> T #

sinh :: T -> T #

cosh :: T -> T #

tanh :: T -> T #

asinh :: T -> T #

acosh :: T -> T #

atanh :: T -> T #

C T # 
Instance details

Defined in Number.FixedPoint.Check

Methods

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

fraction :: T -> T #

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

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

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

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

Conversion

other number types

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

fromFloatBasis :: C a => Integer -> Int -> a -> 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 #

Show