numeric-prelude-0.4.1: An experimental alternative hierarchy of numeric type classes

Safe HaskellNone

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

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) 

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

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

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

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

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

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

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 vSource

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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