Safe Haskell	None
Language	Haskell98

Number.DimensionTerm

Contents

Number type
Example constructors

Description

See Algebra.DimensionTerm.

Synopsis

newtype T u a = Cons 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
(&/&) :: (C u, C v, C a) => T u a -> T v a -> T (Mul u (Recip v)) a
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
rewriteDimension :: (C u, C v) => (u -> v) -> T u a -> T v a
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

Number type

newtype T u a Source #

Constructors

Cons a

Instances

Instances details

(C u, C a b) => C a (T u b) Source #
Instance details Defined in Number.DimensionTerm Methods (*>) :: a -> T u b -> T u b Source #
(IsScalar u, C a b) => C a (T u b) Source #
Instance details Defined in Number.DimensionTerm Methods toScalar :: T u b -> a Source # toMaybeScalar :: T u b -> Maybe a Source # fromScalar :: a -> T u b Source #
Eq a => Eq (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods (==) :: T u a -> T u a -> Bool # (/=) :: T u a -> T u a -> Bool #
Ord a => Ord (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods compare :: T u a -> T u a -> Ordering # (<) :: T u a -> T u a -> Bool # (<=) :: T u a -> T u a -> Bool # (>) :: T u a -> T u a -> Bool # (>=) :: T u a -> T u a -> Bool # max :: T u a -> T u a -> T u a # min :: T u a -> T u a -> T u a #
(C u, Show a) => Show (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods showsPrec :: Int -> T u a -> ShowS # show :: T u a -> String # showList :: [T u a] -> ShowS #
NFData a => NFData (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods rnf :: T u a -> () #
(C u, Random a) => Random (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods randomR :: RandomGen g => (T u a, T u a) -> g -> (T u a, g) # random :: RandomGen g => g -> (T u a, g) # randomRs :: RandomGen g => (T u a, T u a) -> g -> [T u a] # randoms :: RandomGen g => g -> [T u a] #
(C u, C a) => C (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods zero :: T u a Source # (+) :: T u a -> T u a -> T u a Source # (-) :: T u a -> T u a -> T u a Source # negate :: T u a -> T u a Source #
(IsScalar u, C a) => C (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods (*) :: T u a -> T u a -> T u a Source # one :: T u a Source # fromInteger :: Integer -> T u a Source # (^) :: T u a -> Integer -> T u a Source #
(IsScalar u, C a) => C (T u a) Source #
Instance details Defined in Number.DimensionTerm Methods (/) :: T u a -> T u a -> T u a Source # recip :: T u a -> T u a Source # fromRational' :: Rational -> T u a Source # (^-) :: T u a -> Integer -> T u a Source #