HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulenumeric-prelude-0.4.4Haskell98

Number.Physical

Numeric values combined with abstract Physical Units

Synopsis
datadata T i a
Source#

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

Constructors

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
Source#

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

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

apply a function to the numeric value while preserving the unit

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

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)
Source#

Subtract two values if the units match, otherwise return Nothing