| Safe Haskell | None |
|---|
Data.Thyme.Clock
Description
Num, Real, Fractional and RealFrac instances for DiffTime and
NominalDiffTime are only available by importing Data.Thyme.Time. In
their stead are instances of AdditiveGroup,
HasBasis and VectorSpace, with
Scalar DiffTime ≡ Scalar
NominalDiffTime ≡ Rational
Convert between time intervals and Rationals with seconds, or more
generally between any Real or Fractional using fromSeconds and
toSeconds. If you must convert between DiffTime and
NominalDiffTime, compose microDiffTime and microNominalDiffTime.
UTCTime is an instance of AffineSpace, with
Diff UTCTime ≡ NominalDiffTime
- data UniversalTime
- modJulianDate :: Iso' UniversalTime Rational
- data DiffTime
- microDiffTime :: Iso' Int64 DiffTime
- data UTCTime
- data UTCView = UTCTime {
- utctDay :: !Day
- utctDayTime :: !DiffTime
- utcTime :: Iso' UTCTime UTCView
- data NominalDiffTime
- microNominalDiffTime :: Iso' Int64 NominalDiffTime
- getCurrentTime :: IO UTCTime
- seconds :: (HasBasis s, Basis s ~ (), HasBasis t, Basis t ~ ()) => Iso s t (Scalar s) (Scalar t)
- toSeconds :: (TimeDiff s, Real (Scalar s), Fractional n) => s -> n
- fromSeconds :: (TimeDiff t, Real n, Fractional (Scalar t)) => n -> t
- toSeconds' :: (HasBasis s, Basis s ~ ()) => s -> Scalar s
- fromSeconds' :: (HasBasis t, Basis t ~ ()) => Scalar t -> t
- _utctDay :: Lens' UTCTime Day
- _utctDayTime :: Lens' UTCTime DiffTime
Universal Time
data UniversalTime Source
Absolute intervals
Instances
UTC
Constructors
| UTCTime | |
Fields
| |
data NominalDiffTime Source
Instances
Time interval conversion
seconds :: (HasBasis s, Basis s ~ (), HasBasis t, Basis t ~ ()) => Iso s t (Scalar s) (Scalar t)Source
toSeconds :: (TimeDiff s, Real (Scalar s), Fractional n) => s -> nSource
Convert a time interval to some Fractional type.
toSeconds :: (HasBasis s, Basis s ~ (), Scalar s ~ a, Real a, Fractional n) => s -> n
fromSeconds :: (TimeDiff t, Real n, Fractional (Scalar t)) => n -> tSource
toSeconds' :: (HasBasis s, Basis s ~ ()) => s -> Scalar sSource
Type-restricted toSeconds to avoid constraint-defaulting warnings.
fromSeconds' :: (HasBasis t, Basis t ~ ()) => Scalar t -> tSource
Type-restricted fromSeconds to avoid constraint-defaulting warnings.