-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Parse aviation weather reports
--   
--   Parse aviation weather reports, currently METARs and TAFs
@package avwx
@version 0.3.0.2


-- | Parse aviation weather reports. A qualified import is recommended.
module Data.Aviation.WX

-- | An attoparsec parser that can parse METAR messages.
weatherParser :: (Monad f, CharParsing f) => f Weather

-- | Aviation weather, currently only METARs and TAFs are supported.
data Weather

-- | A METeorological Aerodrome Report
METAR :: ReportType -> Date -> Station -> [Flag] -> Maybe Wind -> [Visibility] -> [(Runway, [Visibility], Maybe VisTrend)] -> [RunwayCondition] -> [WeatherPhenomenon] -> [Cloud] -> Maybe Pressure -> Maybe Int -> Maybe Int -> [Trend] -> Maybe Text -> Bool -> Weather

-- | The type of the report
[_reporttype] :: Weather -> ReportType

-- | The observation date.
[_metardate] :: Weather -> Date

-- | The designation of the observing station.
[_station] :: Weather -> Station

-- | A remark about the reported observation.
[_flags] :: Weather -> [Flag]

-- | The observed wind.
[_metarwind] :: Weather -> Maybe Wind

-- | The observed visibility.
[_metarvisibility] :: Weather -> [Visibility]

-- | The observed visibility for specific runways, usually reported if the
--   runway visibility significantly differs from the general reported
--   visibility.
[_runwayvis] :: Weather -> [(Runway, [Visibility], Maybe VisTrend)]

-- | Surface or close conditions of a specific runway.
[_runwaycond] :: Weather -> [RunwayCondition]

-- | Observed weather phenomena
[_wx] :: Weather -> [WeatherPhenomenon]

-- | Observed cloud layers
[_clouds] :: Weather -> [Cloud]

-- | Measured pressure
[_metarpressure] :: Weather -> Maybe Pressure

-- | Measured pressure
[_temperature] :: Weather -> Maybe Int

-- | Determined dew point
[_dewPoint] :: Weather -> Maybe Int

-- | Expected changes within the next two hours There can be more than one;
--   for example a TEMPO and a BECMG prediction
[_weathertrend] :: Weather -> [Trend]

-- | RMK section (Additional parts of a METAR report that are not part of
--   the official METAR message but are commonly used in various parts of
--   the world; unparsed)
[_remark] :: Weather -> Maybe Text
[_maintenance] :: Weather -> Bool

-- | An automatic terminal information service report
ATIS :: Weather

-- | A non-scheduled METAR
SPECI :: Weather

-- | A terminal aerodrome forecast
TAF :: ReportType -> Date -> [Flag] -> Station -> Date -> Date -> [Transition] -> [Trend] -> Weather

-- | The type of the report
[_reporttype] :: Weather -> ReportType

-- | The date the TAF was issued
[_tafissuedat] :: Weather -> Date

-- | A remark about the reported observation.
[_flags] :: Weather -> [Flag]

-- | The designation of the observing station.
[_station] :: Weather -> Station

-- | The beginning of the validity period
[_tafvalidfrom] :: Weather -> Date

-- | The end of the validity period
[_tafvaliduntil] :: Weather -> Date

-- | The initial conditions predicted to be valid for the duration of the
--   TAF
[_tafinitialconditions] :: Weather -> [Transition]

-- | Zero or more predicted changes
[_tafchanges] :: Weather -> [Trend]

-- | An aviation wx hazard message of moderate severity
AIRMET :: Weather

-- | A significant meteorological information message
SIGMET :: Weather

-- | A general aviation forecast message
GAMET :: Weather
class HasWeather c_alPA
weather :: HasWeather c_alPA => Lens' c_alPA Weather
clouds :: HasWeather c_alPA => Traversal' c_alPA [Cloud]
dewPoint :: HasWeather c_alPA => Traversal' c_alPA (Maybe Int)
flags :: HasWeather c_alPA => Traversal' c_alPA [Flag]
maintenance :: HasWeather c_alPA => Traversal' c_alPA Bool
metardate :: HasWeather c_alPA => Traversal' c_alPA Date
metarpressure :: HasWeather c_alPA => Traversal' c_alPA (Maybe Pressure)
metarvisibility :: HasWeather c_alPA => Traversal' c_alPA [Visibility]
metarwind :: HasWeather c_alPA => Traversal' c_alPA (Maybe Wind)
remark :: HasWeather c_alPA => Traversal' c_alPA (Maybe Text)
reporttype :: HasWeather c_alPA => Traversal' c_alPA ReportType
runwaycond :: HasWeather c_alPA => Traversal' c_alPA [RunwayCondition]
runwayvis :: HasWeather c_alPA => Traversal' c_alPA [(Runway, [Visibility], Maybe VisTrend)]
station :: HasWeather c_alPA => Traversal' c_alPA Station
tafchanges :: HasWeather c_alPA => Traversal' c_alPA [Trend]
tafinitialconditions :: HasWeather c_alPA => Traversal' c_alPA [Transition]
tafissuedat :: HasWeather c_alPA => Traversal' c_alPA Date
tafvalidfrom :: HasWeather c_alPA => Traversal' c_alPA Date
tafvaliduntil :: HasWeather c_alPA => Traversal' c_alPA Date
temperature :: HasWeather c_alPA => Traversal' c_alPA (Maybe Int)
weathertrend :: HasWeather c_alPA => Traversal' c_alPA [Trend]
wx :: HasWeather c_alPA => Traversal' c_alPA [WeatherPhenomenon]
class AsWeather r_amp6
_Weather :: AsWeather r_amp6 => Prism' r_amp6 Weather
_METAR :: AsWeather r_amp6 => Prism' r_amp6 (ReportType, Date, Station, [Flag], Maybe Wind, [Visibility], [(Runway, [Visibility], Maybe VisTrend)], [RunwayCondition], [WeatherPhenomenon], [Cloud], Maybe Pressure, Maybe Int, Maybe Int, [Trend], Maybe Text, Bool)
_ATIS :: AsWeather r_amp6 => Prism' r_amp6 ()
_SPECI :: AsWeather r_amp6 => Prism' r_amp6 ()
_TAF :: AsWeather r_amp6 => Prism' r_amp6 (ReportType, Date, [Flag], Station, Date, Date, [Transition], [Trend])
_AIRMET :: AsWeather r_amp6 => Prism' r_amp6 ()
_SIGMET :: AsWeather r_amp6 => Prism' r_amp6 ()
_GAMET :: AsWeather r_amp6 => Prism' r_amp6 ()

-- | An obersvation date.
data Date
Date :: Int -> Int -> Int -> Date
[_dayOfMonth] :: Date -> Int
[_hour] :: Date -> Int
[_minute] :: Date -> Int
class HasDate c_apmy
date :: HasDate c_apmy => Lens' c_apmy Date
dayOfMonth :: HasDate c_apmy => Lens' c_apmy Int
hour :: HasDate c_apmy => Lens' c_apmy Int
minute :: HasDate c_apmy => Lens' c_apmy Int

-- | An aeronautical weather station designator.
newtype Station

-- | The station as identified by its aerodrome's ICAO code.
ICAO :: Text -> Station

-- | A flag describing an aviation meteorological report
data Flag

-- | A message has been corrected after the beginning of its original
--   validity period
COR :: Flag

-- | A message has been corrected prior to its original validity period
AMD :: Flag

-- | A message has been generated fully automatic without a plausibility
--   check by a human
AUTO :: Flag
class HasFlag c_amLF
flag :: HasFlag c_amLF => Lens' c_amLF Flag
class AsFlag r_amMx
_Flag :: AsFlag r_amMx => Prism' r_amMx Flag
_COR :: AsFlag r_amMx => Prism' r_amMx ()
_AMD :: AsFlag r_amMx => Prism' r_amMx ()
_AUTO :: AsFlag r_amMx => Prism' r_amMx ()

-- | Wind information.
data Wind
Wind :: Maybe WindDirection -> Maybe Unit -> Maybe Int -> Wind

-- | The direction the wind is blowing from.
[_winddirection] :: Wind -> Maybe WindDirection

-- | The wind speed.
[_velocity] :: Wind -> Maybe Unit

-- | The strength of the observed gusts, if any.
[_gusts] :: Wind -> Maybe Int
class HasWind c_asd8
wind :: HasWind c_asd8 => Lens' c_asd8 Wind
gusts :: HasWind c_asd8 => Lens' c_asd8 (Maybe Int)
velocity :: HasWind c_asd8 => Lens' c_asd8 (Maybe Unit)
winddirection :: HasWind c_asd8 => Lens' c_asd8 (Maybe WindDirection)

-- | Vertical visibility.
data Visibility

-- | Ten kilometres or more. This is also used for <a>P6SM</a> which means
--   6 statute miles or more. Do note that 6SM is a little less than 10km
--   (9.6km)
TenOrMore :: Visibility

-- | Fifty metres or less.
FiftyMetresOrLess :: Visibility

-- | Two kilometres or more.
TwoOrMore :: Visibility

-- | A specific visibility.
SpecificVisibility :: Distance -> Maybe Direction -> Visibility
class HasVisibility c_aoqG
visibility :: HasVisibility c_aoqG => Lens' c_aoqG Visibility
class AsVisibility r_aory
_Visibility :: AsVisibility r_aory => Prism' r_aory Visibility
_TenOrMore :: AsVisibility r_aory => Prism' r_aory ()
_FiftyMetresOrLess :: AsVisibility r_aory => Prism' r_aory ()
_TwoOrMore :: AsVisibility r_aory => Prism' r_aory ()
_SpecificVisibility :: AsVisibility r_aory => Prism' r_aory (Distance, Maybe Direction)

-- | Runway specification.
data Runway

-- | All runways.
AllRunways :: Runway

-- | A specific runway.
SpecificRunway :: Int -> Maybe Direction -> Runway

-- | The runway's magnetic orientation, divided by ten and rounded.
[_runwayQFU] :: Runway -> Int

-- | For multiple runways with the same QFU, a left, right or centre
--   selector is added.
[_runwayDirection] :: Runway -> Maybe Direction
class HasRunway c_aoN6
runway :: HasRunway c_aoN6 => Lens' c_aoN6 Runway
runwayDirection :: HasRunway c_aoN6 => Traversal' c_aoN6 (Maybe Direction)
runwayQFU :: HasRunway c_aoN6 => Traversal' c_aoN6 Int
class AsRunway r_aoPJ
_Runway :: AsRunway r_aoPJ => Prism' r_aoPJ Runway
_AllRunways :: AsRunway r_aoPJ => Prism' r_aoPJ ()
_SpecificRunway :: AsRunway r_aoPJ => Prism' r_aoPJ (Int, Maybe Direction)

-- | A visibility trend specifically for runway conditions
data VisTrend

-- | Visibility will improve (maybe do wait a bit)
VisTrendUpward :: VisTrend

-- | Visibility will deteriorate (still, don't rush the take off and use
--   proper phraseology at all times)
VisTrendDownward :: VisTrend

-- | No expected change in runway visibility conditions
VisTrendNoDistinctTendency :: VisTrend
class HasVisTrend c_aneX
visTrend :: HasVisTrend c_aneX => Lens' c_aneX VisTrend
class AsVisTrend r_anfP
_VisTrend :: AsVisTrend r_anfP => Prism' r_anfP VisTrend
_VisTrendUpward :: AsVisTrend r_anfP => Prism' r_anfP ()
_VisTrendDownward :: AsVisTrend r_anfP => Prism' r_anfP ()
_VisTrendNoDistinctTendency :: AsVisTrend r_anfP => Prism' r_anfP ()

-- | Runway conditions.
data RunwayCondition

-- | Specific runway conditions exist.
SpecificRunwayCondition :: Runway -> RwyCoverType -> Maybe Int -> Maybe Int -> RunwayBraking -> RunwayCondition

-- | The runway for which specific conditions have been observed.
[_rwcondRunway] :: RunwayCondition -> Runway

-- | Whether and how the runway is contamindated.
[_rwcondCover] :: RunwayCondition -> RwyCoverType

-- | The extent of the contamination in percent.
[_rwcondSpread] :: RunwayCondition -> Maybe Int

-- | The height of the contamination in millimetres.
[_rwcondCoverHeight] :: RunwayCondition -> Maybe Int

-- | The friction coefficient or braking action value.
[_rwcondBrkCoeff] :: RunwayCondition -> RunwayBraking

-- | The runway is closed.
RwyClosed :: Runway -> RunwayCondition

-- | The runway that is closed.
[_rwclosedRunway] :: RunwayCondition -> Runway

-- | The whole aerodrome is closed.
ADClosed :: RunwayCondition
class HasRunwayCondition c_ap6D
runwayCondition :: HasRunwayCondition c_ap6D => Lens' c_ap6D RunwayCondition
rwclosedRunway :: HasRunwayCondition c_ap6D => Traversal' c_ap6D Runway
rwcondBrkCoeff :: HasRunwayCondition c_ap6D => Traversal' c_ap6D RunwayBraking
rwcondCover :: HasRunwayCondition c_ap6D => Traversal' c_ap6D RwyCoverType
rwcondCoverHeight :: HasRunwayCondition c_ap6D => Traversal' c_ap6D (Maybe Int)
rwcondRunway :: HasRunwayCondition c_ap6D => Traversal' c_ap6D Runway
rwcondSpread :: HasRunwayCondition c_ap6D => Traversal' c_ap6D (Maybe Int)
class AsRunwayCondition r_apdu
_RunwayCondition :: AsRunwayCondition r_apdu => Prism' r_apdu RunwayCondition
_SpecificRunwayCondition :: AsRunwayCondition r_apdu => Prism' r_apdu (Runway, RwyCoverType, Maybe Int, Maybe Int, RunwayBraking)
_RwyClosed :: AsRunwayCondition r_apdu => Prism' r_apdu Runway
_ADClosed :: AsRunwayCondition r_apdu => Prism' r_apdu ()

-- | A weather phenomenon. This can be an observed phenomenon in the case
--   of METARs or an expected phenomenon in the case of TAFs.
data WeatherPhenomenon
Phenomenon :: WPIntensity -> Maybe WPDesc -> Maybe WPPrecipitation -> Maybe WPObfuscation -> Maybe WPOther -> WeatherPhenomenon

-- | The intensity of the phenomenon.
[_intensity] :: WeatherPhenomenon -> WPIntensity

-- | The description of the weather phenomenon.
[_desc] :: WeatherPhenomenon -> Maybe WPDesc

-- | The precipitation type of the weather phenomenon.
[_prec] :: WeatherPhenomenon -> Maybe WPPrecipitation

-- | The effects of the phenomenon on the visibility
[_obfus] :: WeatherPhenomenon -> Maybe WPObfuscation

-- | Other details about the phenomenon.
[_other] :: WeatherPhenomenon -> Maybe WPOther
class HasWeatherPhenomenon c_anqV
weatherPhenomenon :: HasWeatherPhenomenon c_anqV => Lens' c_anqV WeatherPhenomenon
desc :: HasWeatherPhenomenon c_anqV => Lens' c_anqV (Maybe WPDesc)
intensity :: HasWeatherPhenomenon c_anqV => Lens' c_anqV WPIntensity
obfus :: HasWeatherPhenomenon c_anqV => Lens' c_anqV (Maybe WPObfuscation)
other :: HasWeatherPhenomenon c_anqV => Lens' c_anqV (Maybe WPOther)
prec :: HasWeatherPhenomenon c_anqV => Lens' c_anqV (Maybe WPPrecipitation)

-- | A cloud specification.
data Cloud

-- | No specific clouds could be observed, because the (given) ground
--   visibility was too low or because the ground is covered in clouds.
VVis :: Maybe Int -> Cloud

-- | Clouds were observed.
ObservedCloud :: Cover -> Vertical -> CloudType -> Cloud
class HasCloud c_asvA
cloud :: HasCloud c_asvA => Lens' c_asvA Cloud
class AsCloud r_asws
_Cloud :: AsCloud r_asws => Prism' r_asws Cloud
_VVis :: AsCloud r_asws => Prism' r_asws (Maybe Int)
_ObservedCloud :: AsCloud r_asws => Prism' r_asws (Cover, Vertical, CloudType)

-- | A pressure value. This is intentionally coded individually and not
--   converted to a specific reference.
data Pressure

-- | The QNH value in hectopascals. QNH is the current pressure at sea
--   level, corrected for pressure and temperature changes at the station
--   level.
QNH :: Int -> Pressure

-- | The same as QNH, only in inches (Do you know the old joke?: * ATC:
--   Liner 1723 descend to 3,000ft, the QNH is 1013mb. * Liner 1723: Uh,
--   approach, can we have that in inches please? * ATC: Liner 1723 descend
--   to 36,000 inches, the QNH is 1013mb.
Altimeter :: Int -> Pressure

-- | The current pressure at station level in hectopascals.
QFE :: Int -> Pressure

-- | The current pressure at sea level in hectopascals.
QFF :: Int -> Pressure
class HasPressure c_anki
pressure :: HasPressure c_anki => Lens' c_anki Pressure
class AsPressure r_anla
_Pressure :: AsPressure r_anla => Prism' r_anla Pressure
_QNH :: AsPressure r_anla => Prism' r_anla Int
_Altimeter :: AsPressure r_anla => Prism' r_anla Int
_QFE :: AsPressure r_anla => Prism' r_anla Int
_QFF :: AsPressure r_anla => Prism' r_anla Int

-- | The trend part of an observation message specifies expected changes in
--   weather conditions within the next two hours. A Trend/Transition part
--   of a TAF message specified expected changes in weather conditions
--   within the specified range.
data Trend

-- | A transition that will start within the defined time frame and be
--   completed at the end of the defined time frame
BECMG :: Maybe Date -> Maybe Date -> [Transition] -> Trend
[_becmgStart] :: Trend -> Maybe Date
[_becmgFinished] :: Trend -> Maybe Date
[_becmgTransitions] :: Trend -> [Transition]

-- | A transition that will start within the defined time frame and be
--   finished at the end of the defined time frame
TEMPO :: Maybe Date -> Maybe Date -> [Transition] -> Trend
[_tempoFrom] :: Trend -> Maybe Date
[_tempoTo] :: Trend -> Maybe Date
[_tempoTransitions] :: Trend -> [Transition]

-- | A probability specification. As one of my FIs (ex-atc at EDDF) used to
--   put it: 30% means "I'm quite sure it won't happen but will still put
--   it in here, in case it does after all." 40% means "I'm certain it will
--   happen but will still put it with 40%, in case it does not happen
--   after all."
PROB :: Int -> Trend -> Trend

-- | NOSIG is only applicable to METARs. It means that no significant
--   changes are expected within the next two hours.
NOSIG :: Trend

-- | NOTAVAIL is only applicable to METARs. It means that the METAR message
--   in question does not contain a TREND section.
NOTAVAIL :: Trend
class HasTrend c_amR0
trend :: HasTrend c_amR0 => Lens' c_amR0 Trend
becmgFinished :: HasTrend c_amR0 => Traversal' c_amR0 (Maybe Date)
becmgStart :: HasTrend c_amR0 => Traversal' c_amR0 (Maybe Date)
becmgTransitions :: HasTrend c_amR0 => Traversal' c_amR0 [Transition]
tempoFrom :: HasTrend c_amR0 => Traversal' c_amR0 (Maybe Date)
tempoTo :: HasTrend c_amR0 => Traversal' c_amR0 (Maybe Date)
tempoTransitions :: HasTrend c_amR0 => Traversal' c_amR0 [Transition]
class AsTrend r_amYD
_Trend :: AsTrend r_amYD => Prism' r_amYD Trend
_BECMG :: AsTrend r_amYD => Prism' r_amYD (Maybe Date, Maybe Date, [Transition])
_TEMPO :: AsTrend r_amYD => Prism' r_amYD (Maybe Date, Maybe Date, [Transition])
_PROB :: AsTrend r_amYD => Prism' r_amYD (Int, Trend)
_NOSIG :: AsTrend r_amYD => Prism' r_amYD ()
_NOTAVAIL :: AsTrend r_amYD => Prism' r_amYD ()

-- | The description of a weather phenomenon.
data WPDesc

-- | Shallow.
Shallow :: WPDesc

-- | Patches.
Patches :: WPDesc

-- | Partial.
WXPartial :: WPDesc

-- | Low, drifting.
LowDrifting :: WPDesc

-- | Blowing.
Blowing :: WPDesc

-- | Shower.
Shower :: WPDesc

-- | Thunderstorm.
Thunderstorm :: WPDesc

-- | Freezing.
Freezing :: WPDesc
class HasWPDesc c_anDN
wPDesc :: HasWPDesc c_anDN => Lens' c_anDN WPDesc
class AsWPDesc r_anEF
_WPDesc :: AsWPDesc r_anEF => Prism' r_anEF WPDesc
_Shallow :: AsWPDesc r_anEF => Prism' r_anEF ()
_Patches :: AsWPDesc r_anEF => Prism' r_anEF ()
_WXPartial :: AsWPDesc r_anEF => Prism' r_anEF ()
_LowDrifting :: AsWPDesc r_anEF => Prism' r_anEF ()
_Blowing :: AsWPDesc r_anEF => Prism' r_anEF ()
_Shower :: AsWPDesc r_anEF => Prism' r_anEF ()
_Thunderstorm :: AsWPDesc r_anEF => Prism' r_anEF ()
_Freezing :: AsWPDesc r_anEF => Prism' r_anEF ()

-- | The type of the precipitation
data WPPrecipitation

-- | Drizzle.
Drizzle :: WPPrecipitation

-- | Rain.
Rain :: WPPrecipitation

-- | Snow.
Snow :: WPPrecipitation

-- | Snow grains.
ShowGrains :: WPPrecipitation

-- | Ice crystals.
IceCrystals :: WPPrecipitation

-- | Ice pellets.
IcePellets :: WPPrecipitation

-- | Hail.
Hail :: WPPrecipitation

-- | Snow pellets.
SnowPellets :: WPPrecipitation

-- | No precipication detected (fully automated measurement)
NoPrecipitationDetected :: WPPrecipitation

-- | Unknown type of precipitation.
UnknownPrecipitation :: WPPrecipitation
class HasWPPrecipitation c_anOW
wPPrecipitation :: HasWPPrecipitation c_anOW => Lens' c_anOW WPPrecipitation
class AsWPPrecipitation r_anPO
_WPPrecipitation :: AsWPPrecipitation r_anPO => Prism' r_anPO WPPrecipitation
_Drizzle :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_Rain :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_Snow :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_ShowGrains :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_IceCrystals :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_IcePellets :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_Hail :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_SnowPellets :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_NoPrecipitationDetected :: AsWPPrecipitation r_anPO => Prism' r_anPO ()
_UnknownPrecipitation :: AsWPPrecipitation r_anPO => Prism' r_anPO ()

-- | Effects on the visibility by a weather phenomenon
data WPObfuscation

-- | Mist. Visibility impaired but still greater than 1000m
Mist :: WPObfuscation

-- | Fog. Visibility less than 1000m.
Fog :: WPObfuscation

-- | Smoke.
Smoke :: WPObfuscation

-- | Volcanic ash.
VolcanicAsh :: WPObfuscation

-- | Dust.
Dust :: WPObfuscation

-- | Sand.
Sand :: WPObfuscation

-- | Haze.
Haze :: WPObfuscation
class HasWPObfuscation c_ao2p
wPObfuscation :: HasWPObfuscation c_ao2p => Lens' c_ao2p WPObfuscation
class AsWPObfuscation r_ao3h
_WPObfuscation :: AsWPObfuscation r_ao3h => Prism' r_ao3h WPObfuscation
_Mist :: AsWPObfuscation r_ao3h => Prism' r_ao3h ()
_Fog :: AsWPObfuscation r_ao3h => Prism' r_ao3h ()
_Smoke :: AsWPObfuscation r_ao3h => Prism' r_ao3h ()
_VolcanicAsh :: AsWPObfuscation r_ao3h => Prism' r_ao3h ()
_Dust :: AsWPObfuscation r_ao3h => Prism' r_ao3h ()
_Sand :: AsWPObfuscation r_ao3h => Prism' r_ao3h ()
_Haze :: AsWPObfuscation r_ao3h => Prism' r_ao3h ()

-- | Other important information about a weather phenomenon.
data WPOther

-- | Dust or sand whirls.
DustOrSandwhirls :: WPOther

-- | Squalls.
Squalls :: WPOther

-- | Tornado.
Tornado :: WPOther

-- | Sand storm.
Sandstorm :: WPOther

-- | Dust storm.
Duststorm :: WPOther
class HasWPOther c_aoco
wPOther :: HasWPOther c_aoco => Lens' c_aoco WPOther
class AsWPOther r_aodg
_WPOther :: AsWPOther r_aodg => Prism' r_aodg WPOther
_DustOrSandwhirls :: AsWPOther r_aodg => Prism' r_aodg ()
_Squalls :: AsWPOther r_aodg => Prism' r_aodg ()
_Tornado :: AsWPOther r_aodg => Prism' r_aodg ()
_Sandstorm :: AsWPOther r_aodg => Prism' r_aodg ()
_Duststorm :: AsWPOther r_aodg => Prism' r_aodg ()

-- | The Distance.
data Distance

-- | The distance in metres.
Metres :: Int -> Distance

-- | The distance in km.
KM :: Int -> Distance

-- | The distance in statute miles.
SM :: Int -> Distance

-- | The distance in nautical miles.
NM :: Int -> Distance
class HasDistance c_aok3
distance :: HasDistance c_aok3 => Lens' c_aok3 Distance
class AsDistance r_aokV
_Distance :: AsDistance r_aokV => Prism' r_aokV Distance
_Metres :: AsDistance r_aokV => Prism' r_aokV Int
_KM :: AsDistance r_aokV => Prism' r_aokV Int
_SM :: AsDistance r_aokV => Prism' r_aokV Int
_NM :: AsDistance r_aokV => Prism' r_aokV Int

-- | Directions.
data Direction

-- | North.
North :: Direction

-- | South.
South :: Direction

-- | East.
East :: Direction

-- | West.
West :: Direction

-- | Northwest.
NorthWest :: Direction

-- | Northeast.
NorthEast :: Direction

-- | Southwest.
SouthWest :: Direction

-- | Southeast.
SouthEast :: Direction

-- | No direction could be determined
NDV :: Direction

-- | Left runway for runways of the same QFU (part of the runway
--   designator)
RWYLeft :: Direction

-- | Right runway for runways of the same QFU (part of the runway
--   designator)
RWYRight :: Direction

-- | Centre runway for runways of the same QFU (part of the runway
--   designator)
RWYCenter :: Direction
class HasDirection c_aoxj
direction :: HasDirection c_aoxj => Lens' c_aoxj Direction
class AsDirection r_aoyb
_Direction :: AsDirection r_aoyb => Prism' r_aoyb Direction
_North :: AsDirection r_aoyb => Prism' r_aoyb ()
_South :: AsDirection r_aoyb => Prism' r_aoyb ()
_East :: AsDirection r_aoyb => Prism' r_aoyb ()
_West :: AsDirection r_aoyb => Prism' r_aoyb ()
_NorthWest :: AsDirection r_aoyb => Prism' r_aoyb ()
_NorthEast :: AsDirection r_aoyb => Prism' r_aoyb ()
_SouthWest :: AsDirection r_aoyb => Prism' r_aoyb ()
_SouthEast :: AsDirection r_aoyb => Prism' r_aoyb ()
_NDV :: AsDirection r_aoyb => Prism' r_aoyb ()
_RWYLeft :: AsDirection r_aoyb => Prism' r_aoyb ()
_RWYRight :: AsDirection r_aoyb => Prism' r_aoyb ()
_RWYCenter :: AsDirection r_aoyb => Prism' r_aoyb ()

-- | The runway contamination type.
data RwyCoverType

-- | The runway is not contaminated.
RCTDry :: RwyCoverType

-- | The runway is moist.
RCTMoist :: RwyCoverType

-- | The runway is wet.
RCTWet :: RwyCoverType

-- | The runway is convered with rime.
RCTRime :: RwyCoverType

-- | The runway is covered with dry snow.
RCTDrySnow :: RwyCoverType

-- | The runway is covered with wet snow.
RCTWetSnow :: RwyCoverType

-- | The runway is covered with slush.
RCTSlush :: RwyCoverType

-- | The runway is covered with ice.
RCTIce :: RwyCoverType

-- | The runway is covered with frozen ruts or ridges.
RCTFZRut :: RwyCoverType

-- | The runway contamination type is unknown.
RCTUnknown :: RwyCoverType
class HasRwyCoverType c_aoTa
rwyCoverType :: HasRwyCoverType c_aoTa => Lens' c_aoTa RwyCoverType
class AsRwyCoverType r_aoU2
_RwyCoverType :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 RwyCoverType
_RCTDry :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTMoist :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTWet :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTRime :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTDrySnow :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTWetSnow :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTSlush :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTIce :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTFZRut :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()
_RCTUnknown :: AsRwyCoverType r_aoU2 => Prism' r_aoU2 ()

-- | The measured brake efficiency of a specific runway.
data RunwayBraking

-- | The friction coefficient.
BrakingFriction :: Int -> RunwayBraking

-- | The braking coefficient.
BrakingEffect :: Int -> RunwayBraking
class HasRunwayBraking c_apij
runwayBraking :: HasRunwayBraking c_apij => Lens' c_apij RunwayBraking
class AsRunwayBraking r_apjb
_RunwayBraking :: AsRunwayBraking r_apjb => Prism' r_apjb RunwayBraking
_BrakingFriction :: AsRunwayBraking r_apjb => Prism' r_apjb Int
_BrakingEffect :: AsRunwayBraking r_apjb => Prism' r_apjb Int

-- | A vertical position specification.
data Vertical

-- | A vertical position with reference to the ground in feet.
Height :: Int -> Vertical

-- | A vertical position with reference to the mean sea level/QNH in feet.
Altitude :: Int -> Vertical

-- | A pressure altitude with reference to the standard QNH of 1013
--   hectopascals in hundrets of feet.
FlightLevel :: Int -> Vertical

-- | Vertical position is not specified.
VertNotSpec :: Vertical
class HasVertical c_as6x
vertical :: HasVertical c_as6x => Lens' c_as6x Vertical
class AsVertical r_as7p
_Vertical :: AsVertical r_as7p => Prism' r_as7p Vertical
_Height :: AsVertical r_as7p => Prism' r_as7p Int
_Altitude :: AsVertical r_as7p => Prism' r_as7p Int
_FlightLevel :: AsVertical r_as7p => Prism' r_as7p Int
_VertNotSpec :: AsVertical r_as7p => Prism' r_as7p ()

-- | The direction the wind is blowing from.
data WindDirection

-- | The wind is blowing in equal or almost equal strength from a wide
--   variety of directions.
Variable :: WindDirection

-- | The wind is blowing from the specified direction. Directions can be
--   given with reference to true or magnetic north, depending on the type
--   of weather observation/forecast message.
Degrees :: Int -> WindDirection

-- | The wind is blowing from a specific direction range.
Varying :: Int -> Int -> Int -> WindDirection

-- | The mean direction the wind is blowing from.
[_windmean] :: WindDirection -> Int

-- | The minimum direction the wind is blowing from.
[_windfrom] :: WindDirection -> Int

-- | The maximum direction the wind is blowing from.
[_windto] :: WindDirection -> Int
class HasWindDirection c_asgv
windDirection :: HasWindDirection c_asgv => Lens' c_asgv WindDirection
windfrom :: HasWindDirection c_asgv => Traversal' c_asgv Int
windmean :: HasWindDirection c_asgv => Traversal' c_asgv Int
windto :: HasWindDirection c_asgv => Traversal' c_asgv Int
class AsWindDirection r_askg
_WindDirection :: AsWindDirection r_askg => Prism' r_askg WindDirection
_Variable :: AsWindDirection r_askg => Prism' r_askg ()
_Degrees :: AsWindDirection r_askg => Prism' r_askg Int
_Varying :: AsWindDirection r_askg => Prism' r_askg (Int, Int, Int)

-- | The area that is covered.
data Cover

-- | 1-2 eights are covered.
FEW :: Cover

-- | 3-4 eights are covered.
SCT :: Cover

-- | 5-7 eights are covered.
BKN :: Cover

-- | More than 7 eights are covered.
OVC :: Cover

-- | Cover not specified
CoverNotSpecified :: Cover
class HasCover c_asNs
cover :: HasCover c_asNs => Lens' c_asNs Cover
class AsCover r_asOk
_Cover :: AsCover r_asOk => Prism' r_asOk Cover
_FEW :: AsCover r_asOk => Prism' r_asOk ()
_SCT :: AsCover r_asOk => Prism' r_asOk ()
_BKN :: AsCover r_asOk => Prism' r_asOk ()
_OVC :: AsCover r_asOk => Prism' r_asOk ()
_CoverNotSpecified :: AsCover r_asOk => Prism' r_asOk ()

-- | The type of cloud.
data CloudType

-- | A cumulonimbus cloud.
Cumulonimbus :: CloudType

-- | A developing cb cloud.
ToweringCumulus :: CloudType

-- | A stratus cloud.
Stratus :: CloudType

-- | A cumulus cloud.
Cumulus :: CloudType

-- | A stratocumulus cloud.
Stratocumulus :: CloudType

-- | An altostratus cloud.
Altostratus :: CloudType

-- | An altocumulus cloud.
Altocumulus :: CloudType

-- | A cirrostratus cloud.
Cirrostratus :: CloudType

-- | A cirrus cloud.
Cirrus :: CloudType

-- | An unclassified cloud.
Unclassified :: CloudType
class HasCloudType c_aszZ
cloudType :: HasCloudType c_aszZ => Lens' c_aszZ CloudType
class AsCloudType r_asAR
_CloudType :: AsCloudType r_asAR => Prism' r_asAR CloudType
_Cumulonimbus :: AsCloudType r_asAR => Prism' r_asAR ()
_ToweringCumulus :: AsCloudType r_asAR => Prism' r_asAR ()
_Stratus :: AsCloudType r_asAR => Prism' r_asAR ()
_Cumulus :: AsCloudType r_asAR => Prism' r_asAR ()
_Stratocumulus :: AsCloudType r_asAR => Prism' r_asAR ()
_Altostratus :: AsCloudType r_asAR => Prism' r_asAR ()
_Altocumulus :: AsCloudType r_asAR => Prism' r_asAR ()
_Cirrostratus :: AsCloudType r_asAR => Prism' r_asAR ()
_Cirrus :: AsCloudType r_asAR => Prism' r_asAR ()
_Unclassified :: AsCloudType r_asAR => Prism' r_asAR ()

-- | The intensity of an observed or expected weather phenomenon.
data WPIntensity

-- | Light
Light :: WPIntensity

-- | Moderate
Moderate :: WPIntensity

-- | Heavy
Heavy :: WPIntensity

-- | Only applicable to METARs. The weather phenomenon was observed in the
--   vicinity of the observed area, not within the observed area itself.
Vicinity :: WPIntensity

-- | Only applicable to METARs. The weather phenomenon was recently
--   observed in the past, but was not observed at the time the report was
--   issued.
Recent :: WPIntensity
class HasWPIntensity c_anw8
wPIntensity :: HasWPIntensity c_anw8 => Lens' c_anw8 WPIntensity
class AsWPIntensity r_anx0
_WPIntensity :: AsWPIntensity r_anx0 => Prism' r_anx0 WPIntensity
_Light :: AsWPIntensity r_anx0 => Prism' r_anx0 ()
_Moderate :: AsWPIntensity r_anx0 => Prism' r_anx0 ()
_Heavy :: AsWPIntensity r_anx0 => Prism' r_anx0 ()
_Vicinity :: AsWPIntensity r_anx0 => Prism' r_anx0 ()
_Recent :: AsWPIntensity r_anx0 => Prism' r_anx0 ()

-- | A transition in weather conditions. A transition can either be
--   temporary or permanent; this will be encoded in the container
--   structure.
data Transition

-- | A change of wind strength or direction
TransWind :: Wind -> Transition

-- | A change of visibility
TransVis :: [Visibility] -> Transition

-- | A change of visibility for a specific runway
TransRunwayVis :: [(Runway, [Visibility], Maybe VisTrend)] -> Transition

-- | A change of weather phenomenon
TransWX :: [WeatherPhenomenon] -> Transition

-- | A change of ceiling or cloud layers
TransClouds :: [Cloud] -> Transition

-- | A change of ceiling or cloud layers
TransPressure :: [Pressure] -> Transition
class HasTransition c_an5W
transition :: HasTransition c_an5W => Lens' c_an5W Transition
class AsTransition r_an6O
_Transition :: AsTransition r_an6O => Prism' r_an6O Transition
_TransWind :: AsTransition r_an6O => Prism' r_an6O Wind
_TransVis :: AsTransition r_an6O => Prism' r_an6O [Visibility]
_TransRunwayVis :: AsTransition r_an6O => Prism' r_an6O [(Runway, [Visibility], Maybe VisTrend)]
_TransWX :: AsTransition r_an6O => Prism' r_an6O [WeatherPhenomenon]
_TransClouds :: AsTransition r_an6O => Prism' r_an6O [Cloud]
_TransPressure :: AsTransition r_an6O => Prism' r_an6O [Pressure]

-- | A speed unit.
data Unit

-- | Nautical miles per hour
Knots :: Int -> Unit

-- | Statute miles per hour
Miles :: Int -> Unit

-- | Unknown (miles per second?)
MPS :: Int -> Unit

-- | Kilometres per hour
KMH :: Int -> Unit
class HasUnit c_asoX
unit :: HasUnit c_asoX => Lens' c_asoX Unit
class AsUnit r_aspP
_Unit :: AsUnit r_aspP => Prism' r_aspP Unit
_Knots :: AsUnit r_aspP => Prism' r_aspP Int
_Miles :: AsUnit r_aspP => Prism' r_aspP Int
_MPS :: AsUnit r_aspP => Prism' r_aspP Int
_KMH :: AsUnit r_aspP => Prism' r_aspP Int
data ReportType
MetarReport :: ReportType
TafReport :: ReportType
instance Data.Aviation.WX.AsCover Data.Aviation.WX.Cover
instance Data.Aviation.WX.HasWPIntensity Data.Aviation.WX.WeatherPhenomenon
instance Data.Aviation.WX.HasCover Data.Aviation.WX.Cover
instance Data.Aviation.WX.AsCloudType Data.Aviation.WX.CloudType
instance Data.Aviation.WX.HasCloudType Data.Aviation.WX.CloudType
instance Data.Aviation.WX.AsCloud Data.Aviation.WX.Cloud
instance Data.Aviation.WX.HasCloud Data.Aviation.WX.Cloud
instance Data.Aviation.WX.AsUnit Data.Aviation.WX.Unit
instance Data.Aviation.WX.HasUnit Data.Aviation.WX.Unit
instance Data.Aviation.WX.AsWindDirection Data.Aviation.WX.WindDirection
instance Data.Aviation.WX.HasWindDirection Data.Aviation.WX.WindDirection
instance Data.Aviation.WX.HasWind Data.Aviation.WX.Wind
instance Data.Aviation.WX.AsVertical Data.Aviation.WX.Vertical
instance Data.Aviation.WX.HasVertical Data.Aviation.WX.Vertical
instance (Data.Aviation.WX.Station Data.Type.Equality.~ t) => Control.Lens.Wrapped.Rewrapped Data.Aviation.WX.Station t
instance Control.Lens.Wrapped.Wrapped Data.Aviation.WX.Station
instance Data.Aviation.WX.HasDate Data.Aviation.WX.Date
instance Data.Aviation.WX.AsRunwayBraking Data.Aviation.WX.RunwayBraking
instance Data.Aviation.WX.HasRunwayBraking Data.Aviation.WX.RunwayBraking
instance Data.Aviation.WX.AsRunwayCondition Data.Aviation.WX.RunwayCondition
instance Data.Aviation.WX.HasRunwayCondition Data.Aviation.WX.RunwayCondition
instance Data.Aviation.WX.AsRwyCoverType Data.Aviation.WX.RwyCoverType
instance Data.Aviation.WX.HasRwyCoverType Data.Aviation.WX.RwyCoverType
instance Data.Aviation.WX.AsRunway Data.Aviation.WX.Runway
instance Data.Aviation.WX.HasRunway Data.Aviation.WX.Runway
instance Data.Aviation.WX.AsDirection Data.Aviation.WX.Direction
instance Data.Aviation.WX.HasDirection Data.Aviation.WX.Direction
instance Data.Aviation.WX.AsVisibility Data.Aviation.WX.Visibility
instance Data.Aviation.WX.HasVisibility Data.Aviation.WX.Visibility
instance Data.Aviation.WX.AsDistance Data.Aviation.WX.Distance
instance Data.Aviation.WX.HasDistance Data.Aviation.WX.Distance
instance Data.Aviation.WX.AsWPOther Data.Aviation.WX.WPOther
instance Data.Aviation.WX.HasWPOther Data.Aviation.WX.WPOther
instance Data.Aviation.WX.AsWPObfuscation Data.Aviation.WX.WPObfuscation
instance Data.Aviation.WX.HasWPObfuscation Data.Aviation.WX.WPObfuscation
instance Data.Aviation.WX.AsWPPrecipitation Data.Aviation.WX.WPPrecipitation
instance Data.Aviation.WX.HasWPPrecipitation Data.Aviation.WX.WPPrecipitation
instance Data.Aviation.WX.AsWPDesc Data.Aviation.WX.WPDesc
instance Data.Aviation.WX.HasWPDesc Data.Aviation.WX.WPDesc
instance Data.Aviation.WX.AsWPIntensity Data.Aviation.WX.WPIntensity
instance Data.Aviation.WX.HasWPIntensity Data.Aviation.WX.WPIntensity
instance Data.Aviation.WX.HasWeatherPhenomenon Data.Aviation.WX.WeatherPhenomenon
instance Data.Aviation.WX.AsPressure Data.Aviation.WX.Pressure
instance Data.Aviation.WX.HasPressure Data.Aviation.WX.Pressure
instance Data.Aviation.WX.AsVisTrend Data.Aviation.WX.VisTrend
instance Data.Aviation.WX.HasVisTrend Data.Aviation.WX.VisTrend
instance Data.Aviation.WX.AsTransition Data.Aviation.WX.Transition
instance Data.Aviation.WX.HasTransition Data.Aviation.WX.Transition
instance Data.Aviation.WX.AsTrend Data.Aviation.WX.Trend
instance Data.Aviation.WX.HasTrend Data.Aviation.WX.Trend
instance Data.Aviation.WX.AsFlag Data.Aviation.WX.Flag
instance Data.Aviation.WX.HasFlag Data.Aviation.WX.Flag
instance Data.Aviation.WX.AsWeather Data.Aviation.WX.Weather
instance Data.Aviation.WX.HasWeather Data.Aviation.WX.Weather
instance GHC.Show.Show Data.Aviation.WX.Weather
instance GHC.Classes.Eq Data.Aviation.WX.Weather
instance GHC.Show.Show Data.Aviation.WX.Trend
instance GHC.Classes.Eq Data.Aviation.WX.Trend
instance GHC.Show.Show Data.Aviation.WX.Transition
instance GHC.Classes.Eq Data.Aviation.WX.Transition
instance GHC.Show.Show Data.Aviation.WX.Cloud
instance GHC.Classes.Eq Data.Aviation.WX.Cloud
instance GHC.Show.Show Data.Aviation.WX.Cover
instance GHC.Classes.Ord Data.Aviation.WX.Cover
instance GHC.Classes.Eq Data.Aviation.WX.Cover
instance GHC.Enum.Enum Data.Aviation.WX.Cover
instance GHC.Show.Show Data.Aviation.WX.CloudType
instance GHC.Classes.Eq Data.Aviation.WX.CloudType
instance GHC.Enum.Enum Data.Aviation.WX.CloudType
instance GHC.Show.Show Data.Aviation.WX.Wind
instance GHC.Classes.Eq Data.Aviation.WX.Wind
instance GHC.Show.Show Data.Aviation.WX.Unit
instance GHC.Classes.Eq Data.Aviation.WX.Unit
instance GHC.Show.Show Data.Aviation.WX.WindDirection
instance GHC.Classes.Eq Data.Aviation.WX.WindDirection
instance GHC.Show.Show Data.Aviation.WX.Vertical
instance GHC.Classes.Eq Data.Aviation.WX.Vertical
instance GHC.Show.Show Data.Aviation.WX.Station
instance GHC.Classes.Eq Data.Aviation.WX.Station
instance GHC.Show.Show Data.Aviation.WX.Date
instance GHC.Classes.Eq Data.Aviation.WX.Date
instance GHC.Show.Show Data.Aviation.WX.RunwayCondition
instance GHC.Classes.Eq Data.Aviation.WX.RunwayCondition
instance GHC.Show.Show Data.Aviation.WX.RunwayBraking
instance GHC.Classes.Eq Data.Aviation.WX.RunwayBraking
instance GHC.Enum.Enum Data.Aviation.WX.RwyCoverType
instance GHC.Show.Show Data.Aviation.WX.RwyCoverType
instance GHC.Classes.Eq Data.Aviation.WX.RwyCoverType
instance GHC.Show.Show Data.Aviation.WX.Runway
instance GHC.Classes.Eq Data.Aviation.WX.Runway
instance GHC.Show.Show Data.Aviation.WX.Visibility
instance GHC.Classes.Eq Data.Aviation.WX.Visibility
instance GHC.Show.Show Data.Aviation.WX.Direction
instance GHC.Classes.Eq Data.Aviation.WX.Direction
instance GHC.Show.Show Data.Aviation.WX.Distance
instance GHC.Classes.Eq Data.Aviation.WX.Distance
instance GHC.Show.Show Data.Aviation.WX.WeatherPhenomenon
instance GHC.Classes.Eq Data.Aviation.WX.WeatherPhenomenon
instance GHC.Show.Show Data.Aviation.WX.WPOther
instance GHC.Classes.Ord Data.Aviation.WX.WPOther
instance GHC.Classes.Eq Data.Aviation.WX.WPOther
instance GHC.Enum.Enum Data.Aviation.WX.WPOther
instance GHC.Show.Show Data.Aviation.WX.WPObfuscation
instance GHC.Classes.Ord Data.Aviation.WX.WPObfuscation
instance GHC.Classes.Eq Data.Aviation.WX.WPObfuscation
instance GHC.Enum.Enum Data.Aviation.WX.WPObfuscation
instance GHC.Show.Show Data.Aviation.WX.WPPrecipitation
instance GHC.Classes.Ord Data.Aviation.WX.WPPrecipitation
instance GHC.Classes.Eq Data.Aviation.WX.WPPrecipitation
instance GHC.Enum.Enum Data.Aviation.WX.WPPrecipitation
instance GHC.Show.Show Data.Aviation.WX.WPDesc
instance GHC.Classes.Ord Data.Aviation.WX.WPDesc
instance GHC.Classes.Eq Data.Aviation.WX.WPDesc
instance GHC.Enum.Enum Data.Aviation.WX.WPDesc
instance GHC.Show.Show Data.Aviation.WX.WPIntensity
instance GHC.Classes.Eq Data.Aviation.WX.WPIntensity
instance GHC.Enum.Enum Data.Aviation.WX.WPIntensity
instance GHC.Show.Show Data.Aviation.WX.Pressure
instance GHC.Classes.Eq Data.Aviation.WX.Pressure
instance GHC.Show.Show Data.Aviation.WX.VisTrend
instance GHC.Classes.Eq Data.Aviation.WX.VisTrend
instance GHC.Show.Show Data.Aviation.WX.Flag
instance GHC.Classes.Eq Data.Aviation.WX.Flag
instance GHC.Enum.Enum Data.Aviation.WX.ReportType
instance GHC.Show.Show Data.Aviation.WX.ReportType
instance GHC.Classes.Eq Data.Aviation.WX.ReportType

module Data.Aviation.WX.Fetcher

-- | Parse the given METAR text.
parseWeather :: Text -> Either String Weather
fetchMetar :: ICAOStationDesignator -> IO (Either String Weather)
fetchTaf :: ICAOStationDesignator -> IO (Either String Weather)
