Number.SI

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)

Defined in Number.SI

Methods

(*>) :: a -> T b v -> T b v

C a v => C a (T b v)

Defined in Number.SI

(C a, Ord a, C a v, Show v, C a v) => C a (T a v)

Defined in Number.SI

Methods

toScalar :: T a v -> a

toMaybeScalar :: T a v -> Maybe a

fromScalar :: a -> T a v

Functor (T a)

Defined in Number.SI

Methods

fmap :: (a0 -> b) -> T a a0 -> T a b

(<$) :: a0 -> T a b -> T a a0

C (T a)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Number.SI

Methods

isZero :: T a v -> Bool

C v => C (T a v)

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)

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)

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)

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)

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