Modulenumeric-prelude-0.4.4Haskell98

Number.Physical

Numeric values combined with abstract Physical Units

datadata T i a

A Physics.Quantity.Value.T combines a numeric value with a physical unit.

Instances17Monad, Functor, Applicative, Eq, Ord, Show, …

(Ord i, C a v) => C a (T i v)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, C a v) => C a (T i v)Defined in numeric-prelude-0.4.4 · Number.Physical
C a v => C a (T i v)Defined in numeric-prelude-0.4.4 · Number.Physical
Monad (T i)Defined in numeric-prelude-0.4.4 · Number.Physical
Functor (T i)Defined in numeric-prelude-0.4.4 · Number.Physical
Applicative (T a)Defined in numeric-prelude-0.4.4 · Number.Physical
Ord i => C (T i)Defined in numeric-prelude-0.4.4 · Number.Physical
(Eq i, Eq a) => Eq (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, Ord a) => Ord (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, Enum i, Show a) => Show (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, C a) => C (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, C a) => C (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, C a) => C (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, C a) => C (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, C a) => C (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical
C v => C (T a v)Defined in numeric-prelude-0.4.4 · Number.Physical
(Ord i, C a) => C (T i a)Defined in numeric-prelude-0.4.4 · Number.Physical

valuequantity :: (Ord i, Enum i, C a) => [Int] -> a -> T i a

Construct a physical value from a numeric value and the full vector representation of a unit.

valuefromScalarSingle :: a -> T i a

valueisScalar :: T i a -> Bool

Test for the neutral Unit.T. Also a zero has a unit!

valuelift :: (a -> b) -> T i a -> T i b

apply a function to the numeric value while preserving the unit

valuelift2 :: Eq i => String -> (a -> b -> c) -> T i a -> T i b -> T i c

valuelift2Maybe :: Eq i => (a -> b -> c) -> T i a -> T i b -> Maybe (T i c)

valuelift2Gen :: Eq i => String -> (a -> b -> c) -> T i a -> T i b -> c

valueerrorUnitMismatch :: String -> a

valueaddMaybe :: (Eq i, C a) => T i a -> T i a -> Maybe (T i a)

Add two values if the units match, otherwise return Nothing

valuesubMaybe :: (Eq i, C a) => T i a -> T i a -> Maybe (T i a)

Subtract two values if the units match, otherwise return Nothing

valuescale :: (Ord i, C a) => a -> T i a -> T i a

valueratPow :: C a => T Int -> T i a -> T i a

valueratPowMaybe :: C a => T Int -> T i a -> Maybe (T i a)

valuefromRatio :: (C b, C a) => T a -> b