Number.OccasionallyScalarExpression

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

Documentation

data T a v

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)

Defined in Number.OccasionallyScalarExpression

Methods

toScalar :: T a v -> a

toMaybeScalar :: T a v -> Maybe a

fromScalar :: a -> T a v

Eq v => Eq (T a v)

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)

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)

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)

Defined in Number.OccasionallyScalarExpression

Methods

zero :: T a v

(+) :: T a v -> T a v -> T a v

(-) :: T a v -> T a v -> T a v

negate :: T a v -> T a v

C v => C (T a v)

Defined in Number.OccasionallyScalarExpression

Methods

isZero :: T a v -> Bool

C v => C (T a v)

Defined in Number.OccasionallyScalarExpression

Methods

(*) :: T a v -> T a v -> T a v

one :: T a v

fromInteger :: Integer -> T a v

(^) :: T a v -> Integer -> T a v

C v => C (T a v)

Defined in Number.OccasionallyScalarExpression

Methods

abs :: T a v -> T a v

signum :: T a v -> T a v

C v => C (T a v)

Defined in Number.OccasionallyScalarExpression

Methods

(/) :: T a v -> T a v -> T a v

recip :: T a v -> T a v

fromRational' :: Rational -> T a v

(^-) :: T a v -> Integer -> T a v

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

Defined in Number.OccasionallyScalarExpression

Methods

sqrt :: T a v -> T a v

root :: Integer -> T a v -> T a v

(^/) :: T a v -> Rational -> T a v

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

Defined in Number.OccasionallyScalarExpression

Methods

pi :: T a v

exp :: T a v -> T a v

log :: T a v -> T a v

logBase :: T a v -> T a v -> T a v

(**) :: T a v -> T a v -> T a v

sin :: T a v -> T a v

cos :: T a v -> T a v

tan :: T a v -> T a v

asin :: T a v -> T a v

acos :: T a v -> T a v

atan :: T a v -> T a v

sinh :: T a v -> T a v

cosh :: T a v -> T a v

tanh :: T a v -> T a v

asinh :: T a v -> T a v

acosh :: T a v -> T a v

atanh :: T a v -> T a v

data Term a v

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

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