Safe Haskell	None
Language	Haskell98

Number.OccasionallyScalarExpression

Description

Physical expressions track the operations made on physical values so we are able to give detailed information on how to resolve unit violations.

Synopsis

data T a v = Cons (Term a v) v
data Term a v
- = Const
- | Add (T a v) (T a v)
- | Mul (T a v) (T a v)
- | Div (T a v) (T a v)
fromValue :: v -> T a v
makeLine :: Int -> String -> String
showUnitError :: Show v => Bool -> Int -> v -> T a v -> String
lift :: (v -> v) -> T a v -> T a v
fromScalar :: (Show v, C a v) => a -> T a v
scalarMap :: (Show v, C a v) => (a -> a) -> T a v -> T a v
scalarMap2 :: (Show v, C a v) => (a -> a -> a) -> T a v -> T a v -> T a v

Documentation

data T a v Source #

A value of type T stores information on how to resolve unit violations. The main application of the module are certainly Number.Physical type instances but in principle it can also be applied to other occasionally scalar types.

Constructors

Cons (Term a v) v

Instances

(C a v, Show v) => C a (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods toScalar :: T a v -> a Source # toMaybeScalar :: T a v -> Maybe a Source # fromScalar :: a -> T a v Source #
Eq v => Eq (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods (==) :: T a v -> T a v -> Bool # (/=) :: T a v -> T a v -> Bool #
Ord v => Ord (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods compare :: T a v -> T a v -> Ordering # (<) :: T a v -> T a v -> Bool # (<=) :: T a v -> T a v -> Bool # (>) :: T a v -> T a v -> Bool # (>=) :: T a v -> T a v -> Bool # max :: T a v -> T a v -> T a v # min :: T a v -> T a v -> T a v #
Show v => Show (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods showsPrec :: Int -> T a v -> ShowS # show :: T a v -> String # showList :: [T a v] -> ShowS #
C v => C (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods zero :: T a v Source # (+) :: T a v -> T a v -> T a v Source # (-) :: T a v -> T a v -> T a v Source # negate :: T a v -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods isZero :: T a v -> Bool Source #
C v => C (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods (*) :: T a v -> T a v -> T a v Source # one :: T a v Source # fromInteger :: Integer -> T a v Source # (^) :: T a v -> Integer -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods abs :: T a v -> T a v Source # signum :: T a v -> T a v Source #
C v => C (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods (/) :: T a v -> T a v -> T a v Source # recip :: T a v -> T a v Source # fromRational' :: Rational -> T a v Source # (^-) :: T a v -> Integer -> T a v Source #
(C a, C v, Show v, C a v) => C (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods sqrt :: T a v -> T a v Source # root :: Integer -> T a v -> T a v Source # (^/) :: T a v -> Rational -> T a v Source #
(C a, C v, Show v, C a v) => C (T a v) Source #
Instance details Defined in Number.OccasionallyScalarExpression Methods pi :: T a v Source # exp :: T a v -> T a v Source # log :: T a v -> T a v Source # logBase :: T a v -> T a v -> T a v Source # (**) :: T a v -> T a v -> T a v Source # sin :: T a v -> T a v Source # cos :: T a v -> T a v Source # tan :: T a v -> T a v Source # asin :: T a v -> T a v Source # acos :: T a v -> T a v Source # atan :: T a v -> T a v Source # sinh :: T a v -> T a v Source # cosh :: T a v -> T a v Source # tanh :: T a v -> T a v Source # asinh :: T a v -> T a v Source # acosh :: T a v -> T a v Source # atanh :: T a v -> T a v Source #

data Term a v Source #

Constructors

Const
Add (T a v) (T a v)
Mul (T a v) (T a v)
Div (T a v) (T a v)

fromValue :: v -> T a v Source #

makeLine :: Int -> String -> String Source #

showUnitError :: Show v => Bool -> Int -> v -> T a v -> String Source #

lift :: (v -> v) -> T a v -> T a v Source #

fromScalar :: (Show v, C a v) => a -> T a v Source #

scalarMap :: (Show v, C a v) => (a -> a) -> T a v -> T a v Source #

scalarMap2 :: (Show v, C a v) => (a -> a -> a) -> T a v -> T a v -> T a v Source #