Data.Thyme.Time.Core

This module provides the Thyme typeclass, and instances for converting between Data.Time and Data.Thyme types. It also provides compatibility wrappers for existing code using Data.Time.

Note that we do not provide Num hierarchy instances for DiffTime nor NominalDiffTime here. If you want to use them anyway despite parts of them being ill-defined (e.g. (*) on DiffTime), import Data.Thyme.Time instead.

1 class

2 values

classclass Thyme time thyme | thyme -> time where

Typeclass for converting between Data.Time and Data.Thyme types.

Methods

thyme :: Iso' time thyme

Convert between Data.Time and Data.Thyme types.

> :set -t
> import qualified Data.Time

> thyme # (fromSeconds' 10 :: DiffTime)
10s
it :: DiffTime

> Data.Time.secondsToDiffTime 10 ^. thyme :: DiffTime
10s
it :: DiffTime

Instances11Thyme, …

Thyme Day DayDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme AbsoluteTime AbsoluteTimeDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme DiffTime DiffTimeDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme NominalDiffTime NominalDiffTimeDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme UTCTime UTCTimeDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme UTCTime UTCViewDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme UniversalTime UniversalTimeDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme LocalTime LocalTimeDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme TimeOfDay TimeOfDayDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme TimeZone TimeZoneDefined in thyme-0.4.1 · Data.Thyme.Time.Core
Thyme ZonedTime ZonedTimeDefined in thyme-0.4.1 · Data.Thyme.Time.Core