Numeric.Units.Dimensional.Dimensions.TermLevel

This module defines physical dimensions expressed in terms of the SI base dimensions, including arithmetic.

Type

data Dimension'

A physical dimension, encoded as 7 integers, representing a factorization of the dimension into the 7 SI base dimensions. By convention they are stored in the same order as in the Dimension data kind.

Constructors

Dim' !Int !Int !Int !Int !Int !Int !Int

Instances

Eq Dimension'

Methods

(==) :: Dimension' -> Dimension' -> Bool

(/=) :: Dimension' -> Dimension' -> Bool

Ord Dimension'

Methods

compare :: Dimension' -> Dimension' -> Ordering

(<) :: Dimension' -> Dimension' -> Bool

(<=) :: Dimension' -> Dimension' -> Bool

(>) :: Dimension' -> Dimension' -> Bool

(>=) :: Dimension' -> Dimension' -> Bool

max :: Dimension' -> Dimension' -> Dimension'

min :: Dimension' -> Dimension' -> Dimension'

Show Dimension'

Methods

showsPrec :: Int -> Dimension' -> ShowS

show :: Dimension' -> String

showList :: [Dimension'] -> ShowS

Monoid Dimension'

The monoid of dimensions under multiplication.

Methods

mempty :: Dimension'

mappend :: Dimension' -> Dimension' -> Dimension'

mconcat :: [Dimension'] -> Dimension'

HasDimension Dimension'

Methods

dimension :: Dimension' -> Dimension'

Access to Dimension of Dimensional Values

class HasDimension a where

Dimensional values inhabit this class, which allows access to a term-level representation of their dimension.

Minimal complete definition

dimension

Methods

dimension :: a -> Dimension'

Obtains a term-level representation of a value's dimension.

Instances

HasDimension Dimension'

Methods

dimension :: Dimension' -> Dimension'

HasDimension AnyUnit

Methods

dimension :: AnyUnit -> Dimension'

HasDimension (AnyQuantity v)

Methods

dimension :: AnyQuantity v -> Dimension'

(KnownTypeInt l, KnownTypeInt m, KnownTypeInt t, KnownTypeInt i, KnownTypeInt th, KnownTypeInt n, KnownTypeInt j) => HasDimension (Proxy Dimension (Dim l m t i th n j))

Methods

dimension :: Proxy Dimension (Dim l m t i th n j) -> Dimension'

KnownDimension d => HasDimension (Dimensional v d a)

Methods

dimension :: Dimensional v d a -> Dimension'

Dimension Arithmetic

(*) :: Dimension' -> Dimension' -> Dimension' infixl 7

Forms the product of two dimensions.

(/) :: Dimension' -> Dimension' -> Dimension' infixl 7

Forms the quotient of two dimensions.

(^) :: Dimension' -> Int -> Dimension' infixr 8

Raises a dimension to an integer power.

recip :: Dimension' -> Dimension'

Forms the reciprocal of a dimension.

Synonyms for Base Dimensions

dOne :: Dimension'

The dimension of dimensionless values.

dLength :: Dimension'

dMass :: Dimension'

dTime :: Dimension'

dElectricCurrent :: Dimension'

dThermodynamicTemperature :: Dimension'

dAmountOfSubstance :: Dimension'

dLuminousIntensity :: Dimension'

Deconstruction

asList :: Dimension' -> [Int]

Converts a dimension to a list of 7 integers, representing the exponent associated with each of the 7 SI base dimensions in the standard order.