Safe Haskell	Safe
Language	Haskell2010

Data.Icao.AtsMessage

Contents

Parser

Description

Operations on Air Traffic Service (ATS) messages as defined in the ICAO 4444 edition 2016 standard.

TODO: consider builder as in AerodromeReport.

Relevant links

Synopsis

Documentation

data AtsMessage Source #

ICAO 4444 ATS message.

Constructors

Arr ArrivalContent	Arrival message.
Dep DepartureContent	Departure message.
Dla DelayContent	Delay message.

Instances

Eq AtsMessage Source #
Methods (==) :: AtsMessage -> AtsMessage -> Bool # (/=) :: AtsMessage -> AtsMessage -> Bool #
Show AtsMessage Source #
Methods showsPrec :: Int -> AtsMessage -> ShowS # show :: AtsMessage -> String # showList :: [AtsMessage] -> ShowS #

data ArrivalContent Source #

Arrival message content. An arrival message shall be transmitted: upon reception of an arrival report by the ATS unit serving the arrival aerodrome, or when a controlled flight which has experienced failure of two-way communication has landed, by the aerodrome control tower at the arrival aerodrome.

Constructors

ArrivalContent

Fields

arrAircraftIndentification :: AircraftIdentification
aircraft identification.
arrSsrCode :: Maybe SsrCode
SSR code.
arrAdep :: Aerodrome
aerodrome of departure.
arrEobt :: Hhmm
estimated off-block time.
arrAdes :: Maybe Aerodrome
aerodrome of arrival, only in case of a diversionary landing.
arrAdar :: Aerodrome
actual aerodrome of arrival.
arrAta :: Hhmm
actual time of arrival.
arrAdarName :: Maybe FreeText
name of arrival aerodrome, if adar is ZZZZ.

Instances

Eq ArrivalContent Source #
Methods (==) :: ArrivalContent -> ArrivalContent -> Bool # (/=) :: ArrivalContent -> ArrivalContent -> Bool #
Show ArrivalContent Source #
Methods showsPrec :: Int -> ArrivalContent -> ShowS # show :: ArrivalContent -> String # showList :: [ArrivalContent] -> ShowS #

data DepartureContent Source #

Departure message content. A departure message shall be transmitted by the ATS unit serving the departure aerodrome to all recipients of basic flight plan data.

Constructors

DepartureContent
Fields depAircraftIndentification :: AircraftIdentification aircraft identification. depSsrCode :: Maybe SsrCode SSR code. depAdep :: Aerodrome aerodrome of departure. depAtd :: Hhmm actual time of departure. depAdes :: Aerodrome aerodrome of arrival. depOtherInformation :: OtherInformation other information.

Instances

Eq DepartureContent Source #
Methods (==) :: DepartureContent -> DepartureContent -> Bool # (/=) :: DepartureContent -> DepartureContent -> Bool #
Show DepartureContent Source #
Methods showsPrec :: Int -> DepartureContent -> ShowS # show :: DepartureContent -> String # showList :: [DepartureContent] -> ShowS #

data DelayContent Source #

Delay message content. A delay message shall be transmitted when the departure of an aircraft, for which basic flight plan data has been sent, is delayed by more than 30 minutes after the estimated off-block time contained in the basic flight plan data.

Constructors

DelayContent
Fields dlaAircraftIndentification :: AircraftIdentification aircraft identification. dlaSsrCode :: Maybe SsrCode SSR code. dlaAdep :: Aerodrome aerodrome of departure. dlaEobt :: Hhmm revised estimated off-block time. dlaAdes :: Aerodrome aerodrome of arrival. dlaOtherInformation :: OtherInformation other information.

Instances

Eq DelayContent Source #
Methods (==) :: DelayContent -> DelayContent -> Bool # (/=) :: DelayContent -> DelayContent -> Bool #
Show DelayContent Source #
Methods showsPrec :: Int -> DelayContent -> ShowS # show :: DelayContent -> String # showList :: [DelayContent] -> ShowS #

module Data.Icao.Lang

module Data.Icao.Location

module Data.Icao.OtherInformation

module Data.Icao.SupplementaryInformation

module Data.Icao.Time

data AircraftIdentification Source #

Aircraft identification, a.k.a. call-sign, maximum of 7 uppercase/digit characters.

Instances

Eq AircraftIdentification Source #
Methods (==) :: AircraftIdentification -> AircraftIdentification -> Bool # (/=) :: AircraftIdentification -> AircraftIdentification -> Bool #
Show AircraftIdentification Source #
Methods showsPrec :: Int -> AircraftIdentification -> ShowS # show :: AircraftIdentification -> String # showList :: [AircraftIdentification] -> ShowS #

data SsrCode Source #

Secondary Surveillance Rada code, 4 octal digits.

Instances

Eq SsrCode Source #
Methods (==) :: SsrCode -> SsrCode -> Bool # (/=) :: SsrCode -> SsrCode -> Bool #
Show SsrCode Source #
Methods showsPrec :: Int -> SsrCode -> ShowS # show :: SsrCode -> String # showList :: [SsrCode] -> ShowS #

data FlightRules Source #

Flight rules. Note: If the letter Y or Z is used, the point or points at which a change of flight rules is planned is to be shown as indicated in Field Type 15.

Constructors

IFR	if it is intended that the entire flight will be operated under the IFR
VFR	if it is intended that the entire flight will be operated under the VFR
YFR	if the flight initially will be operated under the IFR followed by one or more subsequent changes of flight rules
ZFR	if the flight initially will be operated under the VFR followed by one or more subsequent changes of flight rules

Instances

Bounded FlightRules Source #
Methods minBound :: FlightRules # maxBound :: FlightRules #
Enum FlightRules Source #
Methods succ :: FlightRules -> FlightRules # pred :: FlightRules -> FlightRules # toEnum :: Int -> FlightRules # fromEnum :: FlightRules -> Int # enumFrom :: FlightRules -> [FlightRules] # enumFromThen :: FlightRules -> FlightRules -> [FlightRules] # enumFromTo :: FlightRules -> FlightRules -> [FlightRules] # enumFromThenTo :: FlightRules -> FlightRules -> FlightRules -> [FlightRules] #
Eq FlightRules Source #
Methods (==) :: FlightRules -> FlightRules -> Bool # (/=) :: FlightRules -> FlightRules -> Bool #
Read FlightRules Source #
Methods readsPrec :: Int -> ReadS FlightRules # readList :: ReadS [FlightRules] # readPrec :: ReadPrec FlightRules # readListPrec :: ReadPrec [FlightRules] #
Show FlightRules Source #
Methods showsPrec :: Int -> FlightRules -> ShowS # show :: FlightRules -> String # showList :: [FlightRules] -> ShowS #

data FlightType Source #

Type of flight

Constructors

Scheduled	if scheduled air transport
NonScheduled	if non-scheduled air transport
General	if general aviation
Military	if military
Other	other flights

Instances

Bounded FlightType Source #
Methods minBound :: FlightType # maxBound :: FlightType #
Enum FlightType Source #
Methods succ :: FlightType -> FlightType # pred :: FlightType -> FlightType # toEnum :: Int -> FlightType # fromEnum :: FlightType -> Int # enumFrom :: FlightType -> [FlightType] # enumFromThen :: FlightType -> FlightType -> [FlightType] # enumFromTo :: FlightType -> FlightType -> [FlightType] # enumFromThenTo :: FlightType -> FlightType -> FlightType -> [FlightType] #
Eq FlightType Source #
Methods (==) :: FlightType -> FlightType -> Bool # (/=) :: FlightType -> FlightType -> Bool #
Read FlightType Source #
Methods readsPrec :: Int -> ReadS FlightType # readList :: ReadS [FlightType] # readPrec :: ReadPrec FlightType # readListPrec :: ReadPrec [FlightType] #
Show FlightType Source #
Methods showsPrec :: Int -> FlightType -> ShowS # show :: FlightType -> String # showList :: [FlightType] -> ShowS #

data AircraftType Source #

Aircraft type, e.g. A320

Instances

Eq AircraftType Source #
Methods (==) :: AircraftType -> AircraftType -> Bool # (/=) :: AircraftType -> AircraftType -> Bool #
Show AircraftType Source #
Methods showsPrec :: Int -> AircraftType -> ShowS # show :: AircraftType -> String # showList :: [AircraftType] -> ShowS #

data WakeTurbulenceCategory Source #

Wake Turbulence Category.

Constructors

Light	light
Medium	medium
Heavy	heavy
Jumbo	Jumbo

Instances

Bounded WakeTurbulenceCategory Source #
Methods minBound :: WakeTurbulenceCategory # maxBound :: WakeTurbulenceCategory #
Enum WakeTurbulenceCategory Source #
Methods succ :: WakeTurbulenceCategory -> WakeTurbulenceCategory # pred :: WakeTurbulenceCategory -> WakeTurbulenceCategory # toEnum :: Int -> WakeTurbulenceCategory # fromEnum :: WakeTurbulenceCategory -> Int # enumFrom :: WakeTurbulenceCategory -> [WakeTurbulenceCategory] # enumFromThen :: WakeTurbulenceCategory -> WakeTurbulenceCategory -> [WakeTurbulenceCategory] # enumFromTo :: WakeTurbulenceCategory -> WakeTurbulenceCategory -> [WakeTurbulenceCategory] # enumFromThenTo :: WakeTurbulenceCategory -> WakeTurbulenceCategory -> WakeTurbulenceCategory -> [WakeTurbulenceCategory] #
Eq WakeTurbulenceCategory Source #
Methods (==) :: WakeTurbulenceCategory -> WakeTurbulenceCategory -> Bool # (/=) :: WakeTurbulenceCategory -> WakeTurbulenceCategory -> Bool #
Read WakeTurbulenceCategory Source #
Methods readsPrec :: Int -> ReadS WakeTurbulenceCategory # readList :: ReadS [WakeTurbulenceCategory] # readPrec :: ReadPrec WakeTurbulenceCategory # readListPrec :: ReadPrec [WakeTurbulenceCategory] #
Show WakeTurbulenceCategory Source #
Methods showsPrec :: Int -> WakeTurbulenceCategory -> ShowS # show :: WakeTurbulenceCategory -> String # showList :: [WakeTurbulenceCategory] -> ShowS #

data ComNavAppCapabilityCode Source #

Code describing radiocommunication, navigation and approach aid equipment and capabilities.

Constructors

N	no COMNAVapproach aid equipment for the route to be flown is carried, or the equipment is unserviceable
S	Standard COMNAVapproach aid equipment for the route to be flown is carried and serviceable
A	GBAS landing system
B	PLV (APV with SBAS)
C	LORAN C
D	DME
E1	FMC WPR ACARS
E2	D-FIX ACARS
E3	PDC ACARS
F	ADF
G	GNSS
H	HF RTF
I	Intertial navaigation
J1	CPDLC ATN VDL Mode 2
J2	CPDLC FANS 1/A HFDL
J3	CPDLC FANS 1/A VDL Mode A
J4	CPDLC FANS 1/A VDL Mode 2
J5	CPDLC FANS 1/A SATCOM (INMARSAT)
J6	CPDLC FANS 1/A SATCOM (MTSAT)
J7	CPDLC FANS 1/A SATCOM (Iridium)
K	MLS
L	ILS
M1	ATC SATVOICE (INMARSAT)
M2	ATC SATVOICE (MTSAT)
M3	ATC SATVOICE (Iridium)
O	VOR
P1	CPDLC RCP 400
P2	CPDLC RCP 240
P3	SATVOICE RCP 400
P4	Reserved for RCP
P5	Reserved for RCP
P6	Reserved for RCP
P7	Reserved for RCP
P8	Reserved for RCP
P9	Reserved for RCP
R	PBN approved
T	TACAN
U	UHF RTF
V	VHF RTF
W	RVSM approved
X	MNPS approved
Y	VHF with 8.33 kHz channel spacing capability
Z	Other equipment carried or other capabilities

Instances

Bounded ComNavAppCapabilityCode Source #
Methods minBound :: ComNavAppCapabilityCode # maxBound :: ComNavAppCapabilityCode #
Enum ComNavAppCapabilityCode Source #
Methods succ :: ComNavAppCapabilityCode -> ComNavAppCapabilityCode # pred :: ComNavAppCapabilityCode -> ComNavAppCapabilityCode # toEnum :: Int -> ComNavAppCapabilityCode # fromEnum :: ComNavAppCapabilityCode -> Int # enumFrom :: ComNavAppCapabilityCode -> [ComNavAppCapabilityCode] # enumFromThen :: ComNavAppCapabilityCode -> ComNavAppCapabilityCode -> [ComNavAppCapabilityCode] # enumFromTo :: ComNavAppCapabilityCode -> ComNavAppCapabilityCode -> [ComNavAppCapabilityCode] # enumFromThenTo :: ComNavAppCapabilityCode -> ComNavAppCapabilityCode -> ComNavAppCapabilityCode -> [ComNavAppCapabilityCode] #
Eq ComNavAppCapabilityCode Source #
Methods (==) :: ComNavAppCapabilityCode -> ComNavAppCapabilityCode -> Bool # (/=) :: ComNavAppCapabilityCode -> ComNavAppCapabilityCode -> Bool #
Read ComNavAppCapabilityCode Source #
Methods readsPrec :: Int -> ReadS ComNavAppCapabilityCode # readList :: ReadS [ComNavAppCapabilityCode] # readPrec :: ReadPrec ComNavAppCapabilityCode # readListPrec :: ReadPrec [ComNavAppCapabilityCode] #
Show ComNavAppCapabilityCode Source #
Methods showsPrec :: Int -> ComNavAppCapabilityCode -> ShowS # show :: ComNavAppCapabilityCode -> String # showList :: [ComNavAppCapabilityCode] -> ShowS #

data SurveillanceCapabilityCode Source #

Code describing surveillance equipment and capabilities.

Constructors

NONE	no surveillance equipment for the route to be flown is carried, or the equipment is unserviceable
MODE_A	Transponder - Mode A (4 digits — 4,096 codes)
MODE_C	Transponder - Mode A (4 digits — 4,096 codes) and Mode C
MODE_S_E	Transponder - Mode S, including aircraft identification, pressure-altitude and extended squitter (ADS-B) capability
MODE_S_H	Transponder - Mode S, including aircraft identification, pressure-altitude and enhanced surveillance capability
MODE_S_I	Transponder - Mode S, including aircraft identification, but no pressure-altitude capability
MODE_S_L	Transponder - Mode S, including aircraft identification, pressure-altitude, extended squitter (ADS-B) and enhanced surveillance capability
MODE_S_P	Transponder - Mode S, including pressure-altitude, but no aircraft identification capability
MODE_S	Transponder - Mode S, including both pressure-altitude and aircraft identification capability
MODE_S_X	Transponder - Mode S with neither aircraft identification nor pressure-altitude capability

Instances

Bounded SurveillanceCapabilityCode Source #
Methods minBound :: SurveillanceCapabilityCode # maxBound :: SurveillanceCapabilityCode #
Enum SurveillanceCapabilityCode Source #
Methods succ :: SurveillanceCapabilityCode -> SurveillanceCapabilityCode # pred :: SurveillanceCapabilityCode -> SurveillanceCapabilityCode # toEnum :: Int -> SurveillanceCapabilityCode # fromEnum :: SurveillanceCapabilityCode -> Int # enumFrom :: SurveillanceCapabilityCode -> [SurveillanceCapabilityCode] # enumFromThen :: SurveillanceCapabilityCode -> SurveillanceCapabilityCode -> [SurveillanceCapabilityCode] # enumFromTo :: SurveillanceCapabilityCode -> SurveillanceCapabilityCode -> [SurveillanceCapabilityCode] # enumFromThenTo :: SurveillanceCapabilityCode -> SurveillanceCapabilityCode -> SurveillanceCapabilityCode -> [SurveillanceCapabilityCode] #
Eq SurveillanceCapabilityCode Source #
Methods (==) :: SurveillanceCapabilityCode -> SurveillanceCapabilityCode -> Bool # (/=) :: SurveillanceCapabilityCode -> SurveillanceCapabilityCode -> Bool #
Read SurveillanceCapabilityCode Source #
Methods readsPrec :: Int -> ReadS SurveillanceCapabilityCode # readList :: ReadS [SurveillanceCapabilityCode] # readPrec :: ReadPrec SurveillanceCapabilityCode # readListPrec :: ReadPrec [SurveillanceCapabilityCode] #
Show SurveillanceCapabilityCode Source #
Methods showsPrec :: Int -> SurveillanceCapabilityCode -> ShowS # show :: SurveillanceCapabilityCode -> String # showList :: [SurveillanceCapabilityCode] -> ShowS #

mkAircraftIdentification :: MonadFail m => String -> m AircraftIdentification Source #

AircraftIdentification smart constructor. Fails if given identification is not valid.

mkSsrCode :: MonadFail m => String -> m SsrCode Source #

SsrCode smart constructor. Fails if given code value is not valid.

mkAircraftType :: MonadFail m => String -> m AircraftType Source #

AircraftType smart constructor. Fails if given identification is not valid.

Parser

type Parser = ParsecT String () Identity Source #

Parser.

data Error Source #

Parsing error.

Instances

Eq Error Source #
Methods (==) :: Error -> Error -> Bool # (/=) :: Error -> Error -> Bool #
Show Error Source #
Methods showsPrec :: Int -> Error -> ShowS # show :: Error -> String # showList :: [Error] -> ShowS #
IsString Error Source #	`IsString` instance for `Error`, `column` is set to 0.
Methods fromString :: String -> Error #

parse :: String -> Either Error AtsMessage Source #

Parses the given textual representation of an AtsMessage. return either an Error (Left) or the parsed AtsMessage (Right).

parser :: Parser AtsMessage Source #

AtsMessage parser.