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

Portabilityportable
Stabilityprovisional
Maintainer[email protected]
Safe HaskellSafe-Infered

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) 
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 vSource

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

fromScalarSingle :: 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, accelerationOfEarthGravity, horsePower, calorien, electronVolt, speedOfLight, mach, parsec, astronomicUnit, yard, foot, inch, baud, byte, bit, farad, ohm, volt, ampere, coulomb, kelvin, watt, joule, bar, pascal, newton, tonne, gramm, liter, meter, year, day, hour, minute, second :: (C a, C v) => T a vSource

legacyInstance :: aSource