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

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

-- | 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_araM
wind :: HasWind c_araM => Lens' c_araM Wind
gusts :: HasWind c_araM => Lens' c_araM (Maybe Int)
velocity :: HasWind c_araM => Lens' c_araM (Maybe Unit)
winddirection :: HasWind c_araM => Lens' c_araM (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_anv5
visibility :: HasVisibility c_anv5 => Lens' c_anv5 Visibility
class AsVisibility r_anvU
_Visibility :: AsVisibility r_anvU => Prism' r_anvU Visibility
_TenOrMore :: AsVisibility r_anvU => Prism' r_anvU ()
_FiftyMetresOrLess :: AsVisibility r_anvU => Prism' r_anvU ()
_TwoOrMore :: AsVisibility r_anvU => Prism' r_anvU ()
_SpecificVisibility :: AsVisibility r_anvU => Prism' r_anvU (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_anQN
runway :: HasRunway c_anQN => Lens' c_anQN Runway
runwayDirection :: HasRunway c_anQN => Traversal' c_anQN (Maybe Direction)
runwayQFU :: HasRunway c_anQN => Traversal' c_anQN Int
class AsRunway r_anTj
_Runway :: AsRunway r_anTj => Prism' r_anTj Runway
_AllRunways :: AsRunway r_anTj => Prism' r_anTj ()
_SpecificRunway :: AsRunway r_anTj => Prism' r_anTj (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_amlP
visTrend :: HasVisTrend c_amlP => Lens' c_amlP VisTrend
class AsVisTrend r_ammE
_VisTrend :: AsVisTrend r_ammE => Prism' r_ammE VisTrend
_VisTrendUpward :: AsVisTrend r_ammE => Prism' r_ammE ()
_VisTrendDownward :: AsVisTrend r_ammE => Prism' r_ammE ()
_VisTrendNoDistinctTendency :: AsVisTrend r_ammE => Prism' r_ammE ()

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

-- | 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_amxn
weatherPhenomenon :: HasWeatherPhenomenon c_amxn => Lens' c_amxn WeatherPhenomenon
desc :: HasWeatherPhenomenon c_amxn => Lens' c_amxn (Maybe WPDesc)
intensity :: HasWeatherPhenomenon c_amxn => Lens' c_amxn WPIntensity
obfus :: HasWeatherPhenomenon c_amxn => Lens' c_amxn (Maybe WPObfuscation)
other :: HasWeatherPhenomenon c_amxn => Lens' c_amxn (Maybe WPOther)
prec :: HasWeatherPhenomenon c_amxn => Lens' c_amxn (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_arsz
cloud :: HasCloud c_arsz => Lens' c_arsz Cloud
class AsCloud r_arto
_Cloud :: AsCloud r_arto => Prism' r_arto Cloud
_VVis :: AsCloud r_arto => Prism' r_arto (Maybe Int)
_ObservedCloud :: AsCloud r_arto => Prism' r_arto (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_amqY
pressure :: HasPressure c_amqY => Lens' c_amqY Pressure
class AsPressure r_amrN
_Pressure :: AsPressure r_amrN => Prism' r_amrN Pressure
_QNH :: AsPressure r_amrN => Prism' r_amrN Int
_Altimeter :: AsPressure r_amrN => Prism' r_amrN Int
_QFE :: AsPressure r_amrN => Prism' r_amrN Int
_QFF :: AsPressure r_amrN => Prism' r_amrN 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_alYC
trend :: HasTrend c_alYC => Lens' c_alYC Trend
becmgFinished :: HasTrend c_alYC => Traversal' c_alYC (Maybe Date)
becmgStart :: HasTrend c_alYC => Traversal' c_alYC (Maybe Date)
becmgTransitions :: HasTrend c_alYC => Traversal' c_alYC [Transition]
tempoFrom :: HasTrend c_alYC => Traversal' c_alYC (Maybe Date)
tempoTo :: HasTrend c_alYC => Traversal' c_alYC (Maybe Date)
tempoTransitions :: HasTrend c_alYC => Traversal' c_alYC [Transition]
class AsTrend r_am60
_Trend :: AsTrend r_am60 => Prism' r_am60 Trend
_BECMG :: AsTrend r_am60 => Prism' r_am60 (Maybe Date, Maybe Date, [Transition])
_TEMPO :: AsTrend r_am60 => Prism' r_am60 (Maybe Date, Maybe Date, [Transition])
_PROB :: AsTrend r_am60 => Prism' r_am60 (Int, Trend)
_NOSIG :: AsTrend r_am60 => Prism' r_am60 ()
_NOTAVAIL :: AsTrend r_am60 => Prism' r_am60 ()

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

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

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

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

-- | 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_anoG
distance :: HasDistance c_anoG => Lens' c_anoG Distance
class AsDistance r_anpv
_Distance :: AsDistance r_anpv => Prism' r_anpv Distance
_Metres :: AsDistance r_anpv => Prism' r_anpv Int
_KM :: AsDistance r_anpv => Prism' r_anpv Int
_SM :: AsDistance r_anpv => Prism' r_anpv Int
_NM :: AsDistance r_anpv => Prism' r_anpv 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_anBu
direction :: HasDirection c_anBu => Lens' c_anBu Direction
class AsDirection r_anCj
_Direction :: AsDirection r_anCj => Prism' r_anCj Direction
_North :: AsDirection r_anCj => Prism' r_anCj ()
_South :: AsDirection r_anCj => Prism' r_anCj ()
_East :: AsDirection r_anCj => Prism' r_anCj ()
_West :: AsDirection r_anCj => Prism' r_anCj ()
_NorthWest :: AsDirection r_anCj => Prism' r_anCj ()
_NorthEast :: AsDirection r_anCj => Prism' r_anCj ()
_SouthWest :: AsDirection r_anCj => Prism' r_anCj ()
_SouthEast :: AsDirection r_anCj => Prism' r_anCj ()
_NDV :: AsDirection r_anCj => Prism' r_anCj ()
_RWYLeft :: AsDirection r_anCj => Prism' r_anCj ()
_RWYRight :: AsDirection r_anCj => Prism' r_anCj ()
_RWYCenter :: AsDirection r_anCj => Prism' r_anCj ()

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

-- | 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_aokY
runwayBraking :: HasRunwayBraking c_aokY => Lens' c_aokY RunwayBraking
class AsRunwayBraking r_aolN
_RunwayBraking :: AsRunwayBraking r_aolN => Prism' r_aolN RunwayBraking
_BrakingFriction :: AsRunwayBraking r_aolN => Prism' r_aolN Int
_BrakingEffect :: AsRunwayBraking r_aolN => Prism' r_aolN 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_ar4p
vertical :: HasVertical c_ar4p => Lens' c_ar4p Vertical
class AsVertical r_ar5e
_Vertical :: AsVertical r_ar5e => Prism' r_ar5e Vertical
_Height :: AsVertical r_ar5e => Prism' r_ar5e Int
_Altitude :: AsVertical r_ar5e => Prism' r_ar5e Int
_FlightLevel :: AsVertical r_ar5e => Prism' r_ar5e Int
_VertNotSpec :: AsVertical r_ar5e => Prism' r_ar5e ()

-- | 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_are0
windDirection :: HasWindDirection c_are0 => Lens' c_are0 WindDirection
windfrom :: HasWindDirection c_are0 => Traversal' c_are0 Int
windmean :: HasWindDirection c_are0 => Traversal' c_are0 Int
windto :: HasWindDirection c_are0 => Traversal' c_are0 Int
class AsWindDirection r_arhC
_WindDirection :: AsWindDirection r_arhC => Prism' r_arhC WindDirection
_Variable :: AsWindDirection r_arhC => Prism' r_arhC ()
_Degrees :: AsWindDirection r_arhC => Prism' r_arhC Int
_Varying :: AsWindDirection r_arhC => Prism' r_arhC (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_arJR
cover :: HasCover c_arJR => Lens' c_arJR Cover
class AsCover r_arKG
_Cover :: AsCover r_arKG => Prism' r_arKG Cover
_FEW :: AsCover r_arKG => Prism' r_arKG ()
_SCT :: AsCover r_arKG => Prism' r_arKG ()
_BKN :: AsCover r_arKG => Prism' r_arKG ()
_OVC :: AsCover r_arKG => Prism' r_arKG ()
_CoverNotSpecified :: AsCover r_arKG => Prism' r_arKG ()

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

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

-- | 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_amd6
transition :: HasTransition c_amd6 => Lens' c_amd6 Transition
class AsTransition r_amdV
_Transition :: AsTransition r_amdV => Prism' r_amdV Transition
_TransWind :: AsTransition r_amdV => Prism' r_amdV Wind
_TransVis :: AsTransition r_amdV => Prism' r_amdV [Visibility]
_TransRunwayVis :: AsTransition r_amdV => Prism' r_amdV [(Runway, [Visibility], Maybe VisTrend)]
_TransWX :: AsTransition r_amdV => Prism' r_amdV [WeatherPhenomenon]
_TransClouds :: AsTransition r_amdV => Prism' r_amdV [Cloud]
_TransPressure :: AsTransition r_amdV => Prism' r_amdV [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_arma
unit :: HasUnit c_arma => Lens' c_arma Unit
class AsUnit r_armZ
_Unit :: AsUnit r_armZ => Prism' r_armZ Unit
_Knots :: AsUnit r_armZ => Prism' r_armZ Int
_Miles :: AsUnit r_armZ => Prism' r_armZ Int
_MPS :: AsUnit r_armZ => Prism' r_armZ Int
_KMH :: AsUnit r_armZ => Prism' r_armZ 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)
