Safe Haskell	None
Language	Haskell98

Number.SI

Description

Numerical values equipped with SI units. This is considered as the user front-end.

Documentation

newtype T a v Source #

Constructors

Cons (PValue v)

Instances

Instances details

C a v => C a (T b v) Source #
Instance details Defined in Number.SI Methods (*>) :: a -> T b v -> T b v Source #
C a v => C a (T b v) Source #
Instance details Defined in Number.SI
(C a, Ord a, C a v, Show v, C a v) => C a (T a v) Source #
Instance details Defined in Number.SI Methods toScalar :: T a v -> a Source # toMaybeScalar :: T a v -> Maybe a Source # fromScalar :: a -> T a v Source #
Functor (T a) Source #
Instance details Defined in Number.SI Methods fmap :: (a0 -> b) -> T a a0 -> T a b # (<$) :: a0 -> T a b -> T a a0 #
C (T a) Source #
Instance details Defined in Number.SI Methods zero :: C a0 => T a a0 Source # (<+>) :: C a0 => T a a0 -> T a a0 -> T a a0 Source # (*>) :: C a0 => a0 -> T a a0 -> T a a0 Source #
Eq v => Eq (T a v) Source #
Instance details Defined in Number.SI Methods (==) :: T a v -> T a v -> Bool # (/=) :: T a v -> T a v -> Bool #
Fractional v => Fractional (T a v) Source #
Instance details Defined in Number.SI Methods (/) :: T a v -> T a v -> T a v # recip :: T a v -> T a v # fromRational :: Rational -> T a v #
Num v => Num (T a v) Source #
Instance details Defined in Number.SI Methods (+) :: T a v -> T a v -> T a v # (-) :: T a v -> T a v -> T a v # (*) :: T a v -> T a v -> T a v # negate :: T a v -> T a v # abs :: T a v -> T a v # signum :: T a v -> T a v # fromInteger :: Integer -> T a v #
Ord v => Ord (T a v) Source #
Instance details Defined in Number.SI Methods compare :: T a v -> T a v -> Ordering # (<) :: T a v -> T a v -> Bool # (<=) :: T a v -> T a v -> Bool # (>) :: T a v -> T a v -> Bool # (>=) :: T a v -> T a v -> Bool # max :: T a v -> T a v -> T a v # min :: T a v -> T a v -> T a v #
(Read v, Ord a, C a, C a v) => Read (T a v) Source #
Instance details Defined in Number.SI Methods readsPrec :: Int -> ReadS (T a v) # readList :: ReadS [T a v] # readPrec :: ReadPrec (T a v) # readListPrec :: ReadPrec [T a v] #
(Show v, Ord a, C a, C a v) => Show (T a v) Source #
Instance details Defined in Number.SI Methods showsPrec :: Int -> T a v -> ShowS # show :: T a v -> String # showList :: [T a v] -> ShowS #
C v => C (T a v) Source #
Instance details Defined in Number.SI Methods zero :: T a v Source # (+) :: T a v -> T a v -> T a v Source # (-) :: T a v -> T a v -> T a v Source # negate :: T a v -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.SI Methods isZero :: T a v -> Bool Source #
C v => C (T a v) Source #
Instance details Defined in Number.SI Methods (*) :: T a v -> T a v -> T a v Source # one :: T a v Source # fromInteger :: Integer -> T a v Source # (^) :: T a v -> Integer -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.SI Methods abs :: T a v -> T a v Source # signum :: T a v -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.SI Methods (/) :: T a v -> T a v -> T a v Source # recip :: T a v -> T a v Source # fromRational' :: Rational -> T a v Source # (^-) :: T a v -> Integer -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.SI Methods sqrt :: T a v -> T a v Source # root :: Integer -> T a v -> T a v Source # (^/) :: T a v -> Rational -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.SI Methods pi :: T a v Source # exp :: T a v -> T a v Source # log :: T a v -> T a v Source # logBase :: T a v -> T a v -> T a v Source # (**) :: T a v -> T a v -> T a v Source # sin :: T a v -> T a v Source # cos :: T a v -> T a v Source # tan :: T a v -> T a v Source # asin :: T a v -> T a v Source # acos :: T a v -> T a v Source # atan :: T a v -> T a v Source # sinh :: T a v -> T a v Source # cosh :: T a v -> T a v Source # tanh :: T a v -> T a v Source # asinh :: T a v -> T a v Source # acosh :: T a v -> T a v Source # atanh :: T a v -> T a v Source #