Data.Thyme.LocalTime

Documentation

type Minutes = Int

type Hours = Int

Time zones

data TimeZone

Constructors

TimeZone

Fields

timeZoneMinutes :: !Minutes

timeZoneSummerOnly :: !Bool

timeZoneName :: String

Instances

Bounded TimeZone

Eq TimeZone

Data TimeZone

Ord TimeZone

Show TimeZone

Typeable TimeZone

Generic TimeZone

Arbitrary TimeZone

CoArbitrary TimeZone

NFData TimeZone

Random TimeZone

ParseTime TimeZone

FormatTime TimeZone

Thyme TimeZone TimeZone

timeZoneOffsetString :: TimeZone -> String

Text representing the offset of this timezone, e.g. "-0800" or "+0400" (like %z in formatTime)

minutesToTimeZone :: Minutes -> TimeZone

Create a nameless non-summer timezone for this number of minutes

hoursToTimeZone :: Hours -> TimeZone

Create a nameless non-summer timezone for this number of hours

utc :: TimeZone

getTimeZone :: UTCTime -> IO TimeZone

getCurrentTimeZone :: IO TimeZone

Time of day

type Hour = Int

type Minute = Int

data TimeOfDay

Constructors

TimeOfDay

Fields

todHour :: !Hour

todMin :: !Minute

todSec :: !DiffTime

Instances

Bounded TimeOfDay

Eq TimeOfDay

Data TimeOfDay

Ord TimeOfDay

Read TimeOfDay

Show TimeOfDay

Typeable TimeOfDay

Generic TimeOfDay

Arbitrary TimeOfDay

CoArbitrary TimeOfDay

NFData TimeOfDay

Random TimeOfDay

ParseTime TimeOfDay

FormatTime TimeOfDay

Thyme TimeOfDay TimeOfDay

minuteLength :: Hour -> Minute -> DiffTime

midnight :: TimeOfDay

Hour zero

midday :: TimeOfDay

Hour twelve

makeTimeOfDayValid :: Hour -> Minute -> DiffTime -> Maybe TimeOfDay

timeOfDay :: Iso' DiffTime TimeOfDay

addMinutes :: Minutes -> TimeOfDay -> (Days, TimeOfDay)

Add some minutes to a TimeOfDay; result comes with a day adjustment.

dayFraction :: Iso' TimeOfDay Rational

Local Time

data LocalTime

Constructors

LocalTime

Fields

localDay :: !Day

localTimeOfDay :: !TimeOfDay

Instances

Bounded LocalTime

Eq LocalTime

Data LocalTime

Ord LocalTime

Read LocalTime

Show LocalTime

Typeable LocalTime

Generic LocalTime

Arbitrary LocalTime

CoArbitrary LocalTime

NFData LocalTime

Random LocalTime

ParseTime LocalTime

FormatTime LocalTime

Thyme LocalTime LocalTime

utcLocalTime :: TimeZone -> Iso' UTCTime LocalTime

ut1LocalTime :: Rational -> Iso' UniversalTime LocalTime

Zoned Time

data ZonedTime

Constructors

ZonedTime

Fields

zonedTimeToLocalTime :: !LocalTime

zonedTimeZone :: !TimeZone

Instances

Bounded ZonedTime

Eq ZonedTime

Data ZonedTime

Ord ZonedTime

Read ZonedTime

Show ZonedTime

Typeable ZonedTime

Generic ZonedTime

Arbitrary ZonedTime

CoArbitrary ZonedTime

ToJSON ZonedTime

FromJSON ZonedTime

NFData ZonedTime

Random ZonedTime

ParseTime ZonedTime

FormatTime ZonedTime

Thyme ZonedTime ZonedTime

zonedTime :: Iso' (TimeZone, UTCTime) ZonedTime

getZonedTime :: IO ZonedTime

utcToLocalZonedTime :: UTCTime -> IO ZonedTime

Lenses

_timeZoneMinutes :: Lens' TimeZone Minutes

_timeZoneSummerOnly :: Lens' TimeZone Bool

_timeZoneName :: Lens' TimeZone String

_todHour :: Lens' TimeOfDay Hour

_todMin :: Lens' TimeOfDay Minute

_todSec :: Lens' TimeOfDay DiffTime

_localDay :: Lens' LocalTime Day

_localTimeOfDay :: Lens' LocalTime TimeOfDay

_zonedTimeToLocalTime :: Lens' ZonedTime LocalTime

_zonedTimeZone :: Lens' ZonedTime TimeZone