Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulenumeric-prelude-0.4.4Haskell98

Number.SI

Numerical values equipped with SI units. This is considered as the user front-end.

2 types
44 values

Packagenumeric-prelude-0.4.4
Exports46
LanguageHaskell98
LicenceBSD-3-Clause
SourceSI.hs

newtypenewtype T a v

Constructors

Cons (PValue v)

Instances18Functor, Eq, Fractional, Num, Ord, Read, …

C a v => C a (T b v)Defined in numeric-prelude-0.4.4 · Number.SI
C a v => C a (T b v)Defined in numeric-prelude-0.4.4 · Number.SI
(C a, Ord a, C a v, Show v, C a v) => C a (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
Functor (T a)Defined in numeric-prelude-0.4.4 · Number.SI
C (T a)Defined in numeric-prelude-0.4.4 · Number.SI
Eq v => Eq (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
Fractional v => Fractional (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
Num v => Num (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
Ord v => Ord (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
(Read v, Ord a, C a, C a v) => Read (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
(Show v, Ord a, C a, C a v) => Show (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.SI
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.SI

typetype PValue v = T Dimension v

valuelift :: (PValue v0 -> PValue v1) -> T a v0 -> T a v1

valuelift2 :: (PValue v0 -> PValue v1 -> PValue v2) -> T a v0 -> T a v1 -> T a v2

valueliftGen :: (PValue v -> x) -> T a v -> x

valuelift2Gen :: (PValue v0 -> PValue v1 -> x) -> T a v0 -> T a v1 -> x

valuescale :: C v => v -> T a v -> T a v

valuefromScalarSingle :: v -> T a v

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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