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)

Methods

showsPrec :: Int -> HerfZonedTime z -> ShowS

show :: HerfZonedTime z -> String

showList :: [HerfZonedTime z] -> ShowS

FormatTime (HerfZonedTime z)

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> HerfZonedTime z -> String)

ParseTime (HerfZonedTime z)

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe (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

Methods

addYear :: HerfZonedTime z -> HerfYear -> HerfZonedTime z

addMonth :: HerfZonedTime z -> HerfMonth -> HerfZonedTime z

addWeek :: HerfZonedTime z -> HerfWeek -> HerfZonedTime z

addDay :: HerfZonedTime z -> HerfDay -> HerfZonedTime z

addHour :: HerfZonedTime z -> HerfHour -> HerfZonedTime z

addMinute :: HerfZonedTime z -> HerfMin -> HerfZonedTime z

addSecond :: HerfZonedTime z -> HerfSec -> HerfZonedTime z

addPicosecond :: HerfZonedTime z -> HerfPico -> HerfZonedTime z

date :: HerfYear -> HerfMonth -> HerfDay -> HerfZonedTime z

dateTime :: HerfYear -> HerfMonth -> HerfDay -> HerfHour -> HerfMin -> HerfSec -> HerfZonedTime z

dateTimePico :: HerfYear -> HerfMonth -> HerfDay -> HerfHour -> HerfMin -> HerfSec -> HerfPico -> HerfZonedTime z

KnownSymbol z => FromUTCHerfTime (HerfZonedTime z)

Methods

unherf :: UTCHerfTime -> HerfZonedTime z

KnownSymbol z => ToUTCHerfTime (HerfZonedTime z)

Methods

herf :: HerfZonedTime z -> UTCHerfTime

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

fromZonedTime :: forall z. KnownSymbol z => HerfZonedTime z -> 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