Data.Thyme.Clock

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.

Universal Time

data UniversalTime

Instances

Bounded UniversalTime

Enum UniversalTime

Eq UniversalTime

Data UniversalTime

Ord UniversalTime

Ix UniversalTime

Typeable UniversalTime

NFData UniversalTime

FormatTime UniversalTime

ParseTime UniversalTime

Thyme UniversalTime UniversalTime

modJulianDate :: Iso' UniversalTime Rational

Absolute intervals

data DiffTime

Instances

Bounded DiffTime

Enum DiffTime

Eq DiffTime

Fractional DiffTime

Data DiffTime

Num DiffTime

Ord DiffTime

Read DiffTime

Real DiffTime

RealFrac DiffTime

Show DiffTime

Ix DiffTime

Typeable DiffTime

NFData DiffTime

HasBasis DiffTime

VectorSpace DiffTime

AdditiveGroup DiffTime

Thyme DiffTime DiffTime

microDiffTime :: Iso' Int64 DiffTime

UTC

data UTCTime

Instances

Bounded UTCTime

Enum UTCTime

Eq UTCTime

Data UTCTime

Ord UTCTime

Read UTCTime

Show UTCTime

Ix UTCTime

Typeable UTCTime

NFData UTCTime

AffineSpace UTCTime

FormatTime UTCTime

ParseTime UTCTime

Thyme UTCTime UTCTime

data UTCView

Constructors

UTCTime

Fields

utctDay :: !Day

utctDayTime :: !DiffTime

Instances

Eq UTCView

Data UTCView

Ord UTCView

Show UTCView

Typeable UTCView

NFData UTCView

Thyme UTCTime UTCView

utcTime :: Iso' UTCTime UTCView

data NominalDiffTime

Instances

Bounded NominalDiffTime

Enum NominalDiffTime

Eq NominalDiffTime

Fractional NominalDiffTime

Data NominalDiffTime

Num NominalDiffTime

Ord NominalDiffTime

Read NominalDiffTime

Real NominalDiffTime

RealFrac NominalDiffTime

Show NominalDiffTime

Ix NominalDiffTime

Typeable NominalDiffTime

NFData NominalDiffTime

HasBasis NominalDiffTime

VectorSpace NominalDiffTime

AdditiveGroup NominalDiffTime

Thyme NominalDiffTime NominalDiffTime

microNominalDiffTime :: Iso' Int64 NominalDiffTime

getCurrentTime :: IO UTCTime

Time interval conversion

seconds :: (HasBasis s, Basis s ~ (), HasBasis t, Basis t ~ ()) => Iso s t (Scalar s) (Scalar t)

Time interval as a Rational number of seconds. Compose with simple or simply view / review to avoid ambiguous type variables.

toSeconds :: (TimeDiff s, Real (Scalar s), Fractional n) => s -> n

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 -> t

Make a time interval from some Real type. Rational-avoiding rewrite rules included for Double, Float, Integer, Int and Int64.

 fromSeconds :: (HasBasis t, Basis t ~ (), Scalar t ~ b, Real n, Fractional b) => n -> t

toSeconds' :: (HasBasis s, Basis s ~ ()) => s -> Scalar s

Type-restricted toSeconds to avoid constraint-defaulting warnings.

fromSeconds' :: (HasBasis t, Basis t ~ ()) => Scalar t -> t

Type-restricted fromSeconds to avoid constraint-defaulting warnings.

Lenses

_utctDay :: Lens' UTCTime Day

_utctDayTime :: Lens' UTCTime DiffTime