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 DevicePosition = DevicePosition' {}
- newDevicePosition :: NonEmpty Double -> UTCTime -> UTCTime -> DevicePosition
- devicePosition_accuracy :: Lens' DevicePosition (Maybe PositionalAccuracy)
- devicePosition_deviceId :: Lens' DevicePosition (Maybe Text)
- devicePosition_positionProperties :: Lens' DevicePosition (Maybe (HashMap Text Text))
- devicePosition_position :: Lens' DevicePosition (NonEmpty Double)
- devicePosition_receivedTime :: Lens' DevicePosition UTCTime
- devicePosition_sampleTime :: Lens' DevicePosition UTCTime
Documentation
data DevicePosition Source #
Contains the device position details.
See: newDevicePosition
smart constructor.
DevicePosition' | |
|
Instances
:: NonEmpty Double | |
-> UTCTime | |
-> UTCTime | |
-> DevicePosition |
Create a value of DevicePosition
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:DevicePosition'
, devicePosition_accuracy
- The accuracy of the device position.
$sel:deviceId:DevicePosition'
, devicePosition_deviceId
- The device whose position you retrieved.
$sel:positionProperties:DevicePosition'
, devicePosition_positionProperties
- The properties associated with the position.
$sel:position:DevicePosition'
, devicePosition_position
- The last known device position.
$sel:receivedTime:DevicePosition'
, devicePosition_receivedTime
- The timestamp for when the tracker resource received the device position
in ISO 8601
format: YYYY-MM-DDThh:mm:ss.sssZ
.
$sel:sampleTime:DevicePosition'
, devicePosition_sampleTime
- The timestamp at which the device's position was determined. Uses
ISO 8601
format: YYYY-MM-DDThh:mm:ss.sssZ
.
devicePosition_accuracy :: Lens' DevicePosition (Maybe PositionalAccuracy) Source #
The accuracy of the device position.
devicePosition_deviceId :: Lens' DevicePosition (Maybe Text) Source #
The device whose position you retrieved.
devicePosition_positionProperties :: Lens' DevicePosition (Maybe (HashMap Text Text)) Source #
The properties associated with the position.
devicePosition_position :: Lens' DevicePosition (NonEmpty Double) Source #
The last known device position.
devicePosition_receivedTime :: Lens' DevicePosition UTCTime Source #
The timestamp for when the tracker resource received the device position
in ISO 8601
format: YYYY-MM-DDThh:mm:ss.sssZ
.
devicePosition_sampleTime :: Lens' DevicePosition UTCTime Source #
The timestamp at which the device's position was determined. Uses
ISO 8601
format: YYYY-MM-DDThh:mm:ss.sssZ
.