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 ProfileTime = ProfileTime' {}
- newProfileTime :: ProfileTime
- profileTime_start :: Lens' ProfileTime (Maybe UTCTime)
Documentation
data ProfileTime Source #
Contains the start time of a profile.
See: newProfileTime
smart constructor.
Instances
newProfileTime :: ProfileTime Source #
Create a value of ProfileTime
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:start:ProfileTime'
, profileTime_start
- The start time of a profile. It is specified using the ISO 8601 format.
For example, 2020-06-01T13:15:02.001Z represents 1 millisecond past June
1, 2020 1:15:02 PM UTC.
profileTime_start :: Lens' ProfileTime (Maybe UTCTime) Source #
The start time of a profile. It is specified using the ISO 8601 format. For example, 2020-06-01T13:15:02.001Z represents 1 millisecond past June 1, 2020 1:15:02 PM UTC.