Convenient constant arithmetic for Haskell's Dimensional package.

ConstantArithmetic.hs

module Numeric.Units.Dimensional.ConstantArithmetic where

import qualified Prelude
import qualified Numeric.Units.Dimensional
import Numeric.Units.Dimensional.Prelude

a *. b = a * (b *~ one)
a .* b = (a *~ one) * b
a .*. b = (a *~ one) * (b *~ one)

a /. b = a / (b *~ one)
a ./ b = (a *~ one) / b
a ./. b = (a *~ one) / (b *~ one)

a +. b = a + (b *~ one)
a .+ b = (a *~ one) + b
a .+. b = (a *~ one) + (b *~ one)

a -. b = a - (b *~ one)
a .- b = (a *~ one) - b
a .-. b = (a *~ one) - (b *~ one)

squared a = a ^ pos2
cubed   a = a ^ pos3