Modulenumeric-prelude-0.4.4Haskell98

Number.DimensionTerm

See Algebra.DimensionTerm.

Contents

Number type
Example constructors

Synopsis

newtype T
value fromNumber
value toNumber
value fromNumberWithDimension
value toNumberWithDimension
value &*&
value &/&
value mulToScalar
value divToScalar
value cancelToScalar
value recip
value unrecip
value sqr
value sqrt
value abs
value absSignum
value scale
value *&
value rewriteDimension
type Scalar
type Length
type Time
type Mass
type Charge
type Angle
type Temperature
type Information
type Frequency
type Voltage
value scalar
value length
value time
value mass
value charge
value frequency
value angle
value temperature
value information
value voltage

Packagenumeric-prelude-0.4.4
Exports39
LanguageHaskell98
LicenceBSD-3-Clause
SourceDimensionTerm.hs

Number type

newtypenewtype T u a

Constructors

Cons a

Instances10Eq, Ord, Show, NFData, Random, C, …

(C u, C a b) => C a (T u b)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
(IsScalar u, C a b) => C a (T u b)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
Eq a => Eq (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
Ord a => Ord (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
(C u, Show a) => Show (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
NFData a => NFData (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
(C u, Random a) => Random (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
(IsScalar u, C a) => C (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
(C u, C a) => C (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm
(IsScalar u, C a) => C (T u a)Defined in numeric-prelude-0.4.4 · Number.DimensionTerm

valuefromNumber :: a -> Scalar a

valuetoNumber :: Scalar a -> a

valuefromNumberWithDimension :: C u => u -> a -> T u a

valuetoNumberWithDimension :: C u => u -> T u a -> a

value(&*&) :: (C u, C v, C a) => T u a -> T v a -> T (Mul u v) a

value(&/&) :: (C u, C v, C a) => T u a -> T v a -> T (Mul u (Recip v)) a

valuemulToScalar :: (C u, C a) => T u a -> T (Recip u) a -> a

valuedivToScalar :: (C u, C a) => T u a -> T u a -> a

valuecancelToScalar :: C u => T (Mul u (Recip u)) a -> a

valuerecip :: (C u, C a) => T u a -> T (Recip u) a

valueunrecip :: (C u, C a) => T (Recip u) a -> T u a

valuesqr :: (C u, C a) => T u a -> T (Sqr u) a

valuesqrt :: (C u, C a) => T (Sqr u) a -> T u a

valueabs :: (C u, C a) => T u a -> T u a

valueabsSignum :: (C u, C a) => T u a -> (T u a, a)

valuescale :: (C u, C a) => a -> T u a -> T u a

value(*&) :: (C u, C a) => a -> T u a -> T u a

valuerewriteDimension :: (C u, C v) => (u -> v) -> T u a -> T v a

Example constructors

typetype Scalar a = T Scalar a

typetype Length a = T Length a

typetype Time a = T Time a

typetype Mass a = T Mass a

typetype Charge a = T Charge a

typetype Angle a = T Angle a

typetype Temperature a = T Temperature a

typetype Information a = T Information a

typetype Frequency a = T Frequency a

typetype Voltage a = T Voltage a

valuescalar :: a -> Scalar a

valuelength :: a -> Length a

valuetime :: a -> Time a

valuemass :: a -> Mass a

valuecharge :: a -> Charge a

valuefrequency :: a -> Frequency a

valueangle :: a -> Angle a

valuetemperature :: a -> Temperature a

valueinformation :: a -> Information a

valuevoltage :: a -> Voltage a