Copyright | (c) 2013-2023 Brendan Hay |
---|---|
License | Mozilla Public License, v. 2.0. |
Maintainer | Brendan Hay |
Stability | auto-generated |
Portability | non-portable (GHC extensions) |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Synopsis
- data DevicePositionUpdate = DevicePositionUpdate' {}
- newDevicePositionUpdate :: Text -> NonEmpty Double -> UTCTime -> DevicePositionUpdate
- devicePositionUpdate_accuracy :: Lens' DevicePositionUpdate (Maybe PositionalAccuracy)
- devicePositionUpdate_positionProperties :: Lens' DevicePositionUpdate (Maybe (HashMap Text Text))
- 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:accuracy:DevicePositionUpdate'
, devicePositionUpdate_accuracy
- The accuracy of the device position.
$sel:positionProperties:DevicePositionUpdate'
, devicePositionUpdate_positionProperties
- Associates one of more properties with the position update. A property
is a key-value pair stored with the position update and added to any
geofence event the update may trigger.
Format: "key" : "value"
$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_accuracy :: Lens' DevicePositionUpdate (Maybe PositionalAccuracy) Source #
The accuracy of the device position.
devicePositionUpdate_positionProperties :: Lens' DevicePositionUpdate (Maybe (HashMap Text Text)) Source #
Associates one of more properties with the position update. A property is a key-value pair stored with the position update and added to any geofence event the update may trigger.
Format: "key" : "value"
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