Copyright	Plow Technologies LLC
License	MIT License
Maintainer	Scott Murphy
Safe Haskell	None
Language	Haskell2010

HerfTime.ZonedTime

Description

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.

|

Synopsis

data HerfZonedTime (z :: Symbol)
toZonedTime :: forall z. KnownSymbol z => UTCTime -> HerfZonedTime z
fromZonedTime :: forall z. KnownSymbol z => HerfZonedTime z -> UTCTime
addTimeZone :: forall z. KnownSymbol z => UTCTime -> HerfZonedTime z
herfz :: ZonedTime -> UTCHerfTime
reherfz :: FromUTCHerfTime b => ZonedTime -> b
module HerfTime
module Data.Time

Documentation

data HerfZonedTime (z :: Symbol) Source #

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

Instances

KnownSymbol z => Show (HerfZonedTime z) Source #
Instance details Defined in HerfTime.ZonedTime Methods showsPrec :: Int -> HerfZonedTime z -> ShowS # show :: HerfZonedTime z -> String # showList :: [HerfZonedTime z] -> ShowS #
FormatTime (HerfZonedTime z) Source #
Instance details Defined in HerfTime.ZonedTime Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Maybe Int -> HerfZonedTime z -> String) #
ParseTime (HerfZonedTime z) Source #
Instance details Defined in HerfTime.ZonedTime Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe (HerfZonedTime z) #
KnownSymbol z => HerfedTime (HerfZonedTime z) Source #	`>>>` `:set -XDataKinds``>>>` `(reherf $ ( dateTime 2016 01 01 01 01 01 :: HerfZonedTime "CST")) :: HerfZonedTime "PST"`2015-12-31T23:01:01:PST
Instance details Defined in HerfTime.ZonedTime Methods addYear :: HerfZonedTime z -> HerfYear -> HerfZonedTime z Source # addMonth :: HerfZonedTime z -> HerfMonth -> HerfZonedTime z Source # addWeek :: HerfZonedTime z -> HerfWeek -> HerfZonedTime z Source # addDay :: HerfZonedTime z -> HerfDay -> HerfZonedTime z Source # addHour :: HerfZonedTime z -> HerfHour -> HerfZonedTime z Source # addMinute :: HerfZonedTime z -> HerfMin -> HerfZonedTime z Source # addSecond :: HerfZonedTime z -> HerfSec -> HerfZonedTime z Source # addPicosecond :: HerfZonedTime z -> HerfPico -> HerfZonedTime z Source # date :: HerfYear -> HerfMonth -> HerfDay -> HerfZonedTime z Source # dateTime :: HerfYear -> HerfMonth -> HerfDay -> HerfHour -> HerfMin -> HerfSec -> HerfZonedTime z Source # dateTimePico :: HerfYear -> HerfMonth -> HerfDay -> HerfHour -> HerfMin -> HerfSec -> HerfPico -> HerfZonedTime z Source #
KnownSymbol z => FromUTCHerfTime (HerfZonedTime z) Source #
Instance details Defined in HerfTime.ZonedTime Methods unherf :: UTCHerfTime -> HerfZonedTime z Source #
KnownSymbol z => ToUTCHerfTime (HerfZonedTime z) Source #
Instance details Defined in HerfTime.ZonedTime Methods herf :: HerfZonedTime z -> UTCHerfTime Source #

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

Helper function to convert UTCTime to HerfZoned time

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

Getting back from HerfZonedTime to UTCTime

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

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 Source #

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

reherfz :: FromUTCHerfTime b => ZonedTime -> b Source #

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

module HerfTime

module Data.Time