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

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

-- | 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_aqOs
wind :: HasWind c_aqOs => Lens' c_aqOs Wind
gusts :: HasWind c_aqOs => Lens' c_aqOs (Maybe Int)
velocity :: HasWind c_aqOs => Lens' c_aqOs (Maybe Unit)
winddirection :: HasWind c_aqOs => Lens' c_aqOs (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_amSL
visibility :: HasVisibility c_amSL => Lens' c_amSL Visibility
class AsVisibility r_amTA
_Visibility :: AsVisibility r_amTA => Prism' r_amTA Visibility
_TenOrMore :: AsVisibility r_amTA => Prism' r_amTA ()
_FiftyMetresOrLess :: AsVisibility r_amTA => Prism' r_amTA ()
_TwoOrMore :: AsVisibility r_amTA => Prism' r_amTA ()
_SpecificVisibility :: AsVisibility r_amTA => Prism' r_amTA (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_anet
runway :: HasRunway c_anet => Lens' c_anet Runway
runwayDirection :: HasRunway c_anet => Traversal' c_anet (Maybe Direction)
runwayQFU :: HasRunway c_anet => Traversal' c_anet Int
class AsRunway r_angZ
_Runway :: AsRunway r_angZ => Prism' r_angZ Runway
_AllRunways :: AsRunway r_angZ => Prism' r_angZ ()
_SpecificRunway :: AsRunway r_angZ => Prism' r_angZ (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_alJv
visTrend :: HasVisTrend c_alJv => Lens' c_alJv VisTrend
class AsVisTrend r_alKk
_VisTrend :: AsVisTrend r_alKk => Prism' r_alKk VisTrend
_VisTrendUpward :: AsVisTrend r_alKk => Prism' r_alKk ()
_VisTrendDownward :: AsVisTrend r_alKk => Prism' r_alKk ()
_VisTrendNoDistinctTendency :: AsVisTrend r_alKk => Prism' r_alKk ()

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

-- | 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_alV3
weatherPhenomenon :: HasWeatherPhenomenon c_alV3 => Lens' c_alV3 WeatherPhenomenon
desc :: HasWeatherPhenomenon c_alV3 => Lens' c_alV3 (Maybe WPDesc)
intensity :: HasWeatherPhenomenon c_alV3 => Lens' c_alV3 WPIntensity
obfus :: HasWeatherPhenomenon c_alV3 => Lens' c_alV3 (Maybe WPObfuscation)
other :: HasWeatherPhenomenon c_alV3 => Lens' c_alV3 (Maybe WPOther)
prec :: HasWeatherPhenomenon c_alV3 => Lens' c_alV3 (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_ar6f
cloud :: HasCloud c_ar6f => Lens' c_ar6f Cloud
class AsCloud r_ar74
_Cloud :: AsCloud r_ar74 => Prism' r_ar74 Cloud
_VVis :: AsCloud r_ar74 => Prism' r_ar74 (Maybe Int)
_ObservedCloud :: AsCloud r_ar74 => Prism' r_ar74 (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_alOE
pressure :: HasPressure c_alOE => Lens' c_alOE Pressure
class AsPressure r_alPt
_Pressure :: AsPressure r_alPt => Prism' r_alPt Pressure
_QNH :: AsPressure r_alPt => Prism' r_alPt Int
_Altimeter :: AsPressure r_alPt => Prism' r_alPt Int
_QFE :: AsPressure r_alPt => Prism' r_alPt Int
_QFF :: AsPressure r_alPt => Prism' r_alPt 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_almi
trend :: HasTrend c_almi => Lens' c_almi Trend
becmgFinished :: HasTrend c_almi => Traversal' c_almi (Maybe Date)
becmgStart :: HasTrend c_almi => Traversal' c_almi (Maybe Date)
becmgTransitions :: HasTrend c_almi => Traversal' c_almi [Transition]
tempoFrom :: HasTrend c_almi => Traversal' c_almi (Maybe Date)
tempoTo :: HasTrend c_almi => Traversal' c_almi (Maybe Date)
tempoTransitions :: HasTrend c_almi => Traversal' c_almi [Transition]
class AsTrend r_altG
_Trend :: AsTrend r_altG => Prism' r_altG Trend
_BECMG :: AsTrend r_altG => Prism' r_altG (Maybe Date, Maybe Date, [Transition])
_TEMPO :: AsTrend r_altG => Prism' r_altG (Maybe Date, Maybe Date, [Transition])
_PROB :: AsTrend r_altG => Prism' r_altG (Int, Trend)
_NOSIG :: AsTrend r_altG => Prism' r_altG ()
_NOTAVAIL :: AsTrend r_altG => Prism' r_altG ()

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

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

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

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

-- | 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_amMm
distance :: HasDistance c_amMm => Lens' c_amMm Distance
class AsDistance r_amNb
_Distance :: AsDistance r_amNb => Prism' r_amNb Distance
_Metres :: AsDistance r_amNb => Prism' r_amNb Int
_KM :: AsDistance r_amNb => Prism' r_amNb Int
_SM :: AsDistance r_amNb => Prism' r_amNb Int
_NM :: AsDistance r_amNb => Prism' r_amNb 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_amZa
direction :: HasDirection c_amZa => Lens' c_amZa Direction
class AsDirection r_amZZ
_Direction :: AsDirection r_amZZ => Prism' r_amZZ Direction
_North :: AsDirection r_amZZ => Prism' r_amZZ ()
_South :: AsDirection r_amZZ => Prism' r_amZZ ()
_East :: AsDirection r_amZZ => Prism' r_amZZ ()
_West :: AsDirection r_amZZ => Prism' r_amZZ ()
_NorthWest :: AsDirection r_amZZ => Prism' r_amZZ ()
_NorthEast :: AsDirection r_amZZ => Prism' r_amZZ ()
_SouthWest :: AsDirection r_amZZ => Prism' r_amZZ ()
_SouthEast :: AsDirection r_amZZ => Prism' r_amZZ ()
_NDV :: AsDirection r_amZZ => Prism' r_amZZ ()
_RWYLeft :: AsDirection r_amZZ => Prism' r_amZZ ()
_RWYRight :: AsDirection r_amZZ => Prism' r_amZZ ()
_RWYCenter :: AsDirection r_amZZ => Prism' r_amZZ ()

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

-- | 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_anIE
runwayBraking :: HasRunwayBraking c_anIE => Lens' c_anIE RunwayBraking
class AsRunwayBraking r_anJt
_RunwayBraking :: AsRunwayBraking r_anJt => Prism' r_anJt RunwayBraking
_BrakingFriction :: AsRunwayBraking r_anJt => Prism' r_anJt Int
_BrakingEffect :: AsRunwayBraking r_anJt => Prism' r_anJt 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_aqI5
vertical :: HasVertical c_aqI5 => Lens' c_aqI5 Vertical
class AsVertical r_aqIU
_Vertical :: AsVertical r_aqIU => Prism' r_aqIU Vertical
_Height :: AsVertical r_aqIU => Prism' r_aqIU Int
_Altitude :: AsVertical r_aqIU => Prism' r_aqIU Int
_FlightLevel :: AsVertical r_aqIU => Prism' r_aqIU Int
_VertNotSpec :: AsVertical r_aqIU => Prism' r_aqIU ()

-- | 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_aqRG
windDirection :: HasWindDirection c_aqRG => Lens' c_aqRG WindDirection
windfrom :: HasWindDirection c_aqRG => Traversal' c_aqRG Int
windmean :: HasWindDirection c_aqRG => Traversal' c_aqRG Int
windto :: HasWindDirection c_aqRG => Traversal' c_aqRG Int
class AsWindDirection r_aqVi
_WindDirection :: AsWindDirection r_aqVi => Prism' r_aqVi WindDirection
_Variable :: AsWindDirection r_aqVi => Prism' r_aqVi ()
_Degrees :: AsWindDirection r_aqVi => Prism' r_aqVi Int
_Varying :: AsWindDirection r_aqVi => Prism' r_aqVi (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_arnx
cover :: HasCover c_arnx => Lens' c_arnx Cover
class AsCover r_arom
_Cover :: AsCover r_arom => Prism' r_arom Cover
_FEW :: AsCover r_arom => Prism' r_arom ()
_SCT :: AsCover r_arom => Prism' r_arom ()
_BKN :: AsCover r_arom => Prism' r_arom ()
_OVC :: AsCover r_arom => Prism' r_arom ()
_CoverNotSpecified :: AsCover r_arom => Prism' r_arom ()

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

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

-- | 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_alAM
transition :: HasTransition c_alAM => Lens' c_alAM Transition
class AsTransition r_alBB
_Transition :: AsTransition r_alBB => Prism' r_alBB Transition
_TransWind :: AsTransition r_alBB => Prism' r_alBB Wind
_TransVis :: AsTransition r_alBB => Prism' r_alBB [Visibility]
_TransRunwayVis :: AsTransition r_alBB => Prism' r_alBB [(Runway, [Visibility], Maybe VisTrend)]
_TransWX :: AsTransition r_alBB => Prism' r_alBB [WeatherPhenomenon]
_TransClouds :: AsTransition r_alBB => Prism' r_alBB [Cloud]
_TransPressure :: AsTransition r_alBB => Prism' r_alBB [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_aqZQ
unit :: HasUnit c_aqZQ => Lens' c_aqZQ Unit
class AsUnit r_ar0F
_Unit :: AsUnit r_ar0F => Prism' r_ar0F Unit
_Knots :: AsUnit r_ar0F => Prism' r_ar0F Int
_Miles :: AsUnit r_ar0F => Prism' r_ar0F Int
_MPS :: AsUnit r_ar0F => Prism' r_ar0F Int
_KMH :: AsUnit r_ar0F => Prism' r_ar0F 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)
