orbits-0.4.0.1: Types and functions for Kepler orbits.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Physics.Orbit.Metrology

Synopsis

Documentation

data PlaneAngleHyperbolic Source #

Constructors

PlaneAngleHyperbolic 

Instances

Instances details
Dimension PlaneAngleHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

Associated Types

type DimFactorsOf PlaneAngleHyperbolic :: [Factor Type] #

type DimFactorsOf PlaneAngleHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

type DimFactorsOf PlaneAngleHyperbolic = '['F PlaneAngleHyperbolic One]
type DefaultUnitOfDim PlaneAngleHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

type DefaultUnitOfDim PlaneAngleHyperbolic = RadianHyperbolic

data RadianHyperbolic Source #

Constructors

RadianHyperbolic 

Instances

Instances details
Show RadianHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

Methods

showsPrec :: Int -> RadianHyperbolic -> ShowS #

show :: RadianHyperbolic -> String #

showList :: [RadianHyperbolic] -> ShowS #

Unit RadianHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

Associated Types

type BaseUnit RadianHyperbolic #

type DimOfUnit RadianHyperbolic #

type UnitFactorsOf RadianHyperbolic :: [Factor Type] #

Methods

conversionRatio :: RadianHyperbolic -> Rational #

canonicalConvRatio :: RadianHyperbolic -> Rational

type BaseUnit RadianHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

type BaseUnit RadianHyperbolic = Canonical
type DimOfUnit RadianHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

type DimOfUnit RadianHyperbolic = PlaneAngleHyperbolic
type UnitFactorsOf RadianHyperbolic Source # 
Instance details

Defined in Physics.Orbit.Metrology

type UnitFactorsOf RadianHyperbolic = If (IsCanonical RadianHyperbolic) '['F RadianHyperbolic One] (UnitFactorsOf (BaseUnit RadianHyperbolic))

type Quantity u = MkQu_ULN u 'DefaultLCSU Source #

type Time = Quantity Second Source #

A measure in seconds.

type Distance = Quantity Meter Source #

A measure in meters.

type Speed = Quantity ((:*) Meter ((:^) Second (Pred 'Zero))) Source #

A measure in meters per second.

type Mass = Quantity ((:@) Kilo Gram) Source #

A measure in kilograms.

type Angle = Quantity Radian Source #

A measure in radians.

type AngleH = Quantity RadianHyperbolic Source #

A measure in radians (hyperbolic)

type Unitless = Quantity Number Source #

A unitless measure.