Data.Geo.Jord.Length

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

In order to use this module you should start with the following imports:

import Data.Geo.Jord.Length (Length)
import qualified Data.Geo.Jord.Length as Length

The Length type

data Length

A length with a resolution of 1 micrometre.

Instances

Eq Length

Defined in Data.Geo.Jord.Length

Methods

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

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

Ord Length

Defined in Data.Geo.Jord.Length

Methods

compare :: Length -> Length -> Ordering

(<) :: Length -> Length -> Bool

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

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

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

max :: Length -> Length -> Length

min :: Length -> Length -> Length

Read Length

See length.

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 km and in kilometres otherwise.

Defined in Data.Geo.Jord.Length

Methods

showsPrec :: Int -> Length -> ShowS

show :: Length -> String

showList :: [Length] -> ShowS

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

length :: ReadP Length

Parses and returns a Length formatted as (-)float[m|km|nm|ft]. e.g. 3000m, 2.5km, -154nm or 10000ft.

read :: String -> Maybe Length

Reads a Length from the given string using length.

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.

toMillimetres :: Length -> Double

toMillimetres l converts l to millimetres.

toNauticalMiles :: Length -> Double

toNauticalMiles l converts l to nautical miles.

Misc

add :: Length -> Length -> Length

Adds 2 lengths.

subtract :: Length -> Length -> Length

Subtracts 2 lengths.

zero :: Length

0 length.