numeric-prelude-0.3: An experimental alternative hierarchy of numeric type classes

Portability portable provisional numericprelude@henning-thielemann.de

Algebra.DimensionTerm

Description

We already have the dynamically checked physical units provided by Number.Physical and the statically checked ones of the `dimensional` package of Buckwalter, which require multi-parameter type classes with functional dependencies.

Here we provide a poor man's approach: The units are presented by type terms. There is no canonical form and thus the type checker can not automatically check for equal units. However, if two unit terms represent the same unit, then you can tell the type checker to rewrite one into the other.

You can add more dimensions by introducing more types of class `C`.

This approach is not entirely safe because you can write your own flawed rewrite rules. It is however more safe than with no units at all.

Synopsis

Documentation

class Show a => C a Source

Instances

 C Voltage C Information C Temperature C Angle C Charge C Mass C Time C Length C Scalar C a => C (Recip a) (C a, C b) => C (Mul a b)

noValue :: C a => aSource

Type constructors

data Scalar Source

Constructors

 Scalar

Instances

 Show Scalar IsScalar Scalar C Scalar

data Mul a b Source

Constructors

 Mul

Instances

 (Show a, Show b) => Show (Mul a b) (C a, C b) => C (Mul a b)

data Recip a Source

Constructors

 Recip

Instances

 Show a => Show (Recip a) C a => C (Recip a)

type Sqr a = Mul a aSource

mul :: (C a, C b) => a -> b -> Mul a bSource

recip :: C a => a -> Recip aSource

(%*%) :: (C a, C b) => a -> b -> Mul a bSource

(%/%) :: (C a, C b) => a -> b -> Mul a (Recip b)Source

Rewrites

applyLeftMul :: (C u0, C u1, C v) => (u0 -> u1) -> Mul u0 v -> Mul u1 vSource

applyRightMul :: (C u0, C u1, C v) => (u0 -> u1) -> Mul v u0 -> Mul v u1Source

applyRecip :: (C u0, C u1) => (u0 -> u1) -> Recip u0 -> Recip u1Source

commute :: (C u0, C u1) => Mul u0 u1 -> Mul u1 u0Source

associateLeft :: (C u0, C u1, C u2) => Mul u0 (Mul u1 u2) -> Mul (Mul u0 u1) u2Source

associateRight :: (C u0, C u1, C u2) => Mul (Mul u0 u1) u2 -> Mul u0 (Mul u1 u2)Source

recipMul :: (C u0, C u1) => Recip (Mul u0 u1) -> Mul (Recip u0) (Recip u1)Source

mulRecip :: (C u0, C u1) => Mul (Recip u0) (Recip u1) -> Recip (Mul u0 u1)Source

cancelLeft :: C u => Mul (Recip u) u -> ScalarSource

invertRecip :: C u => Recip (Recip u) -> uSource

doubleRecip :: C u => u -> Recip (Recip u)Source

Example dimensions

Scalar

class C dim => IsScalar dim whereSource

This class allows defining instances that are exclusively for `Scalar` dimension. You won't want to define instances by yourself.

Methods

toScalar :: dim -> ScalarSource

fromScalar :: Scalar -> dimSource

Instances

 IsScalar Scalar

Basis dimensions

data Length Source

Constructors

 Length

Instances

 Show Length C Length

data Time Source

Constructors

 Time

Instances

 Show Time C Time

data Mass Source

Constructors

 Mass

Instances

 Show Mass C Mass

data Charge Source

Constructors

 Charge

Instances

 Show Charge C Charge

data Angle Source

Constructors

 Angle

Instances

 Show Angle C Angle

Constructors

 Temperature

Instances

 Show Temperature C Temperature

Constructors

 Information

Instances

 Show Information C Information

Derived dimensions

data Voltage Source

Constructors

 Voltage

Instances

 Show Voltage C Voltage