Safe Haskell	Safe
Language	Haskell2010

Data.Icao.Location

Contents

Data
Parsers
Smart constructors

Description

Provides data types and functions pertaining to locations in accordance with the ICAO 4444 edition 2016 standard.

Synopsis

Data

data Aerodrome Source #

the name of an aerodrome, 4 uppercase characters.

Instances

Eq Aerodrome Source #
Methods (==) :: Aerodrome -> Aerodrome -> Bool # (/=) :: Aerodrome -> Aerodrome -> Bool #
Show Aerodrome Source #
Methods showsPrec :: Int -> Aerodrome -> ShowS # show :: Aerodrome -> String # showList :: [Aerodrome] -> ShowS #

data Bearing Source #

Bearing in degrees magnetic, in range [0 .. 359].

Instances

Eq Bearing Source #
Methods (==) :: Bearing -> Bearing -> Bool # (/=) :: Bearing -> Bearing -> Bool #
Show Bearing Source #
Methods showsPrec :: Int -> Bearing -> ShowS # show :: Bearing -> String # showList :: [Bearing] -> ShowS #

data Distance Source #

Distance in nautical miles, always positive.

Instances

Eq Distance Source #
Methods (==) :: Distance -> Distance -> Bool # (/=) :: Distance -> Distance -> Bool #
Show Distance Source #
Methods showsPrec :: Int -> Distance -> ShowS # show :: Distance -> String # showList :: [Distance] -> ShowS #

data Latitude Source #

Latitude in decimal degrees, in range [-90 .. 90].

Instances

Eq Latitude Source #
Methods (==) :: Latitude -> Latitude -> Bool # (/=) :: Latitude -> Latitude -> Bool #
Show Latitude Source #
Methods showsPrec :: Int -> Latitude -> ShowS # show :: Latitude -> String # showList :: [Latitude] -> ShowS #

data Longitude Source #

Longitude in decimal degrees, in range [-180 .. 180].

Instances

Eq Longitude Source #
Methods (==) :: Longitude -> Longitude -> Bool # (/=) :: Longitude -> Longitude -> Bool #
Show Longitude Source #
Methods showsPrec :: Int -> Longitude -> ShowS # show :: Longitude -> String # showList :: [Longitude] -> ShowS #

data PointNameCode Source #

5 letters pronounceable 'name-code' (5LNC) to designate a Significant Point.

Instances

Eq PointNameCode Source #
Methods (==) :: PointNameCode -> PointNameCode -> Bool # (/=) :: PointNameCode -> PointNameCode -> Bool #
Show PointNameCode Source #
Methods showsPrec :: Int -> PointNameCode -> ShowS # show :: PointNameCode -> String # showList :: [PointNameCode] -> ShowS #

data GeographicPosition Source #

Position expressed by the decimal latitude and longitude.

Constructors

GeographicPosition
Fields latitude :: Latitude longitude :: Longitude

Instances

Eq GeographicPosition Source #
Methods (==) :: GeographicPosition -> GeographicPosition -> Bool # (/=) :: GeographicPosition -> GeographicPosition -> Bool #
Show GeographicPosition Source #
Methods showsPrec :: Int -> GeographicPosition -> ShowS # show :: GeographicPosition -> String # showList :: [GeographicPosition] -> ShowS #

data BearingDistancePosition Source #

Position expressed as a bearing and distance from a reference point.

Constructors

BearingDistancePosition
Fields reference :: PointNameCode 'name-code' of the reference point. bearing :: Bearing Bearing from the reference point distance :: Distance Distance from the reference point

Instances

Eq BearingDistancePosition Source #
Methods (==) :: BearingDistancePosition -> BearingDistancePosition -> Bool # (/=) :: BearingDistancePosition -> BearingDistancePosition -> Bool #
Show BearingDistancePosition Source #
Methods showsPrec :: Int -> BearingDistancePosition -> ShowS # show :: BearingDistancePosition -> String # showList :: [BearingDistancePosition] -> ShowS #

data SignificantPoint Source #

a significant point

Constructors

CodedDesignator PointNameCode	Point coded designator (e.g. `RASMU`), 2 to 5 characters.
Position GeographicPosition	Point Position; latitude and longitude in decimal degrees.
BearingDistance BearingDistancePosition	Bearing and distance from a reference point, bearing in degrees, distance in nautical miles.

Instances

Eq SignificantPoint Source #
Methods (==) :: SignificantPoint -> SignificantPoint -> Bool # (/=) :: SignificantPoint -> SignificantPoint -> Bool #
Show SignificantPoint Source #
Methods showsPrec :: Int -> SignificantPoint -> ShowS # show :: SignificantPoint -> String # showList :: [SignificantPoint] -> ShowS #

Parsers

aerodromeParser :: Parser Aerodrome Source #

Aerodrome Parser.

significantPointParser :: Parser SignificantPoint Source #

SignificantPoint Parser.

parseAerodrome :: String -> Either Error Aerodrome Source #

Parses the given textual representation of an Aerodrome. return either an Error (Left) or the parsed Aerodrome (Right).

parseSignificantPoint :: String -> Either Error SignificantPoint Source #

Parses the given textual representation of a SignificantPoint. return either an Error (Left) or the parsed SignificantPoint (Right).

Smart constructors

mkAerodrome :: MonadFail m => String -> m Aerodrome Source #

Aerodrome smart constructor. Fails if the given name is not a valid.

mkCodedDesignator :: MonadFail m => String -> m SignificantPoint Source #

CodedDesignator SignificantPoint smart constructor. Fails if the given name is not a valid.

mkPosition :: MonadFail m => Float -> Float -> m SignificantPoint Source #

Position SignificantPoint smart constructor. Fails if the given latitude and/or longitude are not valid.

mkBearingDistance :: MonadFail m => String -> Int -> Int -> m SignificantPoint Source #

BearingDistance SignificantPoint smart constructor. Fails if the given name andor bearing andor distance are not a valid.