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

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

-- | 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_aqNU
wind :: HasWind c_aqNU => Lens' c_aqNU Wind
gusts :: HasWind c_aqNU => Lens' c_aqNU (Maybe Int)
velocity :: HasWind c_aqNU => Lens' c_aqNU (Maybe Unit)
winddirection :: HasWind c_aqNU => Lens' c_aqNU (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_amSi
visibility :: HasVisibility c_amSi => Lens' c_amSi Visibility
class AsVisibility r_amT7
_Visibility :: AsVisibility r_amT7 => Prism' r_amT7 Visibility
_TenOrMore :: AsVisibility r_amT7 => Prism' r_amT7 ()
_FiftyMetresOrLess :: AsVisibility r_amT7 => Prism' r_amT7 ()
_TwoOrMore :: AsVisibility r_amT7 => Prism' r_amT7 ()
_SpecificVisibility :: AsVisibility r_amT7 => Prism' r_amT7 (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_ane0
runway :: HasRunway c_ane0 => Lens' c_ane0 Runway
runwayDirection :: HasRunway c_ane0 => Traversal' c_ane0 (Maybe Direction)
runwayQFU :: HasRunway c_ane0 => Traversal' c_ane0 Int
class AsRunway r_angw
_Runway :: AsRunway r_angw => Prism' r_angw Runway
_AllRunways :: AsRunway r_angw => Prism' r_angw ()
_SpecificRunway :: AsRunway r_angw => Prism' r_angw (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_alJ2
visTrend :: HasVisTrend c_alJ2 => Lens' c_alJ2 VisTrend
class AsVisTrend r_alJR
_VisTrend :: AsVisTrend r_alJR => Prism' r_alJR VisTrend
_VisTrendUpward :: AsVisTrend r_alJR => Prism' r_alJR ()
_VisTrendDownward :: AsVisTrend r_alJR => Prism' r_alJR ()
_VisTrendNoDistinctTendency :: AsVisTrend r_alJR => Prism' r_alJR ()

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

-- | 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_alUA
weatherPhenomenon :: HasWeatherPhenomenon c_alUA => Lens' c_alUA WeatherPhenomenon
desc :: HasWeatherPhenomenon c_alUA => Lens' c_alUA (Maybe WPDesc)
intensity :: HasWeatherPhenomenon c_alUA => Lens' c_alUA WPIntensity
obfus :: HasWeatherPhenomenon c_alUA => Lens' c_alUA (Maybe WPObfuscation)
other :: HasWeatherPhenomenon c_alUA => Lens' c_alUA (Maybe WPOther)
prec :: HasWeatherPhenomenon c_alUA => Lens' c_alUA (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_ar5H
cloud :: HasCloud c_ar5H => Lens' c_ar5H Cloud
class AsCloud r_ar6w
_Cloud :: AsCloud r_ar6w => Prism' r_ar6w Cloud
_VVis :: AsCloud r_ar6w => Prism' r_ar6w (Maybe Int)
_ObservedCloud :: AsCloud r_ar6w => Prism' r_ar6w (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_alOb
pressure :: HasPressure c_alOb => Lens' c_alOb Pressure
class AsPressure r_alP0
_Pressure :: AsPressure r_alP0 => Prism' r_alP0 Pressure
_QNH :: AsPressure r_alP0 => Prism' r_alP0 Int
_Altimeter :: AsPressure r_alP0 => Prism' r_alP0 Int
_QFE :: AsPressure r_alP0 => Prism' r_alP0 Int
_QFF :: AsPressure r_alP0 => Prism' r_alP0 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_allP
trend :: HasTrend c_allP => Lens' c_allP Trend
becmgFinished :: HasTrend c_allP => Traversal' c_allP (Maybe Date)
becmgStart :: HasTrend c_allP => Traversal' c_allP (Maybe Date)
becmgTransitions :: HasTrend c_allP => Traversal' c_allP [Transition]
tempoFrom :: HasTrend c_allP => Traversal' c_allP (Maybe Date)
tempoTo :: HasTrend c_allP => Traversal' c_allP (Maybe Date)
tempoTransitions :: HasTrend c_allP => Traversal' c_allP [Transition]
class AsTrend r_altd
_Trend :: AsTrend r_altd => Prism' r_altd Trend
_BECMG :: AsTrend r_altd => Prism' r_altd (Maybe Date, Maybe Date, [Transition])
_TEMPO :: AsTrend r_altd => Prism' r_altd (Maybe Date, Maybe Date, [Transition])
_PROB :: AsTrend r_altd => Prism' r_altd (Int, Trend)
_NOSIG :: AsTrend r_altd => Prism' r_altd ()
_NOTAVAIL :: AsTrend r_altd => Prism' r_altd ()

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

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

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

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

-- | 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_amLT
distance :: HasDistance c_amLT => Lens' c_amLT Distance
class AsDistance r_amMI
_Distance :: AsDistance r_amMI => Prism' r_amMI Distance
_Metres :: AsDistance r_amMI => Prism' r_amMI Int
_KM :: AsDistance r_amMI => Prism' r_amMI Int
_SM :: AsDistance r_amMI => Prism' r_amMI Int
_NM :: AsDistance r_amMI => Prism' r_amMI 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_amYH
direction :: HasDirection c_amYH => Lens' c_amYH Direction
class AsDirection r_amZw
_Direction :: AsDirection r_amZw => Prism' r_amZw Direction
_North :: AsDirection r_amZw => Prism' r_amZw ()
_South :: AsDirection r_amZw => Prism' r_amZw ()
_East :: AsDirection r_amZw => Prism' r_amZw ()
_West :: AsDirection r_amZw => Prism' r_amZw ()
_NorthWest :: AsDirection r_amZw => Prism' r_amZw ()
_NorthEast :: AsDirection r_amZw => Prism' r_amZw ()
_SouthWest :: AsDirection r_amZw => Prism' r_amZw ()
_SouthEast :: AsDirection r_amZw => Prism' r_amZw ()
_NDV :: AsDirection r_amZw => Prism' r_amZw ()
_RWYLeft :: AsDirection r_amZw => Prism' r_amZw ()
_RWYRight :: AsDirection r_amZw => Prism' r_amZw ()
_RWYCenter :: AsDirection r_amZw => Prism' r_amZw ()

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

-- | 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_anIb
runwayBraking :: HasRunwayBraking c_anIb => Lens' c_anIb RunwayBraking
class AsRunwayBraking r_anJ0
_RunwayBraking :: AsRunwayBraking r_anJ0 => Prism' r_anJ0 RunwayBraking
_BrakingFriction :: AsRunwayBraking r_anJ0 => Prism' r_anJ0 Int
_BrakingEffect :: AsRunwayBraking r_anJ0 => Prism' r_anJ0 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_aqHx
vertical :: HasVertical c_aqHx => Lens' c_aqHx Vertical
class AsVertical r_aqIm
_Vertical :: AsVertical r_aqIm => Prism' r_aqIm Vertical
_Height :: AsVertical r_aqIm => Prism' r_aqIm Int
_Altitude :: AsVertical r_aqIm => Prism' r_aqIm Int
_FlightLevel :: AsVertical r_aqIm => Prism' r_aqIm Int
_VertNotSpec :: AsVertical r_aqIm => Prism' r_aqIm ()

-- | 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_aqR8
windDirection :: HasWindDirection c_aqR8 => Lens' c_aqR8 WindDirection
windfrom :: HasWindDirection c_aqR8 => Traversal' c_aqR8 Int
windmean :: HasWindDirection c_aqR8 => Traversal' c_aqR8 Int
windto :: HasWindDirection c_aqR8 => Traversal' c_aqR8 Int
class AsWindDirection r_aqUK
_WindDirection :: AsWindDirection r_aqUK => Prism' r_aqUK WindDirection
_Variable :: AsWindDirection r_aqUK => Prism' r_aqUK ()
_Degrees :: AsWindDirection r_aqUK => Prism' r_aqUK Int
_Varying :: AsWindDirection r_aqUK => Prism' r_aqUK (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_armZ
cover :: HasCover c_armZ => Lens' c_armZ Cover
class AsCover r_arnO
_Cover :: AsCover r_arnO => Prism' r_arnO Cover
_FEW :: AsCover r_arnO => Prism' r_arnO ()
_SCT :: AsCover r_arnO => Prism' r_arnO ()
_BKN :: AsCover r_arnO => Prism' r_arnO ()
_OVC :: AsCover r_arnO => Prism' r_arnO ()
_CoverNotSpecified :: AsCover r_arnO => Prism' r_arnO ()

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

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

-- | 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_alAj
transition :: HasTransition c_alAj => Lens' c_alAj Transition
class AsTransition r_alB8
_Transition :: AsTransition r_alB8 => Prism' r_alB8 Transition
_TransWind :: AsTransition r_alB8 => Prism' r_alB8 Wind
_TransVis :: AsTransition r_alB8 => Prism' r_alB8 [Visibility]
_TransRunwayVis :: AsTransition r_alB8 => Prism' r_alB8 [(Runway, [Visibility], Maybe VisTrend)]
_TransWX :: AsTransition r_alB8 => Prism' r_alB8 [WeatherPhenomenon]
_TransClouds :: AsTransition r_alB8 => Prism' r_alB8 [Cloud]
_TransPressure :: AsTransition r_alB8 => Prism' r_alB8 [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_aqZi
unit :: HasUnit c_aqZi => Lens' c_aqZi Unit
class AsUnit r_ar07
_Unit :: AsUnit r_ar07 => Prism' r_ar07 Unit
_Knots :: AsUnit r_ar07 => Prism' r_ar07 Int
_Miles :: AsUnit r_ar07 => Prism' r_ar07 Int
_MPS :: AsUnit r_ar07 => Prism' r_ar07 Int
_KMH :: AsUnit r_ar07 => Prism' r_ar07 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)
