Data.Geo.Jord.Length

Types and functions for working with (signed) lengths in metres, kilometres, nautical miles or feet.

The Length type

data Length

A length with a resolution of 0.1 millimetre.

Instances

Eq Length

Defined in Data.Geo.Jord.Length

Methods

(==) :: Length -> Length -> Bool

(/=) :: Length -> Length -> Bool

Read Length

See readLength.

Defined in Data.Geo.Jord.Length

Methods

readsPrec :: Int -> ReadS Length

readList :: ReadS [Length]

readPrec :: ReadPrec Length

readListPrec :: ReadPrec [Length]

Show Length

Length is shown in metres when absolute value is <= 10,000 m and in kilometres otherwise.

Defined in Data.Geo.Jord.Length

Methods

showsPrec :: Int -> Length -> ShowS

show :: Length -> String

showList :: [Length] -> ShowS

Quantity Length

Add/Subtract Lengths.

Defined in Data.Geo.Jord.Length

Methods

add :: Length -> Length -> Length

sub :: Length -> Length -> Length

zero :: Length

Smart constructors

feet :: Double -> Length

Length from given amount of feet.

kilometres :: Double -> Length

Length from given amount of kilometres.

metres :: Double -> Length

Length from given amount of metres.

nauticalMiles :: Double -> Length

Length from given amount of nautical miles.

Read

readLength :: String -> Length

Obtains a Length from the given string formatted as (-)float[m|km|nm|ft] - e.g. 3000m, 2.5km, -154nm or 10000ft.

This simply calls read s :: Length so error should be handled at the call site.

readLengthE :: String -> Either String Length

Same as readLength but returns a Either.

readLengthF :: MonadFail m => String -> m Length

Same as readLength but returns a MonadFail.

Conversions

toFeet :: Length -> Double

toFeet l converts l to feet.

toKilometres :: Length -> Double

toKilometres l converts l to kilometres.

toMetres :: Length -> Double

toMetres l converts l to metres.

toNauticalMiles :: Length -> Double

toNauticalMiles l converts l to nautical miles.