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

Instances details

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 DimOfUnit AstronomicalUnit # 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] (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

Instances details

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 DimOfUnit LightYear # 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] (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

Instances details

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 DimOfUnit Parsec # 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] (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

Instances details

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 DimOfUnit Day # 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] (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

Instances details

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 DimOfUnit JulianYear # 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] (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

Instances details

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 DimOfUnit JulianCentury # 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] (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

Instances details

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 DimOfUnit SolarMass # 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] (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

Instances details

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 DimOfUnit JovianMass # 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] (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

Instances details

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 DimOfUnit EarthMass # 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] (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