Copyright | (c) 2013-2021 Brendan Hay |
---|---|
License | Mozilla Public License, v. 2.0. |
Maintainer | Brendan Hay <brendan.g.hay+amazonka@gmail.com> |
Stability | auto-generated |
Portability | non-portable (GHC extensions) |
Safe Haskell | None |
Synopsis
- data DevicePositionUpdate = DevicePositionUpdate' {}
- newDevicePositionUpdate :: Text -> NonEmpty Double -> UTCTime -> DevicePositionUpdate
- devicePositionUpdate_deviceId :: Lens' DevicePositionUpdate Text
- devicePositionUpdate_position :: Lens' DevicePositionUpdate (NonEmpty Double)
- devicePositionUpdate_sampleTime :: Lens' DevicePositionUpdate UTCTime
Documentation
data DevicePositionUpdate Source #
Contains the position update details for a device.
See: newDevicePositionUpdate
smart constructor.
DevicePositionUpdate' | |
|
Instances
newDevicePositionUpdate Source #
:: Text | |
-> NonEmpty Double | |
-> UTCTime | |
-> DevicePositionUpdate |
Create a value of DevicePositionUpdate
with all optional fields omitted.
Use generic-lens or optics to modify other optional fields.
The following record fields are available, with the corresponding lenses provided for backwards compatibility:
$sel:deviceId:DevicePositionUpdate'
, devicePositionUpdate_deviceId
- The device associated to the position update.
$sel:position:DevicePositionUpdate'
, devicePositionUpdate_position
- The latest device position defined in
WGS 84 format:
[X or longitude, Y or latitude]
.
$sel:sampleTime:DevicePositionUpdate'
, devicePositionUpdate_sampleTime
- The timestamp at which the device's position was determined. Uses
ISO 8601
format: YYYY-MM-DDThh:mm:ss.sssZ
devicePositionUpdate_deviceId :: Lens' DevicePositionUpdate Text Source #
The device associated to the position update.
devicePositionUpdate_position :: Lens' DevicePositionUpdate (NonEmpty Double) Source #
The latest device position defined in
WGS 84 format:
[X or longitude, Y or latitude]
.
devicePositionUpdate_sampleTime :: Lens' DevicePositionUpdate UTCTime Source #
The timestamp at which the device's position was determined. Uses
ISO 8601
format: YYYY-MM-DDThh:mm:ss.sssZ