Number.DimensionTerm

See Algebra.DimensionTerm.

Number type

newtype T u a

Constructors

Cons a

Instances

(C u, C a b) => C a (T u b)

(IsScalar u, C a b) => C a (T u b)

Eq a => Eq (T u a)

Ord a => Ord (T u a)

(C u, Show a) => Show (T u a)

NFData a => NFData (T u a)

(C u, Random a) => Random (T u a)

(C u, C a) => C (T u a)

(IsScalar u, C a) => C (T u a)

(IsScalar u, C a) => C (T u a)

fromNumber :: a -> Scalar a

toNumber :: Scalar a -> a

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Example constructors

type Scalar a = T Scalar a

type Length a = T Length a

type Time a = T Time a

type Mass a = T Mass a

type Charge a = T Charge a

type Angle a = T Angle a

type Temperature a = T Temperature a

type Information a = T Information a

type Frequency a = T Frequency a

type Voltage a = T Voltage a

scalar :: a -> Scalar a

length :: a -> Length a

time :: a -> Time a

mass :: a -> Mass a

charge :: a -> Charge a

frequency :: a -> Frequency a

angle :: a -> Angle a

temperature :: a -> Temperature a

information :: a -> Information a

voltage :: a -> Voltage a