Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (rae@cs.brynmawr.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Units.Astronomical

Contents

Lengths
Time
Mass

Description

The system of astronomical units, as defined by the International Astronomical Union in 1976 and since then updated a few times.

The IAU documents used as reference are as follows: http://www.iau.org/static/resolutions/IAU1976_French.pdf http://www.iau.org/static/resolutions/IAU1994_French.pdf http://syrte.obspm.fr/IAU_resolutions/Res_IAU2012_B2.pdf https://www.iau.org/publications/proceedings_rules/units/

Synopsis

data AstronomicalUnit = AstronomicalUnit
data LightYear = LightYear
data Parsec = Parsec
data Day = Day
data JulianYear = JulianYear
data JulianCentury = JulianCentury
data SolarMass = SolarMass
data JovianMass = JovianMass
data EarthMass = EarthMass

Lengths

data AstronomicalUnit Source #

Constructors

AstronomicalUnit

Instances

Show AstronomicalUnit Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> AstronomicalUnit -> ShowS # show :: AstronomicalUnit -> String # showList :: [AstronomicalUnit] -> ShowS #
Unit AstronomicalUnit Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit AstronomicalUnit :: Type # type DimOfUnit AstronomicalUnit :: Type # type UnitFactorsOf AstronomicalUnit :: [Factor Type] # Methods conversionRatio :: AstronomicalUnit -> Rational # canonicalConvRatio :: AstronomicalUnit -> Rational
type UnitFactorsOf AstronomicalUnit Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf AstronomicalUnit = If (IsCanonical AstronomicalUnit) (F AstronomicalUnit One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit AstronomicalUnit))
type DimOfUnit AstronomicalUnit Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit AstronomicalUnit = DimOfUnit (BaseUnit AstronomicalUnit)
type BaseUnit AstronomicalUnit Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit AstronomicalUnit = Metre

data LightYear Source #

Constructors

LightYear

Instances

Show LightYear Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> LightYear -> ShowS # show :: LightYear -> String # showList :: [LightYear] -> ShowS #
Unit LightYear Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit LightYear :: Type # type DimOfUnit LightYear :: Type # type UnitFactorsOf LightYear :: [Factor Type] # Methods conversionRatio :: LightYear -> Rational # canonicalConvRatio :: LightYear -> Rational
type UnitFactorsOf LightYear Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf LightYear = If (IsCanonical LightYear) (F LightYear One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit LightYear))
type DimOfUnit LightYear Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit LightYear = DimOfUnit (BaseUnit LightYear)
type BaseUnit LightYear Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit LightYear = Metre

data Parsec Source #

Constructors

Parsec

Instances

Show Parsec Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> Parsec -> ShowS # show :: Parsec -> String # showList :: [Parsec] -> ShowS #
Unit Parsec Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit Parsec :: Type # type DimOfUnit Parsec :: Type # type UnitFactorsOf Parsec :: [Factor Type] # Methods conversionRatio :: Parsec -> Rational # canonicalConvRatio :: Parsec -> Rational
type UnitFactorsOf Parsec Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf Parsec = If (IsCanonical Parsec) (F Parsec One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Parsec))
type DimOfUnit Parsec Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit Parsec = DimOfUnit (BaseUnit Parsec)
type BaseUnit Parsec Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit Parsec = AstronomicalUnit

Time

data Day Source #

Constructors

Day

Instances

Show Day Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> Day -> ShowS # show :: Day -> String # showList :: [Day] -> ShowS #
Unit Day Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit Day :: Type # type DimOfUnit Day :: Type # type UnitFactorsOf Day :: [Factor Type] # Methods conversionRatio :: Day -> Rational # canonicalConvRatio :: Day -> Rational
type UnitFactorsOf Day Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf Day = If (IsCanonical Day) (F Day One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit Day))
type DimOfUnit Day Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit Day = DimOfUnit (BaseUnit Day)
type BaseUnit Day Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit Day = Second

data JulianYear Source #

Constructors

JulianYear

Instances

Show JulianYear Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> JulianYear -> ShowS # show :: JulianYear -> String # showList :: [JulianYear] -> ShowS #
Unit JulianYear Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit JulianYear :: Type # type DimOfUnit JulianYear :: Type # type UnitFactorsOf JulianYear :: [Factor Type] # Methods conversionRatio :: JulianYear -> Rational # canonicalConvRatio :: JulianYear -> Rational
type UnitFactorsOf JulianYear Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf JulianYear = If (IsCanonical JulianYear) (F JulianYear One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit JulianYear))
type DimOfUnit JulianYear Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit JulianYear = DimOfUnit (BaseUnit JulianYear)
type BaseUnit JulianYear Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit JulianYear = JulianCentury

data JulianCentury Source #

Constructors

JulianCentury

Instances

Show JulianCentury Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> JulianCentury -> ShowS # show :: JulianCentury -> String # showList :: [JulianCentury] -> ShowS #
Unit JulianCentury Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit JulianCentury :: Type # type DimOfUnit JulianCentury :: Type # type UnitFactorsOf JulianCentury :: [Factor Type] # Methods conversionRatio :: JulianCentury -> Rational # canonicalConvRatio :: JulianCentury -> Rational
type UnitFactorsOf JulianCentury Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf JulianCentury = If (IsCanonical JulianCentury) (F JulianCentury One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit JulianCentury))
type DimOfUnit JulianCentury Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit JulianCentury = DimOfUnit (BaseUnit JulianCentury)
type BaseUnit JulianCentury Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit JulianCentury = Day

Mass

data SolarMass Source #

Constructors

SolarMass

Instances

Show SolarMass Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> SolarMass -> ShowS # show :: SolarMass -> String # showList :: [SolarMass] -> ShowS #
Unit SolarMass Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit SolarMass :: Type # type DimOfUnit SolarMass :: Type # type UnitFactorsOf SolarMass :: [Factor Type] # Methods conversionRatio :: SolarMass -> Rational # canonicalConvRatio :: SolarMass -> Rational
type UnitFactorsOf SolarMass Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf SolarMass = If (IsCanonical SolarMass) (F SolarMass One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit SolarMass))
type DimOfUnit SolarMass Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit SolarMass = DimOfUnit (BaseUnit SolarMass)
type BaseUnit SolarMass Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit SolarMass = Kilo :@ Gram

data JovianMass Source #

Constructors

JovianMass

Instances

Show JovianMass Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> JovianMass -> ShowS # show :: JovianMass -> String # showList :: [JovianMass] -> ShowS #
Unit JovianMass Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit JovianMass :: Type # type DimOfUnit JovianMass :: Type # type UnitFactorsOf JovianMass :: [Factor Type] # Methods conversionRatio :: JovianMass -> Rational # canonicalConvRatio :: JovianMass -> Rational
type UnitFactorsOf JovianMass Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf JovianMass = If (IsCanonical JovianMass) (F JovianMass One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit JovianMass))
type DimOfUnit JovianMass Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit JovianMass = DimOfUnit (BaseUnit JovianMass)
type BaseUnit JovianMass Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit JovianMass = SolarMass

data EarthMass Source #

Constructors

EarthMass

Instances

Show EarthMass Source #
Instance details Defined in Data.Units.Astronomical Methods showsPrec :: Int -> EarthMass -> ShowS # show :: EarthMass -> String # showList :: [EarthMass] -> ShowS #
Unit EarthMass Source #
Instance details Defined in Data.Units.Astronomical Associated Types type BaseUnit EarthMass :: Type # type DimOfUnit EarthMass :: Type # type UnitFactorsOf EarthMass :: [Factor Type] # Methods conversionRatio :: EarthMass -> Rational # canonicalConvRatio :: EarthMass -> Rational
type UnitFactorsOf EarthMass Source #
Instance details Defined in Data.Units.Astronomical type UnitFactorsOf EarthMass = If (IsCanonical EarthMass) (F EarthMass One ': ([] :: [Factor Type])) (UnitFactorsOf (BaseUnit EarthMass))
type DimOfUnit EarthMass Source #
Instance details Defined in Data.Units.Astronomical type DimOfUnit EarthMass = DimOfUnit (BaseUnit EarthMass)
type BaseUnit EarthMass Source #
Instance details Defined in Data.Units.Astronomical type BaseUnit EarthMass = SolarMass