Numeric.Units.Dimensional.Dynamic

Defines types for manipulation of units and quantities without phantom types for their dimensions.

Dynamic Quantities

data AnyQuantity a

A Quantity whose Dimension is only known dynamically.

Instances

Promotable AnyQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Methods

promotableIn :: AnyQuantity a -> AnyQuantity a

promotableOut :: AnyQuantity a -> DynQuantity a

Demotable AnyQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Methods

demotableOut :: AnyQuantity a -> AnyQuantity a

Eq a => Eq (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

(==) :: AnyQuantity a -> AnyQuantity a -> Bool

(/=) :: AnyQuantity a -> AnyQuantity a -> Bool

Data a => Data (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AnyQuantity a -> c (AnyQuantity a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (AnyQuantity a)

toConstr :: AnyQuantity a -> Constr

dataTypeOf :: AnyQuantity a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (AnyQuantity a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (AnyQuantity a))

gmapT :: (forall b. Data b => b -> b) -> AnyQuantity a -> AnyQuantity a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AnyQuantity a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AnyQuantity a -> r

gmapQ :: (forall d. Data d => d -> u) -> AnyQuantity a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> AnyQuantity a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AnyQuantity a -> m (AnyQuantity a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyQuantity a -> m (AnyQuantity a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AnyQuantity a -> m (AnyQuantity a)

Show a => Show (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

showsPrec :: Int -> AnyQuantity a -> ShowS

show :: AnyQuantity a -> String

showList :: [AnyQuantity a] -> ShowS

Generic (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Associated Types

type Rep (AnyQuantity a) :: Type -> Type

Methods

from :: AnyQuantity a -> Rep (AnyQuantity a) x

to :: Rep (AnyQuantity a) x -> AnyQuantity a

Num a => Semigroup (AnyQuantity a)

AnyQuantitys form a Semigroup under multiplication, but not under addition because they may not be added together if their dimensions do not match.

Defined in Numeric.Units.Dimensional.Dynamic

Methods

(<>) :: AnyQuantity a -> AnyQuantity a -> AnyQuantity a

sconcat :: NonEmpty (AnyQuantity a) -> AnyQuantity a

stimes :: Integral b => b -> AnyQuantity a -> AnyQuantity a

Num a => Monoid (AnyQuantity a)

AnyQuantitys form a Monoid under multiplication, but not under addition because they may not be added together if their dimensions do not match.

Defined in Numeric.Units.Dimensional.Dynamic

Methods

mempty :: AnyQuantity a

mappend :: AnyQuantity a -> AnyQuantity a -> AnyQuantity a

mconcat :: [AnyQuantity a] -> AnyQuantity a

NFData a => NFData (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

rnf :: AnyQuantity a -> ()

HasDimension (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dimension :: AnyQuantity a -> Dimension'

HasDynamicDimension (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dynamicDimension :: AnyQuantity a -> DynamicDimension

Generic1 AnyQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Associated Types

type Rep1 AnyQuantity :: k -> Type

Methods

from1 :: AnyQuantity a -> Rep1 AnyQuantity a

to1 :: Rep1 AnyQuantity a -> AnyQuantity a

type Rep (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

type Rep (AnyQuantity a) = D1 (MetaData "AnyQuantity" "Numeric.Units.Dimensional.Dynamic" "dimensional-1.3-7Gh1mp5ZBGaGfkDr7lUYf2" False) (C1 (MetaCons "AnyQuantity" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Dimension') :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)))

type Rep1 AnyQuantity

Defined in Numeric.Units.Dimensional.Dynamic

type Rep1 AnyQuantity = D1 (MetaData "AnyQuantity" "Numeric.Units.Dimensional.Dynamic" "dimensional-1.3-7Gh1mp5ZBGaGfkDr7lUYf2" False) (C1 (MetaCons "AnyQuantity" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Dimension') :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) Par1))

data DynQuantity a

Possibly a Quantity whose Dimension is only known dynamically.

By modeling the absence of a value, this type differs from AnyQuantity in that it may not be a Quantity of any Dimension whatsoever, but in exchange it gains instances for the common numeric classes. It's therefore useful for manipulating, and not merely storing, quantities of unknown dimension.

This type also contains a polydimensionalZero, representing zero value of any dimension.

Note that the Eq instance for DynQuantity equates all representations of an invalid value, and also does not equate polydimensional zero with zero of any specific dimension.

Instances

Promotable DynQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Methods

promotableIn :: AnyQuantity a -> DynQuantity a

promotableOut :: DynQuantity a -> DynQuantity a

Eq a => Eq (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

(==) :: DynQuantity a -> DynQuantity a -> Bool

(/=) :: DynQuantity a -> DynQuantity a -> Bool

Floating a => Floating (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

pi :: DynQuantity a

exp :: DynQuantity a -> DynQuantity a

log :: DynQuantity a -> DynQuantity a

sqrt :: DynQuantity a -> DynQuantity a

(**) :: DynQuantity a -> DynQuantity a -> DynQuantity a

logBase :: DynQuantity a -> DynQuantity a -> DynQuantity a

sin :: DynQuantity a -> DynQuantity a

cos :: DynQuantity a -> DynQuantity a

tan :: DynQuantity a -> DynQuantity a

asin :: DynQuantity a -> DynQuantity a

acos :: DynQuantity a -> DynQuantity a

atan :: DynQuantity a -> DynQuantity a

sinh :: DynQuantity a -> DynQuantity a

cosh :: DynQuantity a -> DynQuantity a

tanh :: DynQuantity a -> DynQuantity a

asinh :: DynQuantity a -> DynQuantity a

acosh :: DynQuantity a -> DynQuantity a

atanh :: DynQuantity a -> DynQuantity a

log1p :: DynQuantity a -> DynQuantity a

expm1 :: DynQuantity a -> DynQuantity a

log1pexp :: DynQuantity a -> DynQuantity a

log1mexp :: DynQuantity a -> DynQuantity a

Fractional a => Fractional (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

(/) :: DynQuantity a -> DynQuantity a -> DynQuantity a

recip :: DynQuantity a -> DynQuantity a

fromRational :: Rational -> DynQuantity a

Data a => Data (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DynQuantity a -> c (DynQuantity a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DynQuantity a)

toConstr :: DynQuantity a -> Constr

dataTypeOf :: DynQuantity a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (DynQuantity a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DynQuantity a))

gmapT :: (forall b. Data b => b -> b) -> DynQuantity a -> DynQuantity a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DynQuantity a -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DynQuantity a -> r

gmapQ :: (forall d. Data d => d -> u) -> DynQuantity a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DynQuantity a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DynQuantity a -> m (DynQuantity a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DynQuantity a -> m (DynQuantity a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DynQuantity a -> m (DynQuantity a)

Num a => Num (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

(+) :: DynQuantity a -> DynQuantity a -> DynQuantity a

(-) :: DynQuantity a -> DynQuantity a -> DynQuantity a

(*) :: DynQuantity a -> DynQuantity a -> DynQuantity a

negate :: DynQuantity a -> DynQuantity a

abs :: DynQuantity a -> DynQuantity a

signum :: DynQuantity a -> DynQuantity a

fromInteger :: Integer -> DynQuantity a

Show a => Show (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

showsPrec :: Int -> DynQuantity a -> ShowS

show :: DynQuantity a -> String

showList :: [DynQuantity a] -> ShowS

Generic (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Associated Types

type Rep (DynQuantity a) :: Type -> Type

Methods

from :: DynQuantity a -> Rep (DynQuantity a) x

to :: Rep (DynQuantity a) x -> DynQuantity a

Num a => Semigroup (DynQuantity a)

DynQuantitys form a Semigroup under multiplication, but not under addition because they may not be added together if their dimensions do not match.

Defined in Numeric.Units.Dimensional.Dynamic

Methods

(<>) :: DynQuantity a -> DynQuantity a -> DynQuantity a

sconcat :: NonEmpty (DynQuantity a) -> DynQuantity a

stimes :: Integral b => b -> DynQuantity a -> DynQuantity a

Num a => Monoid (DynQuantity a)

DynQuantitys form a Monoid under multiplication, but not under addition because they may not be added together if their dimensions do not match.

Defined in Numeric.Units.Dimensional.Dynamic

Methods

mempty :: DynQuantity a

mappend :: DynQuantity a -> DynQuantity a -> DynQuantity a

mconcat :: [DynQuantity a] -> DynQuantity a

NFData a => NFData (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

rnf :: DynQuantity a -> ()

HasDynamicDimension (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dynamicDimension :: DynQuantity a -> DynamicDimension

Generic1 DynQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Associated Types

type Rep1 DynQuantity :: k -> Type

Methods

from1 :: DynQuantity a -> Rep1 DynQuantity a

to1 :: Rep1 DynQuantity a -> DynQuantity a

type Rep (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

type Rep (DynQuantity a) = D1 (MetaData "DynQuantity" "Numeric.Units.Dimensional.Dynamic" "dimensional-1.3-7Gh1mp5ZBGaGfkDr7lUYf2" False) (C1 (MetaCons "DynQuantity" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 DynamicDimension) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type Rep1 DynQuantity

Defined in Numeric.Units.Dimensional.Dynamic

type Rep1 DynQuantity = D1 (MetaData "DynQuantity" "Numeric.Units.Dimensional.Dynamic" "dimensional-1.3-7Gh1mp5ZBGaGfkDr7lUYf2" False) (C1 (MetaCons "DynQuantity" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 DynamicDimension) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) Par1))

class Demotable (q :: Type -> Type)

The class of types that can be used to model Quantitys that are certain to have a value with some dimension.

Minimal complete definition

demotableOut

Instances

Demotable AnyQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Methods

demotableOut :: AnyQuantity a -> AnyQuantity a

KnownDimension d => Demotable (Quantity d)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

demotableOut :: Quantity d a -> AnyQuantity a

class Promotable (q :: Type -> Type)

The class of types that can be used to model Quantitys whose Dimensions are only known dynamically.

Minimal complete definition

promotableIn, promotableOut

Instances

Promotable DynQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Methods

promotableIn :: AnyQuantity a -> DynQuantity a

promotableOut :: DynQuantity a -> DynQuantity a

Promotable AnyQuantity

Defined in Numeric.Units.Dimensional.Dynamic

Methods

promotableIn :: AnyQuantity a -> AnyQuantity a

promotableOut :: AnyQuantity a -> DynQuantity a

class HasDynamicDimension a where

Dimensional values, or those that are only possibly dimensional, inhabit this class, which allows access to a term-level representation of their dimension.

Minimal complete definition

Nothing

Methods

dynamicDimension :: a -> DynamicDimension

Gets the 'DynamicDimension of a dynamic dimensional value, which may be NoDimension if it does not represent a dimensional value of any Dimension.

A default implementation is available for types that are also in the HasDimension typeclass.

dynamicDimension :: HasDimension a => a -> DynamicDimension

Gets the 'DynamicDimension of a dynamic dimensional value, which may be NoDimension if it does not represent a dimensional value of any Dimension.

A default implementation is available for types that are also in the HasDimension typeclass.

Instances

HasDynamicDimension DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

dynamicDimension :: DynamicDimension -> DynamicDimension

HasDynamicDimension Dimension'

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

dynamicDimension :: Dimension' -> DynamicDimension

HasDynamicDimension AnyUnit

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dynamicDimension :: AnyUnit -> DynamicDimension

HasDynamicDimension (DynQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dynamicDimension :: DynQuantity a -> DynamicDimension

HasDynamicDimension (AnyQuantity a)

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dynamicDimension :: AnyQuantity a -> DynamicDimension

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

Defined in Numeric.Units.Dimensional.Dimensions.TypeLevel

Methods

dynamicDimension :: Proxy (Dim l m t i th n j) -> DynamicDimension

KnownDimension d => HasDynamicDimension (Dimensional v d a)

Defined in Numeric.Units.Dimensional.Internal

Methods

dynamicDimension :: Dimensional v d a -> DynamicDimension

data DynamicDimension

The dimension of a dynamic value, which may not have any dimension at all.

Constructors

NoDimension

The value has no valid dimension.

SomeDimension Dimension'

The value has the given dimension.

AnyDimension

The value may be interpreted as having any dimension.

Instances

Eq DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

(==) :: DynamicDimension -> DynamicDimension -> Bool

(/=) :: DynamicDimension -> DynamicDimension -> Bool

Data DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DynamicDimension -> c DynamicDimension

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DynamicDimension

toConstr :: DynamicDimension -> Constr

dataTypeOf :: DynamicDimension -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DynamicDimension)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DynamicDimension)

gmapT :: (forall b. Data b => b -> b) -> DynamicDimension -> DynamicDimension

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DynamicDimension -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DynamicDimension -> r

gmapQ :: (forall d. Data d => d -> u) -> DynamicDimension -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DynamicDimension -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DynamicDimension -> m DynamicDimension

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DynamicDimension -> m DynamicDimension

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DynamicDimension -> m DynamicDimension

Ord DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

compare :: DynamicDimension -> DynamicDimension -> Ordering

(<) :: DynamicDimension -> DynamicDimension -> Bool

(<=) :: DynamicDimension -> DynamicDimension -> Bool

(>) :: DynamicDimension -> DynamicDimension -> Bool

(>=) :: DynamicDimension -> DynamicDimension -> Bool

max :: DynamicDimension -> DynamicDimension -> DynamicDimension

min :: DynamicDimension -> DynamicDimension -> DynamicDimension

Show DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

showsPrec :: Int -> DynamicDimension -> ShowS

show :: DynamicDimension -> String

showList :: [DynamicDimension] -> ShowS

Generic DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Associated Types

type Rep DynamicDimension :: Type -> Type

Methods

from :: DynamicDimension -> Rep DynamicDimension x

to :: Rep DynamicDimension x -> DynamicDimension

NFData DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

rnf :: DynamicDimension -> ()

HasDynamicDimension DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

Methods

dynamicDimension :: DynamicDimension -> DynamicDimension

type Rep DynamicDimension

Defined in Numeric.Units.Dimensional.Dimensions.TermLevel

type Rep DynamicDimension = D1 (MetaData "DynamicDimension" "Numeric.Units.Dimensional.Dimensions.TermLevel" "dimensional-1.3-7Gh1mp5ZBGaGfkDr7lUYf2" False) (C1 (MetaCons "NoDimension" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "SomeDimension" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Dimension')) :+: C1 (MetaCons "AnyDimension" PrefixI False) (U1 :: Type -> Type)))

promoteQuantity :: forall a d q. (Promotable q, KnownDimension d) => q a -> Maybe (Quantity d a)

Converts a dynamic quantity such as an AnyQuantity or a DynQuantity into a Quantity, or to Nothing if the dynamic quantity cannot be represented in the narrower result type.

demoteQuantity :: (Demotable q, Promotable d) => q a -> d a

Forgets information about a Quantity or AnyQuantity, yielding an AnyQuantity or a DynQuantity.

(*~) :: (Floating a, Promotable q) => a -> AnyUnit -> q a

Forms a dynamic quantity by multipliying a number and a dynamic unit.

(/~) :: (Floating a, Promotable q) => q a -> AnyUnit -> Maybe a

Divides a dynamic quantity by a dynamic unit, obtaining the numerical value of the quantity expressed in that unit if they are of the same physical dimension, or Nothing otherwise.

invalidQuantity :: DynQuantity a

A DynQuantity which does not correspond to a value of any dimension.

polydimensionalZero :: Num a => DynQuantity a

A DynQuantity which corresponds to zero value of any dimension.

When combined through arithmetic with other DynQuantitys, inference is performed. For example, adding a length to polydimensional zero produces that length. Adding two polydimensional zeros produces another. Taking the sine of a polydimensional zero interprets it as a dimensionless zero and produces a dimensionless result.

Note that division by polydimensionalZero produces a polydimensional result, which may be an error or some representation of infinity, as determined by the underlying arithmetic type. This behavior was chosen for consistency with the behavior of division by zero DynQuantitys of a specific dimension.

Dynamic Units

data AnyUnit

A Unit whose Dimension is only known dynamically.

Instances

Show AnyUnit

Defined in Numeric.Units.Dimensional.Dynamic

Methods

showsPrec :: Int -> AnyUnit -> ShowS

show :: AnyUnit -> String

showList :: [AnyUnit] -> ShowS

Generic AnyUnit

Defined in Numeric.Units.Dimensional.Dynamic

Associated Types

type Rep AnyUnit :: Type -> Type

Methods

from :: AnyUnit -> Rep AnyUnit x

to :: Rep AnyUnit x -> AnyUnit

Semigroup AnyUnit

AnyUnits form a Semigroup under multiplication.

Defined in Numeric.Units.Dimensional.Dynamic

Methods

(<>) :: AnyUnit -> AnyUnit -> AnyUnit

sconcat :: NonEmpty AnyUnit -> AnyUnit

stimes :: Integral b => b -> AnyUnit -> AnyUnit

Monoid AnyUnit

AnyUnits form a Monoid under multiplication.

Defined in Numeric.Units.Dimensional.Dynamic

Methods

mempty :: AnyUnit

mappend :: AnyUnit -> AnyUnit -> AnyUnit

mconcat :: [AnyUnit] -> AnyUnit

HasDimension AnyUnit

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dimension :: AnyUnit -> Dimension'

HasDynamicDimension AnyUnit

Defined in Numeric.Units.Dimensional.Dynamic

Methods

dynamicDimension :: AnyUnit -> DynamicDimension

HasInterchangeName AnyUnit

Defined in Numeric.Units.Dimensional.Dynamic

Methods

interchangeName :: AnyUnit -> InterchangeName

type Rep AnyUnit

Defined in Numeric.Units.Dimensional.Dynamic

type Rep AnyUnit = D1 (MetaData "AnyUnit" "Numeric.Units.Dimensional.Dynamic" "dimensional-1.3-7Gh1mp5ZBGaGfkDr7lUYf2" False) (C1 (MetaCons "AnyUnit" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Dimension') :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (UnitName NonMetric)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ExactPi))))

demoteUnit :: forall m d a. KnownDimension d => Unit m d a -> AnyUnit

Converts a Unit of statically known Dimension into an AnyUnit.

promoteUnit :: forall d. KnownDimension d => AnyUnit -> Maybe (Unit NonMetric d ExactPi)

Converts an AnyUnit into a Unit of statically known Dimension, or Nothing if the dimension does not match.

The result is represented in ExactPi, conversion to other representations is possible using changeRepApproximate.

The result is always tagged as NonMetric, conversion to a Metric unit can be attempted using strengthen.

demoteUnit' :: KnownDimension d => Unit m d ExactPi -> AnyUnit

Converts a Unit of statically known Dimension into an AnyUnit.

This is the same as the more general demoteUnit but is useful in certain circumstances to avoid needlessly introducing an ambiguous type variable.

siUnit :: Dimension' -> AnyUnit

The dynamic SI coherent unit of a given dimension.

anyUnitName :: AnyUnit -> UnitName NonMetric

Arithmetic on Dynamic Units

(*) :: AnyUnit -> AnyUnit -> AnyUnit

Forms the product of two dynamic units.

(/) :: AnyUnit -> AnyUnit -> AnyUnit

Forms the quotient of two dynamic units.

(^) :: Integral a => AnyUnit -> a -> AnyUnit

Raises a dynamic unit to an integer power.

recip :: AnyUnit -> AnyUnit

Forms the reciprocal of a dynamic unit.

applyPrefix :: Prefix -> AnyUnit -> Maybe AnyUnit

Applies a prefix to a dynamic unit. Returns Nothing if the Unit was NonMetric and thus could not accept a prefix.