numeric-prelude-0.1.1: An experimental alternative hierarchy of numeric type classes Source code Contents Index

Number.SI Portability portable Stability provisional Maintainer numericprelude@henning-thielemann.de

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 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) C (T a) Eq v => Eq (T a v) (Ord a, C a, C a v, Num v, C v) => Fractional (T a v) (Ord a, C a, C a v, Num v, C 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 Source

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

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

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

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

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

fromScalarSingle :: v -> T a v Source

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

legacyInstance :: a Source

Produced by Haddock version 2.4.2