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)

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

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

Functor (T a)

C (T a)

Eq v => Eq (T a v)

Fractional v => Fractional (T a v)

Num v => Num (T a v)

Ord v => Ord (T a v)

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

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

C v => C (T a v)

C v => C (T a v)

C v => C (T a v)

C v => C (T a v)

C v => C (T a v)

C v => C (T a v)

C v => C (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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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