Modulenumeric-prelude-0.4.4Haskell98

Number.DimensionTerm

See Algebra.DimensionTerm.

11 types
28 values

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

Number type

19 declarations

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

20 declarations

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