module Data.Metrology.SI.Mono (
module Data.Metrology.SI.MonoTypes,
module Data.Metrology.SI.Units,
module Data.Metrology.SI.Prefixes,
module Data.Metrology.SI.Parser
) where
import Data.Metrology.SI.MonoTypes
import Data.Metrology.SI.Units
import Data.Metrology.SI.Prefixes
import qualified Data.Metrology.SI.Dims as D
import Data.Metrology
import Data.Metrology.SI.Parser
type instance DefaultUnitOfDim D.Length = Meter
type instance DefaultUnitOfDim D.Mass = Kilo :@ Gram
type instance DefaultUnitOfDim D.Time = Second
type instance DefaultUnitOfDim D.Current = Ampere
type instance DefaultUnitOfDim D.Temperature = Kelvin
type instance DefaultUnitOfDim D.AmountOfSubstance = Mole
type instance DefaultUnitOfDim D.LuminousIntensity = Lumen