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 #

Constructors

Cons (PValue v)

Instances

C a v => C a (T b v) #
Instance details Defined in Number.SI Methods (*>) :: a -> T b v -> T b v #
C a v => C a (T b v) #
Instance details Defined in Number.SI
(C a, Ord a, C a v, Show v, C a v) => C a (T a v) #
Instance details Defined in Number.SI Methods toScalar :: T a v -> a # toMaybeScalar :: T a v -> Maybe a # fromScalar :: a -> T a v #
Functor (T a) #
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) #
Instance details Defined in Number.SI Methods zero :: C a0 => T a a0 # (<+>) :: C a0 => T a a0 -> T a a0 -> T a a0 # (*>) :: C a0 => a0 -> T a a0 -> T a a0 #
Eq v => Eq (T a v) #
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) #
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) #
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) #
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) #
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) #
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) #
Instance details Defined in Number.SI Methods zero :: 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 #
C v => C (T a v) #
Instance details Defined in Number.SI Methods isZero :: T a v -> Bool #
C v => C (T a v) #
Instance details Defined in Number.SI Methods (*) :: T a v -> T a v -> T a v # one :: T a v # fromInteger :: Integer -> T a v # (^) :: T a v -> Integer -> T a v #
C v => C (T a v) #
Instance details Defined in Number.SI Methods abs :: T a v -> T a v # signum :: T a v -> T a v #
C v => C (T a v) #
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 # (^-) :: T a v -> Integer -> T a v #
C v => C (T a v) #
Instance details Defined in Number.SI Methods sqrt :: T a v -> T a v # root :: Integer -> T a v -> T a v # (^/) :: T a v -> Rational -> T a v #
C v => C (T a v) #
Instance details Defined in Number.SI Methods pi :: T a v # exp :: T a v -> T a v # log :: T a v -> T a v # logBase :: T a v -> T a v -> T a v # (**) :: T a v -> T a v -> T a v # sin :: T a v -> T a v # cos :: T a v -> T a v # tan :: T a v -> T a v # asin :: T a v -> T a v # acos :: T a v -> T a v # atan :: T a v -> T a v # sinh :: T a v -> T a v # cosh :: T a v -> T a v # tanh :: T a v -> T a v # asinh :: T a v -> T a v # acosh :: T a v -> T a v # atanh :: T a v -> T a v #

type PValue v = T Dimension v #

lift :: (PValue v0 -> PValue v1) -> T a v0 -> T a v1 #

lift2 :: (PValue v0 -> PValue v1 -> PValue v2) -> T a v0 -> T a v1 -> T a v2 #

liftGen :: (PValue v -> x) -> T a v -> x #

lift2Gen :: (PValue v0 -> PValue v1 -> x) -> T a v0 -> T a v1 -> x #

scale :: C v => v -> T a v -> T a v #

fromScalarSingle :: v -> T a v #

showNat :: (Show v, C a, Ord a, C a v) => T Dimension a -> T a v -> String #

readsNat :: (Read v, C a v) => T Dimension a -> Int -> ReadS (T a v) #

quantity :: (C a, C v) => T Dimension -> v -> T a v #

hertz :: (C a, C v) => T a v #

second :: (C a, C v) => T a v #

minute :: (C a, C v) => T a v #

hour :: (C a, C v) => T a v #

day :: (C a, C v) => T a v #

year :: (C a, C v) => T a v #

meter :: (C a, C v) => T a v #

liter :: (C a, C v) => T a v #

gramm :: (C a, C v) => T a v #

tonne :: (C a, C v) => T a v #

newton :: (C a, C v) => T a v #

pascal :: (C a, C v) => T a v #

bar :: (C a, C v) => T a v #

joule :: (C a, C v) => T a v #

watt :: (C a, C v) => T a v #

kelvin :: (C a, C v) => T a v #

coulomb :: (C a, C v) => T a v #

ampere :: (C a, C v) => T a v #

volt :: (C a, C v) => T a v #

ohm :: (C a, C v) => T a v #

farad :: (C a, C v) => T a v #

bit :: (C a, C v) => T a v #

byte :: (C a, C v) => T a v #

baud :: (C a, C v) => T a v #

inch :: (C a, C v) => T a v #

foot :: (C a, C v) => T a v #

yard :: (C a, C v) => T a v #

astronomicUnit :: (C a, C v) => T a v #

parsec :: (C a, C v) => T a v #

mach :: (C a, C v) => T a v #

speedOfLight :: (C a, C v) => T a v #

electronVolt :: (C a, C v) => T a v #

calorien :: (C a, C v) => T a v #

horsePower :: (C a, C v) => T a v #

accelerationOfEarthGravity :: (C a, C v) => T a v #