Safe Haskell	Safe
Language	Haskell2010

Data.Wmo.AerodromeReport

Contents

Data
Builders
Parsers

Description

This module provides tools to parse and format Meterological Aerordome Reports. The WMO, which is the international authority for the code form, defines METAR as Aerodrome routine meteorological report and SPECI as Aerodrome routine special report. The FAA, on the other hand, uses aviation (routine|special) weather report.

This module is primarily compliant with WMO Technical Regulations - Annex II, but best efforts have been made to cater for the deviations described in the FAA Aeronautical Information Manual.

Relevant links

TODO: break module when implementing TAF TODO: support trend

Synopsis

Documentation

module Data.Icao.Location

module Data.Icao.Time

Data

data ReportType Source #

type of report.

Constructors

METAR	periodic or routine report, e.g. generated once an hour or half hour.
SPECI	special report issued when conditions have significantly changed.

Instances

Bounded ReportType Source #
Methods minBound :: ReportType # maxBound :: ReportType #
Enum ReportType Source #
Methods succ :: ReportType -> ReportType # pred :: ReportType -> ReportType # toEnum :: Int -> ReportType # fromEnum :: ReportType -> Int # enumFrom :: ReportType -> [ReportType] # enumFromThen :: ReportType -> ReportType -> [ReportType] # enumFromTo :: ReportType -> ReportType -> [ReportType] # enumFromThenTo :: ReportType -> ReportType -> ReportType -> [ReportType] #
Eq ReportType Source #
Methods (==) :: ReportType -> ReportType -> Bool # (/=) :: ReportType -> ReportType -> Bool #
Read ReportType Source #
Methods readsPrec :: Int -> ReadS ReportType # readList :: ReadS [ReportType] # readPrec :: ReadPrec ReportType # readListPrec :: ReadPrec [ReportType] #
Show ReportType Source #
Methods showsPrec :: Int -> ReportType -> ShowS # show :: ReportType -> String # showList :: [ReportType] -> ShowS #

data SpeedUnit Source #

Speed unit. TODO: move to Icao?

Constructors

KT	knots.
MPS	metres per second.
KMH	kilometres per hour.

Instances

Bounded SpeedUnit Source #
Methods minBound :: SpeedUnit # maxBound :: SpeedUnit #
Enum SpeedUnit Source #
Methods succ :: SpeedUnit -> SpeedUnit # pred :: SpeedUnit -> SpeedUnit # toEnum :: Int -> SpeedUnit # fromEnum :: SpeedUnit -> Int # enumFrom :: SpeedUnit -> [SpeedUnit] # enumFromThen :: SpeedUnit -> SpeedUnit -> [SpeedUnit] # enumFromTo :: SpeedUnit -> SpeedUnit -> [SpeedUnit] # enumFromThenTo :: SpeedUnit -> SpeedUnit -> SpeedUnit -> [SpeedUnit] #
Eq SpeedUnit Source #
Methods (==) :: SpeedUnit -> SpeedUnit -> Bool # (/=) :: SpeedUnit -> SpeedUnit -> Bool #
Read SpeedUnit Source #
Methods readsPrec :: Int -> ReadS SpeedUnit # readList :: ReadS [SpeedUnit] # readPrec :: ReadPrec SpeedUnit # readListPrec :: ReadPrec [SpeedUnit] #
Show SpeedUnit Source #
Methods showsPrec :: Int -> SpeedUnit -> ShowS # show :: SpeedUnit -> String # showList :: [SpeedUnit] -> ShowS #

data WindVariableDirection Source #

Variable wind direction.

Instances

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

data WindSpeed Source #

Wind speed in appropriate unit.

Instances

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

data Wind Source #

Wind group data. direction `000` and speed `00` indicates calm conditions.

Instances

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

data VisibilityTendency Source #

Visibility tendency at the runway.

Constructors

Down
Up
NoChange

Instances

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

data VisibilityDistance Source #

Visibility distance in appropriate unit.

Instances

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

data RunwayDesignator Source #

Runway designator: 2 digits possibly appended with L(eft) C(entral) or R(ight) for parallel runways.

Instances

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

data ExtremeRvr Source #

indicates an extreme value of runway visual range.

Constructors

Lower
Higher

Instances

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

data RunwayVisualRange Source #

Runway visual range data.

Instances

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

data CompassPoint Source #

the 8 compass points.

Constructors

North
NorthEast
East
SouthEast
South
SouthWest
West
NorthWest

Instances

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

data Visibility Source #

Visibility group data.

Instances

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

data WeatherQualifier Source #

Weather qualifier.

Constructors

LightWeather	light weather.
HeavyWeather	heavy weather.
InVicinityWeather

Instances

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

data WeatherDescriptor Source #

Weather descriptor.

Constructors

Shallow
Patches
Partial
Drifting
Blowing
Showers
Thunderstorm
Freezing

Instances

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

data WeatherPhenomenon Source #

Weather phenomenon. Precipitation: Drizzle to UnknownPrecipitation. Obscuration : Mist to Spray.

Constructors

Drizzle
Rain
Snow
SnowGrains
IceCrystals
IcePellets
Hail
SmallHail
UnknownPrecipitation
Mist	visibility > 1000 m.
Fog	visibility < 1000 m.
Smoke
VolcanicAsh
WidespreadDust
Sand
Haze
Spray
Dust	well developed dust/sand whirls.
Squall
FunnelCloud	tornado, waterspout are always +FC, i.e. heavy FunnelCloud.
Sandstorm
DustStorm

Instances

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

data Weather Source #

Weather observation.

Instances

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

data CloudType Source #

Cloud type.

Constructors

Cumulonimbus
ToweringCumulus

Instances

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

data CloudAmountType Source #

Cloud amount type.

Constructors

Few	few amount of clouds.
Scattered	scattered amount of clouds.
Broken	broken amount of clouds.
Overcast	overcast amount of clouds.

Instances

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

data CloudAmount Source #

Amount of clouds.

Instances

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

data VerticalVisibility Source #

Vertical visibility in hundreds of feet.

Instances

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

data NoCloudObserved Source #

Sky conditions when cloud were not observed.

Constructors

NoCloudBelow1500
NoCloudBelow3600
SkyClear

Instances

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

data Clouds Source #

Clouds observation.

Constructors

CloudAmounts [CloudAmount]
ObscuredSky VerticalVisibility
NoneObserved NoCloudObserved

Instances

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

data Pressure Source #

Mean sea level pressure.

Instances

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

data ReportModifiers Source #

Report modifiers.

Instances

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

data AerodromeReport Source #

an aerodrome routine or special meteorological report.

Instances

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

cavok :: AerodromeReport -> Bool Source #

Determines the given AerodromeReport reports Cloud And Visibility OK (CAVOK). CAVOK is an abbreviation for Cloud And Visibility OK, indicating no cloud below 5,000 ft (1,500 m) or the highest minimum sector altitude and no cumulonimbus or towering cumulus at any level, a visibility of 10 km (6 mi) or more and no significant weather change.

Builders

metar :: MonadFail m => String -> (Int, Int, Int) -> [AerodromeReport -> m AerodromeReport] -> m AerodromeReport Source #

Builds a periodic AerodromeReport (METAR) for the given station and time and all given setter.

If no setters are provided, the METAR will contain no Wind (Calm conditions), report cavok conditions ISA temperature (15 degrees Celsius) and pressure (1013 hPa)

See with and withXXXX functions.

 example =
   Report "ESSA" (18, 21, 48) [withWindDirection 150, withWindSpeed 40 Nothing KT]

speci :: MonadFail m => String -> (Int, Int, Int) -> [AerodromeReport -> m AerodromeReport] -> m AerodromeReport Source #

Builds a special AerodromeReport (SPECI) for the given station and time and all given setter. see metar.

with :: MonadFail m => [AerodromeReport -> m AerodromeReport] -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by running each given setter.

withModifiers :: MonadFail m => (Bool, Bool, Bool) -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the modifiers (COR, AUTO, MIS).

withWindDirection :: MonadFail m => Int -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the wind direction.

withWindSpeed :: MonadFail m => Int -> Maybe Int -> SpeedUnit -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the wind speed (spd) and gust (@gst).

withWindVariation :: MonadFail m => Int -> Int -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the wind variation.

withPrevailingVisibility :: MonadFail m => Int -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the prevailing visibility according to the WMO standard. the visibility is expressed in Metres.

withFaaPrevailingVisibility :: MonadFail m => Maybe Int -> Maybe (Int, Int) -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the prevailing visibility according to the FAA standard. the visibility is expressed in statue miles (mile and fraction).

withLowestVisibility :: MonadFail m => Int -> Maybe CompassPoint -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the lowest visibility (Metre) and for a direction (if any). Note: this is not supported by the FAA standard.

withRunwayVisualRange :: MonadFail m => String -> Int -> Maybe ExtremeRvr -> Maybe VisibilityTendency -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by adding a runway visual range (RVR) according to the WMO standard. the runway visibility is expressed in Metres.

withFaaRunwayVisualRange :: MonadFail m => String -> Int -> Maybe ExtremeRvr -> Maybe VisibilityTendency -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by adding a runway visual range (RVR) according to the FAA standard. the runway visibility is expressed in feet.

withWeather :: MonadFail m => Maybe WeatherQualifier -> Maybe WeatherDescriptor -> [WeatherPhenomenon] -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by adding a weather observation.

withCloudAmount :: MonadFail m => CloudAmountType -> Maybe Int -> Maybe CloudType -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by adding the cloud amount observation.

withObscuredSky :: MonadFail m => Maybe Int -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the obscured sky observation.

withNoCloudObserved :: MonadFail m => NoCloudObserved -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the reason why no clouds were observed.

withTemperature :: MonadFail m => Int -> Int -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the temperature and dew point.

withPressure :: MonadFail m => Int -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the pressure in Hectopascals.

withFaaPressure :: MonadFail m => Int -> AerodromeReport -> m AerodromeReport Source #

Modifies the given report by setting the pressure in inches of mercury.

Parsers

type Parser = ParsecT String () Identity Source #

Parser.

data Error Source #

Parsing error.

Instances

Eq Error Source #
Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #
Show Error Source #
Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
IsString Error Source #	`IsString` instance for `Error`, `column` is set to 0.
Methods fromString :: String -> Error #

parser :: Parser AerodromeReport Source #

AerodromeReport parser. This parser supports both the WMO code definition and the variation defined by the FAA.

parse :: String -> Either Error AerodromeReport Source #

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