-- 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_aldQ
weather :: HasWeather c_aldQ => Lens' c_aldQ Weather
clouds :: HasWeather c_aldQ => Traversal' c_aldQ [Cloud]
dewPoint :: HasWeather c_aldQ => Traversal' c_aldQ (Maybe Int)
flags :: HasWeather c_aldQ => Traversal' c_aldQ [Flag]
maintenance :: HasWeather c_aldQ => Traversal' c_aldQ Bool
metardate :: HasWeather c_aldQ => Traversal' c_aldQ Date
metarpressure :: HasWeather c_aldQ => Traversal' c_aldQ (Maybe Pressure)
metarvisibility :: HasWeather c_aldQ => Traversal' c_aldQ [Visibility]
metarwind :: HasWeather c_aldQ => Traversal' c_aldQ (Maybe Wind)
remark :: HasWeather c_aldQ => Traversal' c_aldQ (Maybe Text)
reporttype :: HasWeather c_aldQ => Traversal' c_aldQ ReportType
runwaycond :: HasWeather c_aldQ => Traversal' c_aldQ [RunwayCondition]
runwayvis :: HasWeather c_aldQ => Traversal' c_aldQ [(Runway, [Visibility], Maybe VisTrend)]
station :: HasWeather c_aldQ => Traversal' c_aldQ Station
tafchanges :: HasWeather c_aldQ => Traversal' c_aldQ [Trend]
tafinitialconditions :: HasWeather c_aldQ => Traversal' c_aldQ [Transition]
tafissuedat :: HasWeather c_aldQ => Traversal' c_aldQ Date
tafvalidfrom :: HasWeather c_aldQ => Traversal' c_aldQ Date
tafvaliduntil :: HasWeather c_aldQ => Traversal' c_aldQ Date
temperature :: HasWeather c_aldQ => Traversal' c_aldQ (Maybe Int)
weathertrend :: HasWeather c_aldQ => Traversal' c_aldQ [Trend]
wx :: HasWeather c_aldQ => Traversal' c_aldQ [WeatherPhenomenon]
class AsWeather r_alMx
_Weather :: AsWeather r_alMx => Prism' r_alMx Weather
_METAR :: AsWeather r_alMx => Prism' r_alMx (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_alMx => Prism' r_alMx ()
_SPECI :: AsWeather r_alMx => Prism' r_alMx ()
_TAF :: AsWeather r_alMx => Prism' r_alMx (ReportType, Date, [Flag], Station, Date, Date, [Transition], [Trend])
_AIRMET :: AsWeather r_alMx => Prism' r_alMx ()
_SIGMET :: AsWeather r_alMx => Prism' r_alMx ()
_GAMET :: AsWeather r_alMx => Prism' r_alMx ()

-- | An obersvation date.
data Date
Date :: Int -> Int -> Int -> Date
[_dayOfMonth] :: Date -> Int
[_hour] :: Date -> Int
[_minute] :: Date -> Int
class HasDate c_aoDR
date :: HasDate c_aoDR => Lens' c_aoDR Date
dayOfMonth :: HasDate c_aoDR => Lens' c_aoDR Int
hour :: HasDate c_aoDR => Lens' c_aoDR Int
minute :: HasDate c_aoDR => Lens' c_aoDR 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_am8h
flag :: HasFlag c_am8h => Lens' c_am8h Flag
class AsFlag r_am96
_Flag :: AsFlag r_am96 => Prism' r_am96 Flag
_COR :: AsFlag r_am96 => Prism' r_am96 ()
_AMD :: AsFlag r_am96 => Prism' r_am96 ()
_AUTO :: AsFlag r_am96 => Prism' r_am96 ()

-- | 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_arDC
wind :: HasWind c_arDC => Lens' c_arDC Wind
gusts :: HasWind c_arDC => Lens' c_arDC (Maybe Int)
velocity :: HasWind c_arDC => Lens' c_arDC (Maybe Unit)
winddirection :: HasWind c_arDC => Lens' c_arDC (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_anJT
visibility :: HasVisibility c_anJT => Lens' c_anJT Visibility
class AsVisibility r_anKI
_Visibility :: AsVisibility r_anKI => Prism' r_anKI Visibility
_TenOrMore :: AsVisibility r_anKI => Prism' r_anKI ()
_FiftyMetresOrLess :: AsVisibility r_anKI => Prism' r_anKI ()
_TwoOrMore :: AsVisibility r_anKI => Prism' r_anKI ()
_SpecificVisibility :: AsVisibility r_anKI => Prism' r_anKI (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_ao5B
runway :: HasRunway c_ao5B => Lens' c_ao5B Runway
runwayDirection :: HasRunway c_ao5B => Traversal' c_ao5B (Maybe Direction)
runwayQFU :: HasRunway c_ao5B => Traversal' c_ao5B Int
class AsRunway r_ao87
_Runway :: AsRunway r_ao87 => Prism' r_ao87 Runway
_AllRunways :: AsRunway r_ao87 => Prism' r_ao87 ()
_SpecificRunway :: AsRunway r_ao87 => Prism' r_ao87 (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_amAD
visTrend :: HasVisTrend c_amAD => Lens' c_amAD VisTrend
class AsVisTrend r_amBs
_VisTrend :: AsVisTrend r_amBs => Prism' r_amBs VisTrend
_VisTrendUpward :: AsVisTrend r_amBs => Prism' r_amBs ()
_VisTrendDownward :: AsVisTrend r_amBs => Prism' r_amBs ()
_VisTrendNoDistinctTendency :: AsVisTrend r_amBs => Prism' r_amBs ()

-- | 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_aoou
runwayCondition :: HasRunwayCondition c_aoou => Lens' c_aoou RunwayCondition
rwclosedRunway :: HasRunwayCondition c_aoou => Traversal' c_aoou Runway
rwcondBrkCoeff :: HasRunwayCondition c_aoou => Traversal' c_aoou RunwayBraking
rwcondCover :: HasRunwayCondition c_aoou => Traversal' c_aoou RwyCoverType
rwcondCoverHeight :: HasRunwayCondition c_aoou => Traversal' c_aoou (Maybe Int)
rwcondRunway :: HasRunwayCondition c_aoou => Traversal' c_aoou Runway
rwcondSpread :: HasRunwayCondition c_aoou => Traversal' c_aoou (Maybe Int)
class AsRunwayCondition r_aov6
_RunwayCondition :: AsRunwayCondition r_aov6 => Prism' r_aov6 RunwayCondition
_SpecificRunwayCondition :: AsRunwayCondition r_aov6 => Prism' r_aov6 (Runway, RwyCoverType, Maybe Int, Maybe Int, RunwayBraking)
_RwyClosed :: AsRunwayCondition r_aov6 => Prism' r_aov6 Runway
_ADClosed :: AsRunwayCondition r_aov6 => Prism' r_aov6 ()

-- | 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_amMb
weatherPhenomenon :: HasWeatherPhenomenon c_amMb => Lens' c_amMb WeatherPhenomenon
desc :: HasWeatherPhenomenon c_amMb => Lens' c_amMb (Maybe WPDesc)
intensity :: HasWeatherPhenomenon c_amMb => Lens' c_amMb WPIntensity
obfus :: HasWeatherPhenomenon c_amMb => Lens' c_amMb (Maybe WPObfuscation)
other :: HasWeatherPhenomenon c_amMb => Lens' c_amMb (Maybe WPOther)
prec :: HasWeatherPhenomenon c_amMb => Lens' c_amMb (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_arVp
cloud :: HasCloud c_arVp => Lens' c_arVp Cloud
class AsCloud r_arWe
_Cloud :: AsCloud r_arWe => Prism' r_arWe Cloud
_VVis :: AsCloud r_arWe => Prism' r_arWe (Maybe Int)
_ObservedCloud :: AsCloud r_arWe => Prism' r_arWe (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_amFM
pressure :: HasPressure c_amFM => Lens' c_amFM Pressure
class AsPressure r_amGB
_Pressure :: AsPressure r_amGB => Prism' r_amGB Pressure
_QNH :: AsPressure r_amGB => Prism' r_amGB Int
_Altimeter :: AsPressure r_amGB => Prism' r_amGB Int
_QFE :: AsPressure r_amGB => Prism' r_amGB Int
_QFF :: AsPressure r_amGB => Prism' r_amGB 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_amdq
trend :: HasTrend c_amdq => Lens' c_amdq Trend
becmgFinished :: HasTrend c_amdq => Traversal' c_amdq (Maybe Date)
becmgStart :: HasTrend c_amdq => Traversal' c_amdq (Maybe Date)
becmgTransitions :: HasTrend c_amdq => Traversal' c_amdq [Transition]
tempoFrom :: HasTrend c_amdq => Traversal' c_amdq (Maybe Date)
tempoTo :: HasTrend c_amdq => Traversal' c_amdq (Maybe Date)
tempoTransitions :: HasTrend c_amdq => Traversal' c_amdq [Transition]
class AsTrend r_amkO
_Trend :: AsTrend r_amkO => Prism' r_amkO Trend
_BECMG :: AsTrend r_amkO => Prism' r_amkO (Maybe Date, Maybe Date, [Transition])
_TEMPO :: AsTrend r_amkO => Prism' r_amkO (Maybe Date, Maybe Date, [Transition])
_PROB :: AsTrend r_amkO => Prism' r_amkO (Int, Trend)
_NOSIG :: AsTrend r_amkO => Prism' r_amkO ()
_NOTAVAIL :: AsTrend r_amkO => Prism' r_amkO ()

-- | 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_amYA
wPDesc :: HasWPDesc c_amYA => Lens' c_amYA WPDesc
class AsWPDesc r_amZp
_WPDesc :: AsWPDesc r_amZp => Prism' r_amZp WPDesc
_Shallow :: AsWPDesc r_amZp => Prism' r_amZp ()
_Patches :: AsWPDesc r_amZp => Prism' r_amZp ()
_WXPartial :: AsWPDesc r_amZp => Prism' r_amZp ()
_LowDrifting :: AsWPDesc r_amZp => Prism' r_amZp ()
_Blowing :: AsWPDesc r_amZp => Prism' r_amZp ()
_Shower :: AsWPDesc r_amZp => Prism' r_amZp ()
_Thunderstorm :: AsWPDesc r_amZp => Prism' r_amZp ()
_Freezing :: AsWPDesc r_amZp => Prism' r_amZp ()

-- | 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_an9n
wPPrecipitation :: HasWPPrecipitation c_an9n => Lens' c_an9n WPPrecipitation
class AsWPPrecipitation r_anac
_WPPrecipitation :: AsWPPrecipitation r_anac => Prism' r_anac WPPrecipitation
_Drizzle :: AsWPPrecipitation r_anac => Prism' r_anac ()
_Rain :: AsWPPrecipitation r_anac => Prism' r_anac ()
_Snow :: AsWPPrecipitation r_anac => Prism' r_anac ()
_ShowGrains :: AsWPPrecipitation r_anac => Prism' r_anac ()
_IceCrystals :: AsWPPrecipitation r_anac => Prism' r_anac ()
_IcePellets :: AsWPPrecipitation r_anac => Prism' r_anac ()
_Hail :: AsWPPrecipitation r_anac => Prism' r_anac ()
_SnowPellets :: AsWPPrecipitation r_anac => Prism' r_anac ()
_NoPrecipitationDetected :: AsWPPrecipitation r_anac => Prism' r_anac ()
_UnknownPrecipitation :: AsWPPrecipitation r_anac => Prism' r_anac ()

-- | 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_anmq
wPObfuscation :: HasWPObfuscation c_anmq => Lens' c_anmq WPObfuscation
class AsWPObfuscation r_annf
_WPObfuscation :: AsWPObfuscation r_annf => Prism' r_annf WPObfuscation
_Mist :: AsWPObfuscation r_annf => Prism' r_annf ()
_Fog :: AsWPObfuscation r_annf => Prism' r_annf ()
_Smoke :: AsWPObfuscation r_annf => Prism' r_annf ()
_VolcanicAsh :: AsWPObfuscation r_annf => Prism' r_annf ()
_Dust :: AsWPObfuscation r_annf => Prism' r_annf ()
_Sand :: AsWPObfuscation r_annf => Prism' r_annf ()
_Haze :: AsWPObfuscation r_annf => Prism' r_annf ()

-- | 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_anw5
wPOther :: HasWPOther c_anw5 => Lens' c_anw5 WPOther
class AsWPOther r_anwU
_WPOther :: AsWPOther r_anwU => Prism' r_anwU WPOther
_DustOrSandwhirls :: AsWPOther r_anwU => Prism' r_anwU ()
_Squalls :: AsWPOther r_anwU => Prism' r_anwU ()
_Tornado :: AsWPOther r_anwU => Prism' r_anwU ()
_Sandstorm :: AsWPOther r_anwU => Prism' r_anwU ()
_Duststorm :: AsWPOther r_anwU => Prism' r_anwU ()

-- | 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_anDu
distance :: HasDistance c_anDu => Lens' c_anDu Distance
class AsDistance r_anEj
_Distance :: AsDistance r_anEj => Prism' r_anEj Distance
_Metres :: AsDistance r_anEj => Prism' r_anEj Int
_KM :: AsDistance r_anEj => Prism' r_anEj Int
_SM :: AsDistance r_anEj => Prism' r_anEj Int
_NM :: AsDistance r_anEj => Prism' r_anEj 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_anQi
direction :: HasDirection c_anQi => Lens' c_anQi Direction
class AsDirection r_anR7
_Direction :: AsDirection r_anR7 => Prism' r_anR7 Direction
_North :: AsDirection r_anR7 => Prism' r_anR7 ()
_South :: AsDirection r_anR7 => Prism' r_anR7 ()
_East :: AsDirection r_anR7 => Prism' r_anR7 ()
_West :: AsDirection r_anR7 => Prism' r_anR7 ()
_NorthWest :: AsDirection r_anR7 => Prism' r_anR7 ()
_NorthEast :: AsDirection r_anR7 => Prism' r_anR7 ()
_SouthWest :: AsDirection r_anR7 => Prism' r_anR7 ()
_SouthEast :: AsDirection r_anR7 => Prism' r_anR7 ()
_NDV :: AsDirection r_anR7 => Prism' r_anR7 ()
_RWYLeft :: AsDirection r_anR7 => Prism' r_anR7 ()
_RWYRight :: AsDirection r_anR7 => Prism' r_anR7 ()
_RWYCenter :: AsDirection r_anR7 => Prism' r_anR7 ()

-- | 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_aobr
rwyCoverType :: HasRwyCoverType c_aobr => Lens' c_aobr RwyCoverType
class AsRwyCoverType r_aocg
_RwyCoverType :: AsRwyCoverType r_aocg => Prism' r_aocg RwyCoverType
_RCTDry :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTMoist :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTWet :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTRime :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTDrySnow :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTWetSnow :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTSlush :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTIce :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTFZRut :: AsRwyCoverType r_aocg => Prism' r_aocg ()
_RCTUnknown :: AsRwyCoverType r_aocg => Prism' r_aocg ()

-- | 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_aozM
runwayBraking :: HasRunwayBraking c_aozM => Lens' c_aozM RunwayBraking
class AsRunwayBraking r_aoAB
_RunwayBraking :: AsRunwayBraking r_aoAB => Prism' r_aoAB RunwayBraking
_BrakingFriction :: AsRunwayBraking r_aoAB => Prism' r_aoAB Int
_BrakingEffect :: AsRunwayBraking r_aoAB => Prism' r_aoAB 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_arxf
vertical :: HasVertical c_arxf => Lens' c_arxf Vertical
class AsVertical r_ary4
_Vertical :: AsVertical r_ary4 => Prism' r_ary4 Vertical
_Height :: AsVertical r_ary4 => Prism' r_ary4 Int
_Altitude :: AsVertical r_ary4 => Prism' r_ary4 Int
_FlightLevel :: AsVertical r_ary4 => Prism' r_ary4 Int
_VertNotSpec :: AsVertical r_ary4 => Prism' r_ary4 ()

-- | 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_arGQ
windDirection :: HasWindDirection c_arGQ => Lens' c_arGQ WindDirection
windfrom :: HasWindDirection c_arGQ => Traversal' c_arGQ Int
windmean :: HasWindDirection c_arGQ => Traversal' c_arGQ Int
windto :: HasWindDirection c_arGQ => Traversal' c_arGQ Int
class AsWindDirection r_arKs
_WindDirection :: AsWindDirection r_arKs => Prism' r_arKs WindDirection
_Variable :: AsWindDirection r_arKs => Prism' r_arKs ()
_Degrees :: AsWindDirection r_arKs => Prism' r_arKs Int
_Varying :: AsWindDirection r_arKs => Prism' r_arKs (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_ascH
cover :: HasCover c_ascH => Lens' c_ascH Cover
class AsCover r_asdw
_Cover :: AsCover r_asdw => Prism' r_asdw Cover
_FEW :: AsCover r_asdw => Prism' r_asdw ()
_SCT :: AsCover r_asdw => Prism' r_asdw ()
_BKN :: AsCover r_asdw => Prism' r_asdw ()
_OVC :: AsCover r_asdw => Prism' r_asdw ()
_CoverNotSpecified :: AsCover r_asdw => Prism' r_asdw ()

-- | 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_arZE
cloudType :: HasCloudType c_arZE => Lens' c_arZE CloudType
class AsCloudType r_as0t
_CloudType :: AsCloudType r_as0t => Prism' r_as0t CloudType
_Cumulonimbus :: AsCloudType r_as0t => Prism' r_as0t ()
_ToweringCumulus :: AsCloudType r_as0t => Prism' r_as0t ()
_Stratus :: AsCloudType r_as0t => Prism' r_as0t ()
_Cumulus :: AsCloudType r_as0t => Prism' r_as0t ()
_Stratocumulus :: AsCloudType r_as0t => Prism' r_as0t ()
_Altostratus :: AsCloudType r_as0t => Prism' r_as0t ()
_Altocumulus :: AsCloudType r_as0t => Prism' r_as0t ()
_Cirrostratus :: AsCloudType r_as0t => Prism' r_as0t ()
_Cirrus :: AsCloudType r_as0t => Prism' r_as0t ()
_Unclassified :: AsCloudType r_as0t => Prism' r_as0t ()

-- | 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_amRb
wPIntensity :: HasWPIntensity c_amRb => Lens' c_amRb WPIntensity
class AsWPIntensity r_amS0
_WPIntensity :: AsWPIntensity r_amS0 => Prism' r_amS0 WPIntensity
_Light :: AsWPIntensity r_amS0 => Prism' r_amS0 ()
_Moderate :: AsWPIntensity r_amS0 => Prism' r_amS0 ()
_Heavy :: AsWPIntensity r_amS0 => Prism' r_amS0 ()
_Vicinity :: AsWPIntensity r_amS0 => Prism' r_amS0 ()
_Recent :: AsWPIntensity r_amS0 => Prism' r_amS0 ()

-- | 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_amrU
transition :: HasTransition c_amrU => Lens' c_amrU Transition
class AsTransition r_amsJ
_Transition :: AsTransition r_amsJ => Prism' r_amsJ Transition
_TransWind :: AsTransition r_amsJ => Prism' r_amsJ Wind
_TransVis :: AsTransition r_amsJ => Prism' r_amsJ [Visibility]
_TransRunwayVis :: AsTransition r_amsJ => Prism' r_amsJ [(Runway, [Visibility], Maybe VisTrend)]
_TransWX :: AsTransition r_amsJ => Prism' r_amsJ [WeatherPhenomenon]
_TransClouds :: AsTransition r_amsJ => Prism' r_amsJ [Cloud]
_TransPressure :: AsTransition r_amsJ => Prism' r_amsJ [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_arP0
unit :: HasUnit c_arP0 => Lens' c_arP0 Unit
class AsUnit r_arPP
_Unit :: AsUnit r_arPP => Prism' r_arPP Unit
_Knots :: AsUnit r_arPP => Prism' r_arPP Int
_Miles :: AsUnit r_arPP => Prism' r_arPP Int
_MPS :: AsUnit r_arPP => Prism' r_arPP Int
_KMH :: AsUnit r_arPP => Prism' r_arPP 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 ~ 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)
