Safe Haskell	Safe-Inferred
Language	Haskell2010

Math.Haskellator.Internal.Units

Description

Everything related to units. See Math.Haskellator.Internal.TH.UnitGeneration for what is available here.

Synopsis

data Unit
- = Multiplier
- | Meter
- | Kilometer
- | Decimeter
- | Centimeter
- | Millimeter
- | Micrometer
- | Nanometer
- | Second
- | Minute
- | Hour
- | Day
- | Millisecond
- | Microsecond
- | Nanosecond
- | Kilogram
- | Tonne
- | Gram
- | Milligram
- | Microgram
- | Nanogram
nanogram :: Int -> [UnitExp]
microgram :: Int -> [UnitExp]
milligram :: Int -> [UnitExp]
gram :: Int -> [UnitExp]
tonne :: Int -> [UnitExp]
kilogram :: Int -> [UnitExp]
nanosecond :: Int -> [UnitExp]
microsecond :: Int -> [UnitExp]
millisecond :: Int -> [UnitExp]
day :: Int -> [UnitExp]
hour :: Int -> [UnitExp]
minute :: Int -> [UnitExp]
second :: Int -> [UnitExp]
nanometer :: Int -> [UnitExp]
micrometer :: Int -> [UnitExp]
millimeter :: Int -> [UnitExp]
centimeter :: Int -> [UnitExp]
decimeter :: Int -> [UnitExp]
kilometer :: Int -> [UnitExp]
meter :: Int -> [UnitExp]
multiplier :: Int -> [UnitExp]
isNanogram :: Unit -> Bool
isMicrogram :: Unit -> Bool
isMilligram :: Unit -> Bool
isGram :: Unit -> Bool
isTonne :: Unit -> Bool
isKilogram :: Unit -> Bool
isNanosecond :: Unit -> Bool
isMicrosecond :: Unit -> Bool
isMillisecond :: Unit -> Bool
isDay :: Unit -> Bool
isHour :: Unit -> Bool
isMinute :: Unit -> Bool
isSecond :: Unit -> Bool
isNanometer :: Unit -> Bool
isMicrometer :: Unit -> Bool
isMillimeter :: Unit -> Bool
isCentimeter :: Unit -> Bool
isDecimeter :: Unit -> Bool
isKilometer :: Unit -> Bool
isMeter :: Unit -> Bool
isMultiplier :: Unit -> Bool
convertTo :: Value UnitExp -> UnitExp -> Maybe (Value UnitExp)
convertToBase :: Value UnitExp -> Value UnitExp
unitFromString :: String -> Either String Unit
data UnitExp = UnitExp {
- dimUnit :: Unit
- power :: Int
}
type Dimension = [UnitExp]
divide :: Dimension -> (Dimension, Dimension) -> (Dimension, Dimension)

Documentation

data Unit Source #

Instances

Instances details

Bounded Unit Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods minBound :: Unit # maxBound :: Unit #
Enum Unit Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods succ :: Unit -> Unit # pred :: Unit -> Unit # toEnum :: Int -> Unit # fromEnum :: Unit -> Int # enumFrom :: Unit -> [Unit] # enumFromThen :: Unit -> Unit -> [Unit] # enumFromTo :: Unit -> Unit -> [Unit] # enumFromThenTo :: Unit -> Unit -> Unit -> [Unit] #
Show Unit Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods showsPrec :: Int -> Unit -> ShowS # show :: Unit -> String # showList :: [Unit] -> ShowS #
Eq Unit Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods (==) :: Unit -> Unit -> Bool # (/=) :: Unit -> Unit -> Bool #
Lift Unit Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods lift :: Quote m => Unit -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => Unit -> Code m Unit #

nanogram :: Int -> [UnitExp] Source #

microgram :: Int -> [UnitExp] Source #

milligram :: Int -> [UnitExp] Source #

gram :: Int -> [UnitExp] Source #

tonne :: Int -> [UnitExp] Source #

kilogram :: Int -> [UnitExp] Source #

nanosecond :: Int -> [UnitExp] Source #

microsecond :: Int -> [UnitExp] Source #

millisecond :: Int -> [UnitExp] Source #

day :: Int -> [UnitExp] Source #

hour :: Int -> [UnitExp] Source #

minute :: Int -> [UnitExp] Source #

second :: Int -> [UnitExp] Source #

nanometer :: Int -> [UnitExp] Source #

micrometer :: Int -> [UnitExp] Source #

millimeter :: Int -> [UnitExp] Source #

centimeter :: Int -> [UnitExp] Source #

decimeter :: Int -> [UnitExp] Source #

kilometer :: Int -> [UnitExp] Source #

meter :: Int -> [UnitExp] Source #

multiplier :: Int -> [UnitExp] Source #

isNanogram :: Unit -> Bool Source #

isMicrogram :: Unit -> Bool Source #

isMilligram :: Unit -> Bool Source #

isGram :: Unit -> Bool Source #

isTonne :: Unit -> Bool Source #

isKilogram :: Unit -> Bool Source #

isNanosecond :: Unit -> Bool Source #

isMicrosecond :: Unit -> Bool Source #

isMillisecond :: Unit -> Bool Source #

isDay :: Unit -> Bool Source #

isHour :: Unit -> Bool Source #

isMinute :: Unit -> Bool Source #

isSecond :: Unit -> Bool Source #

isNanometer :: Unit -> Bool Source #

isMicrometer :: Unit -> Bool Source #

isMillimeter :: Unit -> Bool Source #

isCentimeter :: Unit -> Bool Source #

isDecimeter :: Unit -> Bool Source #

isKilometer :: Unit -> Bool Source #

isMeter :: Unit -> Bool Source #

isMultiplier :: Unit -> Bool Source #

convertTo :: Value UnitExp -> UnitExp -> Maybe (Value UnitExp) Source #

convertToBase :: Value UnitExp -> Value UnitExp Source #

unitFromString :: String -> Either String Unit Source #

data UnitExp Source #

An exponentiated unit

Constructors

UnitExp
Fields dimUnit :: Unit power :: Int

Instances

Instances details

Show Dimension Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods showsPrec :: Int -> Dimension -> ShowS # show :: Dimension -> String # showList :: [Dimension] -> ShowS #
Show UnitExp Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods showsPrec :: Int -> UnitExp -> ShowS # show :: UnitExp -> String # showList :: [UnitExp] -> ShowS #
Eq Dimension Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods (==) :: Dimension -> Dimension -> Bool # (/=) :: Dimension -> Dimension -> Bool #
Eq UnitExp Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods (==) :: UnitExp -> UnitExp -> Bool # (/=) :: UnitExp -> UnitExp -> Bool #
Lift UnitExp Source #
Instance details Defined in Math.Haskellator.Internal.Units Methods lift :: Quote m => UnitExp -> m Exp # liftTyped :: forall (m :: Type -> Type). Quote m => UnitExp -> Code m UnitExp #

type Dimension = [UnitExp] Source #

A dimension is a list of exponentiated units

divide :: Dimension -> (Dimension, Dimension) -> (Dimension, Dimension) Source #

Splits a list of dimensions into units with positive and units negative exponents

Multiplier
Meter
Kilometer
Decimeter
Centimeter
Millimeter
Micrometer
Nanometer
Second
Minute
Hour
Day
Millisecond
Microsecond
Nanosecond
Kilogram
Tonne
Gram
Milligram
Microgram
Nanogram