stratux-0.0.1: A library for stratux

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Stratux.Types.Traffic

Documentation

data Traffic Source

Constructors

Traffic 

Fields

icaoAddrTraffic :: IcaoAddr
 
_tail :: String
 
_emitterCategory :: EmitterCategory
 
_onGround :: Bool
 
_addressType :: Int
 
_targetType :: TargetType
 
_signalLevel :: Double
 
_positionValid :: Bool
 
_latitude :: Double
 
_longitude :: Double
 
_altitude :: Int
 
_gnssDiffFromBaroAlt :: Int
 
_altIsGnss :: Bool
 
_navigationIntegrityCategory :: Int
 
_navigationAccuracyCategoryForPosition :: Int
 
_track :: Int
 
_speed :: Int
 
_speedValid :: Bool
 
_verticalVelocity :: Int
 
_timestamp :: UTCTime
 
_age :: Double
 
_lastSeen :: UTCTime
 
_lastAltitude :: UTCTime
 
_lastGnssDiff :: UTCTime
 
_lastGnssDiffAltitude :: Int
 
_lastSpeed :: UTCTime
 
_lastSource :: Int
 
_extrapolatedPosition :: Bool
 
_bearing :: Double
 
_distanceToTrafficFromOwnship :: Double
 

Instances

Eq Traffic Source 
Ord Traffic Source 
Show Traffic Source 
ToJSON Traffic Source
>>> toJSON (Traffic (IcaoAddr 124 106 226) "SVY22" Light False 0 Adsb (-30.920514783877277) True (-27.501154) 153.21422 12500 650 False 8 9 89 205 True 0 (UTCTime (fromGregorian 1 1 1) 3597) 40.8 (UTCTime (fromGregorian 1 1 1) 259) (UTCTime (fromGregorian 1 1 1) 23) (UTCTime (fromGregorian 1 1 1) 597) 12500 (UTCTime (fromGregorian 2016 5 24) 237) 1 False 0.0 0.0)
Object (fromList [("OnGround",Bool False),("Bearing",Number 0.0),("ExtrapolatedPosition",Bool False),("NIC",Number 8.0),("Last_alt",String "0001-01-01T00:00:23Z"),("Track",Number 89.0),("Last_speed",String "2016-05-24T00:03:57Z"),("GnssDiffFromBaroAlt",Number 650.0),("Last_seen",String "0001-01-01T00:04:19Z"),("Icao_addr",Number 8153826.0),("SignalLevel",Number -30.920514783877277),("Distance",Number 0.0),("Age",Number 40.8),("Speed_valid",Bool True),("TargetType",Number 1.0),("Lat",Number -27.501154),("Vvel",Number 0.0),("NACp",Number 9.0),("Addr_type",Number 0.0),("Speed",Number 205.0),("AltIsGNSS",Bool False),("Lng",Number 153.21422),("Tail",String "SVY22"),("Last_GnssDiffAlt",Number 12500.0),("Position_valid",Bool True),("Last_source",Number 1.0),("Timestamp",String "0001-01-01T00:59:57Z"),("Last_GnssDiff",String "0001-01-01T00:09:57Z"),("Alt",Number 12500.0),("Emitter_category",Number 1.0)])
FromJSON Traffic Source
>>> decode "{\"Icao_addr\":8153826,\"Tail\":\"SVY22\",\"Emitter_category\":1,\"OnGround\":false,\"Addr_type\":0,\"TargetType\":1,\"SignalLevel\":-30.920514783877277,\"Position_valid\":true,\"Lat\":-27.501154,\"Lng\":153.21422,\"Alt\":12500,\"GnssDiffFromBaroAlt\":650,\"AltIsGNSS\":false,\"NIC\":8,\"NACp\":9,\"Track\":89,\"Speed\":205,\"Speed_valid\":true,\"Vvel\":0,\"Timestamp\":\"2016-05-24T01:13:18.189Z\",\"Age\":40.8,\"Last_seen\":\"0001-01-01T03:30:38.2Z\",\"Last_alt\":\"0001-01-01T03:30:38.55Z\",\"Last_GnssDiff\":\"0001-01-01T03:30:36.75Z\",\"Last_GnssDiffAlt\":12500,\"Last_speed\":\"0001-01-01T03:30:36.75Z\",\"Last_source\":1,\"ExtrapolatedPosition\":false,\"Bearing\":0,\"Distance\":0}" :: Maybe Traffic
Just (Traffic {icaoAddrTraffic = IcaoAddr {_icaoAddrWord0 = 124, _icaoAddrWord1 = 106, _icaoAddrWord2 = 226}, _tail = "SVY22", _emitterCategory = Light, _onGround = False, _addressType = 0, _targetType = Adsb, _signalLevel = -30.920514783877277, _positionValid = True, _latitude = -27.501154, _longitude = 153.21422, _altitude = 12500, _gnssDiffFromBaroAlt = 650, _altIsGnss = False, _navigationIntegrityCategory = 8, _navigationAccuracyCategoryForPosition = 9, _track = 89, _speed = 205, _speedValid = True, _verticalVelocity = 0, _timestamp = 2016-05-24 01:13:18.189 UTC, _age = 40.8, _lastSeen = 0001-01-01 03:30:38.2 UTC, _lastAltitude = 0001-01-01 03:30:38.55 UTC, _lastGnssDiff = 0001-01-01 03:30:36.75 UTC, _lastGnssDiffAltitude = 12500, _lastSpeed = 0001-01-01 03:30:36.75 UTC, _lastSource = 1, _extrapolatedPosition = False, _bearing = 0.0, _distanceToTrafficFromOwnship = 0.0})
HasWord8s Traffic Source 
HasIcaoAddr Traffic Source 
HasUTCTimes Traffic Source
>>> (utcTimes %~ addUTCTime 1) (UTCTime (fromGregorian 1 1 1) 600)
0001-01-01 00:10:01 UTC
HasTraffic Traffic Source 

class HasTraffic c where Source

Minimal complete definition

traffic

Methods

traffic :: Lens' c Traffic Source

addressType :: Lens' c Int Source

age :: Lens' c Double Source

altIsGnss :: Lens' c Bool Source

altitude :: Lens' c Int Source

bearing :: Lens' c Double Source

distanceToTrafficFromOwnship :: Lens' c Double Source

emitterCategory :: Lens' c EmitterCategory Source

extrapolatedPosition :: Lens' c Bool Source

gnssDiffFromBaroAlt :: Lens' c Int Source

lastAltitude :: Lens' c UTCTime Source

lastGnssDiff :: Lens' c UTCTime Source

lastGnssDiffAltitude :: Lens' c Int Source

lastSeen :: Lens' c UTCTime Source

lastSource :: Lens' c Int Source

lastSpeed :: Lens' c UTCTime Source

latitude :: Lens' c Double Source

longitude :: Lens' c Double Source

navigationAccuracyCategoryForPosition :: Lens' c Int Source

navigationIntegrityCategory :: Lens' c Int Source

onGround :: Lens' c Bool Source

positionValid :: Lens' c Bool Source

signalLevel :: Lens' c Double Source

speed :: Lens' c Int Source

speedValid :: Lens' c Bool Source

tail :: Lens' c String Source

targetType :: Lens' c TargetType Source

timestamp :: Lens' c UTCTime Source

track :: Lens' c Int Source

verticalVelocity :: Lens' c Int Source

Instances

class HasUTCTimes a where Source

Methods

utcTimes :: Traversal' a UTCTime Source

Instances

HasUTCTimes UTCTime Source 
HasUTCTimes Traffic Source
>>> (utcTimes %~ addUTCTime 1) (UTCTime (fromGregorian 1 1 1) 600)
0001-01-01 00:10:01 UTC