HerfTime.ZonedTime

The basic idea is to use the regular local time implementation available in the time library but with a few nice wrappers.

For HerfTime to work nicely the information about what makes a time different should reside in the type.

in the case of zoned time, this is the time zone:

HerfZonedTime knows about these time zones by name:

RFC 822 sec. 5: UT, GMT, EST, EDT, CST, CDT, MST, MDT, PST, PDT.

|

Documentation

data HerfZonedTime z

Zoned Time always has an extra parameter to convert into a fixed time

Instances

KnownSymbol z => Show (HerfZonedTime z)

FormatTime (HerfZonedTime z)

ParseTime (HerfZonedTime z)

KnownSymbol z => HerfedTime (HerfZonedTime z)

>>> :set -XDataKinds
>>> (reherf $ ( dateTime 2016 01 01 01 01 01 :: HerfZonedTime "CST")) :: HerfZonedTime "PST"
2015-12-31T23:01:01:PST

KnownSymbol z => FromUTCHerfTime (HerfZonedTime z)

KnownSymbol z => ToUTCHerfTime (HerfZonedTime z)

toZonedTime :: forall z. KnownSymbol z => UTCTime -> HerfZonedTime z

Helper function to convert UTCTime to HerfZoned time

fromZonedTime :: forall z. KnownSymbol z => HerfZonedTime z -> UTCTime

Getting back from HerfZonedTime to UTCTime

addTimeZone :: forall z. KnownSymbol z => UTCTime -> HerfZonedTime z

Add Time Zone is different than converting It takes a UTCTime and just slaps on the timezone in the ZonedTime field This is exactly what you want when you are first creating a time and almost never what you want after!

herfz :: ZonedTime -> UTCHerfTime

Don't want an orphan on ZonedTime so I made herfz

reherfz :: FromUTCHerfTime b => ZonedTime -> b

like reherf but for zoned time (which doesn't have a direct HerfedTime instance)

module HerfTime

module Data.Time