|
Number.Physical | Portability | generic instances | Stability | provisional | Maintainer | numericprelude@henning-thielemann.de |
|
|
|
Description |
Numeric values combined with abstract Physical Units
|
|
Synopsis |
|
|
|
Documentation |
|
|
A Physics.Quantity.Value.T combines a numeric value with a physical unit.
| Constructors | | Instances | (Ord i, C a v) => C a (T i v) | (Ord i, C a v) => C a (T i v) | C a v => C a (T i v) | Monad (T i) | Functor (T i) | Ord i => C (T i) | (Eq i, Eq a) => Eq (T i a) | (Ord i, Ord a) => Ord (T i a) | (Ord i, Enum i, Show a) => Show (T i a) | (Ord i, C a) => C (T i a) | (Ord i, C a) => C (T i a) | C v => C (T a v) | (Ord i, C a) => C (T i a) | (Ord i, C a) => C (T i a) | (Ord i, C a) => C (T i a) | (Ord i, C a) => C (T i a) |
|
|
|
|
Construct a physical value from a numeric value and
the full vector representation of a unit.
|
|
fromScalarSingle :: a -> T i a | Source |
|
|
|
Test for the neutral Unit.T. Also a zero has a unit!
|
|
lift :: (a -> b) -> T i a -> T i b | Source |
|
apply a function to the numeric value while preserving the unit
|
|
|
|
|
|
|
|
|
|
|
Add two values if the units match, otherwise return Nothing
|
|
|
Subtract two values if the units match, otherwise return Nothing
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |