Data.Thyme.LocalTime

Local time and time zones.

Documentation

type Hour = Int

Hour time-of-day.

type Minute = Int

Minute time-of-day.

pattern MV_TimeOfDay :: (MVector s Int64) -> MVector s TimeOfDay

pattern MV_LocalTime :: (MVector s (Day, TimeOfDay)) -> MVector s LocalTime

pattern V_TimeOfDay :: (Vector Int64) -> Vector TimeOfDay

pattern V_LocalTime :: (Vector (Day, TimeOfDay)) -> Vector LocalTime

data TimeOfDay

Time of day in hour, minute, second.

Constructors

TimeOfDay

Fields

• todHour :: !Hour
• todMin :: !Minute
• todSec :: !DiffTime

  Second.

Instances

Arbitrary TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

arbitrary :: Gen TimeOfDay

shrink :: TimeOfDay -> [TimeOfDay]

CoArbitrary TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

coarbitrary :: TimeOfDay -> Gen b -> Gen b

Data TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TimeOfDay -> c TimeOfDay

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TimeOfDay

toConstr :: TimeOfDay -> Constr

dataTypeOf :: TimeOfDay -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TimeOfDay)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TimeOfDay)

gmapT :: (forall b. Data b => b -> b) -> TimeOfDay -> TimeOfDay

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TimeOfDay -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TimeOfDay -> r

gmapQ :: (forall d. Data d => d -> u) -> TimeOfDay -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TimeOfDay -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TimeOfDay -> m TimeOfDay

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TimeOfDay -> m TimeOfDay

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TimeOfDay -> m TimeOfDay

Bounded TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

minBound :: TimeOfDay

maxBound :: TimeOfDay

Generic TimeOfDay

Defined in Data.Thyme.LocalTime

Associated Types

type Rep TimeOfDay :: Type -> Type

Methods

from :: TimeOfDay -> Rep TimeOfDay x

to :: Rep TimeOfDay x -> TimeOfDay

Read TimeOfDay

Defined in Data.Thyme.Format

Methods

readsPrec :: Int -> ReadS TimeOfDay

readList :: ReadS [TimeOfDay]

readPrec :: ReadPrec TimeOfDay

readListPrec :: ReadPrec [TimeOfDay]

Show TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

showsPrec :: Int -> TimeOfDay -> ShowS

show :: TimeOfDay -> String

showList :: [TimeOfDay] -> ShowS

NFData TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

rnf :: TimeOfDay -> ()

Eq TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

(==) :: TimeOfDay -> TimeOfDay -> Bool

(/=) :: TimeOfDay -> TimeOfDay -> Bool

Ord TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

compare :: TimeOfDay -> TimeOfDay -> Ordering

(<) :: TimeOfDay -> TimeOfDay -> Bool

(<=) :: TimeOfDay -> TimeOfDay -> Bool

(>) :: TimeOfDay -> TimeOfDay -> Bool

(>=) :: TimeOfDay -> TimeOfDay -> Bool

max :: TimeOfDay -> TimeOfDay -> TimeOfDay

min :: TimeOfDay -> TimeOfDay -> TimeOfDay

Hashable TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

hashWithSalt :: Int -> TimeOfDay -> Int

hash :: TimeOfDay -> Int

Random TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

randomR :: RandomGen g => (TimeOfDay, TimeOfDay) -> g -> (TimeOfDay, g)

random :: RandomGen g => g -> (TimeOfDay, g)

randomRs :: RandomGen g => (TimeOfDay, TimeOfDay) -> g -> [TimeOfDay]

randoms :: RandomGen g => g -> [TimeOfDay]

FormatTime TimeOfDay

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> TimeOfDay -> (Char -> ShowS) -> Char -> ShowS

ParseTime TimeOfDay

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> TimeOfDay

Unbox TimeOfDay

Defined in Data.Thyme.LocalTime

Thyme TimeOfDay TimeOfDay

Defined in Data.Thyme.Time.Core

Methods

thyme :: Iso' TimeOfDay0 TimeOfDay

Vector Vector TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

basicUnsafeFreeze :: Mutable Vector s TimeOfDay -> ST s (Vector TimeOfDay)

basicUnsafeThaw :: Vector TimeOfDay -> ST s (Mutable Vector s TimeOfDay)

basicLength :: Vector TimeOfDay -> Int

basicUnsafeSlice :: Int -> Int -> Vector TimeOfDay -> Vector TimeOfDay

basicUnsafeIndexM :: Vector TimeOfDay -> Int -> Box TimeOfDay

basicUnsafeCopy :: Mutable Vector s TimeOfDay -> Vector TimeOfDay -> ST s ()

elemseq :: Vector TimeOfDay -> TimeOfDay -> b -> b

MVector MVector TimeOfDay

Defined in Data.Thyme.LocalTime

Methods

basicLength :: MVector s TimeOfDay -> Int

basicUnsafeSlice :: Int -> Int -> MVector s TimeOfDay -> MVector s TimeOfDay

basicOverlaps :: MVector s TimeOfDay -> MVector s TimeOfDay -> Bool

basicUnsafeNew :: Int -> ST s (MVector s TimeOfDay)

basicInitialize :: MVector s TimeOfDay -> ST s ()

basicUnsafeReplicate :: Int -> TimeOfDay -> ST s (MVector s TimeOfDay)

basicUnsafeRead :: MVector s TimeOfDay -> Int -> ST s TimeOfDay

basicUnsafeWrite :: MVector s TimeOfDay -> Int -> TimeOfDay -> ST s ()

basicClear :: MVector s TimeOfDay -> ST s ()

basicSet :: MVector s TimeOfDay -> TimeOfDay -> ST s ()

basicUnsafeCopy :: MVector s TimeOfDay -> MVector s TimeOfDay -> ST s ()

basicUnsafeMove :: MVector s TimeOfDay -> MVector s TimeOfDay -> ST s ()

basicUnsafeGrow :: MVector s TimeOfDay -> Int -> ST s (MVector s TimeOfDay)

type Rep TimeOfDay

Defined in Data.Thyme.LocalTime

type Rep TimeOfDay = D1 ('MetaData "TimeOfDay" "Data.Thyme.LocalTime" "thyme-0.4-HyK6SfK4MlBKX4LjgMsZJ4" 'False) (C1 ('MetaCons "TimeOfDay" 'PrefixI 'True) (S1 ('MetaSel ('Just "todHour") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Hour) :*: (S1 ('MetaSel ('Just "todMin") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Minute) :*: S1 ('MetaSel ('Just "todSec") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DiffTime))))

newtype Vector TimeOfDay

Defined in Data.Thyme.LocalTime

newtype Vector TimeOfDay = V_TimeOfDay (Vector Int64)

newtype MVector s TimeOfDay

Defined in Data.Thyme.LocalTime

newtype MVector s TimeOfDay = MV_TimeOfDay (MVector s Int64)

data TimeZone

Description of one time zone.

A TimeZone is a whole number of minutes offset from UTC, together with a name and a ‘summer time’ flag.

Constructors

TimeZone

Fields

• timeZoneMinutes :: !Minutes

  The number of minutes offset from UTC.

• timeZoneSummerOnly :: !Bool

  Is this a summer-only (i.e. daylight savings) time zone?

• timeZoneName :: String

  The name of the zone, typically a three- or four-letter acronym.

Instances

Arbitrary TimeZone

Defined in Data.Thyme.LocalTime

Methods

arbitrary :: Gen TimeZone

shrink :: TimeZone -> [TimeZone]

CoArbitrary TimeZone

Defined in Data.Thyme.LocalTime

Methods

coarbitrary :: TimeZone -> Gen b -> Gen b

Data TimeZone

Defined in Data.Thyme.LocalTime

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TimeZone -> c TimeZone

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TimeZone

toConstr :: TimeZone -> Constr

dataTypeOf :: TimeZone -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TimeZone)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TimeZone)

gmapT :: (forall b. Data b => b -> b) -> TimeZone -> TimeZone

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TimeZone -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TimeZone -> r

gmapQ :: (forall d. Data d => d -> u) -> TimeZone -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TimeZone -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TimeZone -> m TimeZone

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TimeZone -> m TimeZone

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TimeZone -> m TimeZone

Bounded TimeZone

Defined in Data.Thyme.LocalTime

Methods

minBound :: TimeZone

maxBound :: TimeZone

Generic TimeZone

Defined in Data.Thyme.LocalTime

Associated Types

type Rep TimeZone :: Type -> Type

Methods

from :: TimeZone -> Rep TimeZone x

to :: Rep TimeZone x -> TimeZone

Show TimeZone

Defined in Data.Thyme.LocalTime

Methods

showsPrec :: Int -> TimeZone -> ShowS

show :: TimeZone -> String

showList :: [TimeZone] -> ShowS

NFData TimeZone

Defined in Data.Thyme.LocalTime

Methods

rnf :: TimeZone -> ()

Eq TimeZone

Defined in Data.Thyme.LocalTime

Methods

(==) :: TimeZone -> TimeZone -> Bool

(/=) :: TimeZone -> TimeZone -> Bool

Ord TimeZone

Defined in Data.Thyme.LocalTime

Methods

compare :: TimeZone -> TimeZone -> Ordering

(<) :: TimeZone -> TimeZone -> Bool

(<=) :: TimeZone -> TimeZone -> Bool

(>) :: TimeZone -> TimeZone -> Bool

(>=) :: TimeZone -> TimeZone -> Bool

max :: TimeZone -> TimeZone -> TimeZone

min :: TimeZone -> TimeZone -> TimeZone

Hashable TimeZone

Defined in Data.Thyme.LocalTime

Methods

hashWithSalt :: Int -> TimeZone -> Int

hash :: TimeZone -> Int

Random TimeZone

Defined in Data.Thyme.LocalTime

Methods

randomR :: RandomGen g => (TimeZone, TimeZone) -> g -> (TimeZone, g)

random :: RandomGen g => g -> (TimeZone, g)

randomRs :: RandomGen g => (TimeZone, TimeZone) -> g -> [TimeZone]

randoms :: RandomGen g => g -> [TimeZone]

FormatTime TimeZone

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> TimeZone -> (Char -> ShowS) -> Char -> ShowS

ParseTime TimeZone

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> TimeZone

Thyme TimeZone TimeZone

Defined in Data.Thyme.Time.Core

Methods

thyme :: Iso' TimeZone0 TimeZone

type Rep TimeZone

Defined in Data.Thyme.LocalTime

type Rep TimeZone = D1 ('MetaData "TimeZone" "Data.Thyme.LocalTime" "thyme-0.4-HyK6SfK4MlBKX4LjgMsZJ4" 'False) (C1 ('MetaCons "TimeZone" 'PrefixI 'True) (S1 ('MetaSel ('Just "timeZoneMinutes") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Minutes) :*: (S1 ('MetaSel ('Just "timeZoneSummerOnly") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool) :*: S1 ('MetaSel ('Just "timeZoneName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

type Minutes = Int

Minutes duration.

type Hours = Int

Hours duration.

_timeZoneMinutes :: Lens' TimeZone Minutes

_timeZoneSummerOnly :: Lens' TimeZone Bool

_timeZoneName :: Lens' TimeZone String

timeZoneOffsetString :: TimeZone -> String

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

timeZoneOffsetStringColon :: TimeZone -> String

Text representing the offset of this timezone in ISO 8601 style, e.g. "-08:00" or "+04:00" (like %N 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

The UTC (Zulu) time zone.

utc = TimeZone 0 False "UTC"

getTimeZone :: UTCTime -> IO TimeZone

Get the local time zone at the given time, varying as per summer time adjustments.

Performed by localtime_r or a similar call.

getCurrentTimeZone :: IO TimeZone

Get the current local time zone.

getCurrentTimeZone = getCurrentTime >>= getTimeZone

> getCurrentTimeZone
JST

_todHour :: Lens' TimeOfDay Hour

_todMin :: Lens' TimeOfDay Minute

_todSec :: Lens' TimeOfDay DiffTime

data LocalTime

Local calendar date and time-of-day.

This type is appropriate for inputting from and outputting to the outside world.

To actually perform logic and arithmetic on local date-times, a LocalTime should first be converted to a UTCTime by the utcLocalTime Iso.

See also: ZonedTime.

Constructors

LocalTime

Fields

• localDay :: !Day

  Local calendar date.

• localTimeOfDay :: !TimeOfDay

  Local time-of-day.

Instances

Arbitrary LocalTime

Defined in Data.Thyme.LocalTime

Methods

arbitrary :: Gen LocalTime

shrink :: LocalTime -> [LocalTime]

CoArbitrary LocalTime

Defined in Data.Thyme.LocalTime

Methods

coarbitrary :: LocalTime -> Gen b -> Gen b

Data LocalTime

Defined in Data.Thyme.LocalTime

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LocalTime -> c LocalTime

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LocalTime

toConstr :: LocalTime -> Constr

dataTypeOf :: LocalTime -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LocalTime)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LocalTime)

gmapT :: (forall b. Data b => b -> b) -> LocalTime -> LocalTime

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LocalTime -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LocalTime -> r

gmapQ :: (forall d. Data d => d -> u) -> LocalTime -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LocalTime -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LocalTime -> m LocalTime

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalTime -> m LocalTime

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalTime -> m LocalTime

Bounded LocalTime

Defined in Data.Thyme.LocalTime

Methods

minBound :: LocalTime

maxBound :: LocalTime

Generic LocalTime

Defined in Data.Thyme.LocalTime

Associated Types

type Rep LocalTime :: Type -> Type

Methods

from :: LocalTime -> Rep LocalTime x

to :: Rep LocalTime x -> LocalTime

Read LocalTime

Defined in Data.Thyme.Format

Methods

readsPrec :: Int -> ReadS LocalTime

readList :: ReadS [LocalTime]

readPrec :: ReadPrec LocalTime

readListPrec :: ReadPrec [LocalTime]

Show LocalTime

Defined in Data.Thyme.LocalTime

Methods

showsPrec :: Int -> LocalTime -> ShowS

show :: LocalTime -> String

showList :: [LocalTime] -> ShowS

NFData LocalTime

Defined in Data.Thyme.LocalTime

Methods

rnf :: LocalTime -> ()

Eq LocalTime

Defined in Data.Thyme.LocalTime

Methods

(==) :: LocalTime -> LocalTime -> Bool

(/=) :: LocalTime -> LocalTime -> Bool

Ord LocalTime

Defined in Data.Thyme.LocalTime

Methods

compare :: LocalTime -> LocalTime -> Ordering

(<) :: LocalTime -> LocalTime -> Bool

(<=) :: LocalTime -> LocalTime -> Bool

(>) :: LocalTime -> LocalTime -> Bool

(>=) :: LocalTime -> LocalTime -> Bool

max :: LocalTime -> LocalTime -> LocalTime

min :: LocalTime -> LocalTime -> LocalTime

Hashable LocalTime

Defined in Data.Thyme.LocalTime

Methods

hashWithSalt :: Int -> LocalTime -> Int

hash :: LocalTime -> Int

Random LocalTime

Defined in Data.Thyme.LocalTime

Methods

randomR :: RandomGen g => (LocalTime, LocalTime) -> g -> (LocalTime, g)

random :: RandomGen g => g -> (LocalTime, g)

randomRs :: RandomGen g => (LocalTime, LocalTime) -> g -> [LocalTime]

randoms :: RandomGen g => g -> [LocalTime]

FormatTime LocalTime

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> LocalTime -> (Char -> ShowS) -> Char -> ShowS

ParseTime LocalTime

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> LocalTime

Unbox LocalTime

Defined in Data.Thyme.LocalTime

Thyme LocalTime LocalTime

Defined in Data.Thyme.Time.Core

Methods

thyme :: Iso' LocalTime0 LocalTime

Vector Vector LocalTime

Defined in Data.Thyme.LocalTime

Methods

basicUnsafeFreeze :: Mutable Vector s LocalTime -> ST s (Vector LocalTime)

basicUnsafeThaw :: Vector LocalTime -> ST s (Mutable Vector s LocalTime)

basicLength :: Vector LocalTime -> Int

basicUnsafeSlice :: Int -> Int -> Vector LocalTime -> Vector LocalTime

basicUnsafeIndexM :: Vector LocalTime -> Int -> Box LocalTime

basicUnsafeCopy :: Mutable Vector s LocalTime -> Vector LocalTime -> ST s ()

elemseq :: Vector LocalTime -> LocalTime -> b -> b

MVector MVector LocalTime

Defined in Data.Thyme.LocalTime

Methods

basicLength :: MVector s LocalTime -> Int

basicUnsafeSlice :: Int -> Int -> MVector s LocalTime -> MVector s LocalTime

basicOverlaps :: MVector s LocalTime -> MVector s LocalTime -> Bool

basicUnsafeNew :: Int -> ST s (MVector s LocalTime)

basicInitialize :: MVector s LocalTime -> ST s ()

basicUnsafeReplicate :: Int -> LocalTime -> ST s (MVector s LocalTime)

basicUnsafeRead :: MVector s LocalTime -> Int -> ST s LocalTime

basicUnsafeWrite :: MVector s LocalTime -> Int -> LocalTime -> ST s ()

basicClear :: MVector s LocalTime -> ST s ()

basicSet :: MVector s LocalTime -> LocalTime -> ST s ()

basicUnsafeCopy :: MVector s LocalTime -> MVector s LocalTime -> ST s ()

basicUnsafeMove :: MVector s LocalTime -> MVector s LocalTime -> ST s ()

basicUnsafeGrow :: MVector s LocalTime -> Int -> ST s (MVector s LocalTime)

type Rep LocalTime

Defined in Data.Thyme.LocalTime

type Rep LocalTime = D1 ('MetaData "LocalTime" "Data.Thyme.LocalTime" "thyme-0.4-HyK6SfK4MlBKX4LjgMsZJ4" 'False) (C1 ('MetaCons "LocalTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "localDay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Day) :*: S1 ('MetaSel ('Just "localTimeOfDay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 TimeOfDay)))

newtype Vector LocalTime

Defined in Data.Thyme.LocalTime

newtype Vector LocalTime = V_LocalTime (Vector (Day, TimeOfDay))

newtype MVector s LocalTime

Defined in Data.Thyme.LocalTime

newtype MVector s LocalTime = MV_LocalTime (MVector s (Day, TimeOfDay))

minuteLength :: Hour -> Minute -> DiffTime

The maximum possible length of a minute. Always 60s, except at 23:59 due to leap seconds.

minuteLength 23 59 = fromSeconds' 61
minuteLength _  _  = fromSeconds' 60

midnight :: TimeOfDay

Hour zero, midnight.

midnight = TimeOfDay 0 0 zeroV

midday :: TimeOfDay

Hour twelve, noon.

midday = TimeOfDay 12 0 zeroV

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

Construct a TimeOfDay from the hour, minute, and second.

Returns Nothing if these constraints are not satisfied:

• 0 ≤ hour ≤ 23
• 0 ≤ minute ≤ 59
• 0 ≤ second < minuteLength hour minute

timeOfDay :: Iso' DiffTime TimeOfDay

Conversion between DiffTime and TimeOfDay.

> fromSeconds' 100 ^. timeOfDay
00:01:40

> timeOfDay # TimeOfDay 0 1 40
100s

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

Add some minutes to a TimeOfDay; the result includes a day adjustment.

> addMinutes 10 (TimeOfDay 23 55 0)
(1,00:05:00)

dayFraction :: Iso' TimeOfDay Rational

Conversion between TimeOfDay and the fraction of a day.

> TimeOfDay 6 0 0 ^. dayFraction
1 % 4
> TimeOfDay 8 0 0 ^. dayFraction
1 % 3

> dayFraction # (1 / 4)
06:00:00
> dayFraction # (1 / 3)
08:00:00

_localDay :: Lens' LocalTime Day

_localTimeOfDay :: Lens' LocalTime TimeOfDay

data ZonedTime

A LocalTime and its TimeZone.

This type is appropriate for inputting from and outputting to the outside world.

To actually perform logic and arithmetic on local date-times, a ZonedTime should first be converted to a UTCTime by the zonedTime Iso.

Constructors

ZonedTime

Fields

• zonedTimeToLocalTime :: !LocalTime
• zonedTimeZone :: !TimeZone

Instances

Arbitrary ZonedTime

Defined in Data.Thyme.LocalTime

Methods

arbitrary :: Gen ZonedTime

shrink :: ZonedTime -> [ZonedTime]

CoArbitrary ZonedTime

Defined in Data.Thyme.LocalTime

Methods

coarbitrary :: ZonedTime -> Gen b -> Gen b

FromJSON ZonedTime

Defined in Data.Thyme.Format.Aeson

Methods

parseJSON :: Value -> Parser ZonedTime

parseJSONList :: Value -> Parser [ZonedTime]

ToJSON ZonedTime

Defined in Data.Thyme.Format.Aeson

Methods

toJSON :: ZonedTime -> Value

toEncoding :: ZonedTime -> Encoding

toJSONList :: [ZonedTime] -> Value

toEncodingList :: [ZonedTime] -> Encoding

Data ZonedTime

Defined in Data.Thyme.LocalTime

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ZonedTime -> c ZonedTime

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ZonedTime

toConstr :: ZonedTime -> Constr

dataTypeOf :: ZonedTime -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ZonedTime)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ZonedTime)

gmapT :: (forall b. Data b => b -> b) -> ZonedTime -> ZonedTime

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ZonedTime -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ZonedTime -> r

gmapQ :: (forall d. Data d => d -> u) -> ZonedTime -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ZonedTime -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ZonedTime -> m ZonedTime

Bounded ZonedTime

Defined in Data.Thyme.LocalTime

Methods

minBound :: ZonedTime

maxBound :: ZonedTime

Generic ZonedTime

Defined in Data.Thyme.LocalTime

Associated Types

type Rep ZonedTime :: Type -> Type

Methods

from :: ZonedTime -> Rep ZonedTime x

to :: Rep ZonedTime x -> ZonedTime

Read ZonedTime

Defined in Data.Thyme.Format

Methods

readsPrec :: Int -> ReadS ZonedTime

readList :: ReadS [ZonedTime]

readPrec :: ReadPrec ZonedTime

readListPrec :: ReadPrec [ZonedTime]

Show ZonedTime

Defined in Data.Thyme.LocalTime

Methods

showsPrec :: Int -> ZonedTime -> ShowS

show :: ZonedTime -> String

showList :: [ZonedTime] -> ShowS

NFData ZonedTime

Defined in Data.Thyme.LocalTime

Methods

rnf :: ZonedTime -> ()

Eq ZonedTime

Defined in Data.Thyme.LocalTime

Methods

(==) :: ZonedTime -> ZonedTime -> Bool

(/=) :: ZonedTime -> ZonedTime -> Bool

Ord ZonedTime

Defined in Data.Thyme.LocalTime

Methods

compare :: ZonedTime -> ZonedTime -> Ordering

(<) :: ZonedTime -> ZonedTime -> Bool

(<=) :: ZonedTime -> ZonedTime -> Bool

(>) :: ZonedTime -> ZonedTime -> Bool

(>=) :: ZonedTime -> ZonedTime -> Bool

max :: ZonedTime -> ZonedTime -> ZonedTime

min :: ZonedTime -> ZonedTime -> ZonedTime

Hashable ZonedTime

Defined in Data.Thyme.LocalTime

Methods

hashWithSalt :: Int -> ZonedTime -> Int

hash :: ZonedTime -> Int

Random ZonedTime

Defined in Data.Thyme.LocalTime

Methods

randomR :: RandomGen g => (ZonedTime, ZonedTime) -> g -> (ZonedTime, g)

random :: RandomGen g => g -> (ZonedTime, g)

randomRs :: RandomGen g => (ZonedTime, ZonedTime) -> g -> [ZonedTime]

randoms :: RandomGen g => g -> [ZonedTime]

FormatTime ZonedTime

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> ZonedTime -> (Char -> ShowS) -> Char -> ShowS

ParseTime ZonedTime

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> ZonedTime

Thyme ZonedTime ZonedTime

Defined in Data.Thyme.Time.Core

Methods

thyme :: Iso' ZonedTime0 ZonedTime

type Rep ZonedTime

Defined in Data.Thyme.LocalTime

type Rep ZonedTime = D1 ('MetaData "ZonedTime" "Data.Thyme.LocalTime" "thyme-0.4-HyK6SfK4MlBKX4LjgMsZJ4" 'False) (C1 ('MetaCons "ZonedTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "zonedTimeToLocalTime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 LocalTime) :*: S1 ('MetaSel ('Just "zonedTimeZone") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TimeZone)))

utcLocalTime :: TimeZone -> Iso' UTCTime LocalTime

Conversion between UTCTime and LocalTime.

> tz <- getCurrentTimeZone

> timeZoneName tz
"JST"

> timeZoneOffsetString tz
"+0900"

> now <- getCurrentTime
> now
2016-04-23 02:00:00.000000 UTC

> let local = now ^. utcLocalTime tz
> local
2016-04-23 11:00:00.000000

> utcLocalTime tz # local
2016-04-23 02:00:00.000000 UTC

See also: zonedTime.

ut1LocalTime :: Rational -> Iso' UniversalTime LocalTime

Conversion between UniversalTime and LocalTime.

_zonedTimeToLocalTime :: Lens' ZonedTime LocalTime

_zonedTimeZone :: Lens' ZonedTime TimeZone

zonedTime :: Iso' (TimeZone, UTCTime) ZonedTime

Conversion between (TimeZone, UTCTime) and ZonedTime.

> now <- getZonedTime
> now
2016-04-04 16:00:00.000000 JST

> zonedTime # now
(JST,2016-04-04 07:00:00.000000 UTC)

> (zonedTime # now) ^. zonedTime
2016-04-04 16:00:00.000000 JST

See also: utcLocalTime.

getZonedTime :: IO ZonedTime

Get the current local date, time, and time zone.

> getZonedTime
2016-04-23 11:57:22.516064 JST

See also: getCurrentTime, getPOSIXTime.

utcToLocalZonedTime :: UTCTime -> IO ZonedTime

Convert a UTCTime to a ZonedTime according to the local time zone returned by getTimeZone.

See also: zonedTime.

utcToLocalTimeOfDay :: TimeZone -> TimeOfDay -> (Days, TimeOfDay)

Convert a UTC TimeOfDay to a TimeOfDay in some timezone, together with a day adjustment.

utcToLocalTimeOfDay = addMinutes . timeZoneMinutes

localToUTCTimeOfDay :: TimeZone -> TimeOfDay -> (Days, TimeOfDay)

Convert a TimeOfDay in some timezone to a UTC TimeOfDay, together with a day adjustment.

localToUTCTimeOfDay = addMinutes . negate . timeZoneMinutes

timeToTimeOfDay :: DiffTime -> TimeOfDay

Convert a DiffTime of the duration since midnight to a TimeOfDay. Durations exceeding 24 hours will be treated as leap-seconds.

timeToTimeOfDay = view timeOfDay
timeToTimeOfDay d ≡ d ^. timeOfDay

timeOfDayToTime :: TimeOfDay -> DiffTime

Convert a TimeOfDay to a DiffTime of the duration since midnight. TimeOfDay greater than 24 hours will be treated as leap-seconds.

timeOfDayToTime = review timeOfDay
timeOfDayToTime tod ≡ timeOfDay # tod

dayFractionToTimeOfDay :: Rational -> TimeOfDay

Convert a fraction of a day since midnight to a TimeOfDay.

dayFractionToTimeOfDay = review dayFraction

timeOfDayToDayFraction :: TimeOfDay -> Rational

Convert a TimeOfDay to a fraction of a day since midnight.

timeOfDayToDayFraction = view dayFraction

utcToLocalTime :: TimeZone -> UTCTime -> LocalTime

Convert a UTCTime to a LocalTime in the given TimeZone.

utcToLocalTime = view . utcLocalTime

localTimeToUTC :: TimeZone -> LocalTime -> UTCTime

Convert a LocalTime in the given TimeZone to a UTCTime.

localTimeToUTC = review . utcLocalTime

ut1ToLocalTime :: Rational -> UniversalTime -> LocalTime

Convert a UniversalTime to a LocalTime at the given medidian in degrees East.

ut1ToLocalTime = view . ut1LocalTime

localTimeToUT1 :: Rational -> LocalTime -> UniversalTime

Convert a LocalTime at the given meridian in degrees East to a UniversalTime.

localTimeToUT1 = review . ut1LocalTime

utcToZonedTime :: TimeZone -> UTCTime -> ZonedTime

Convert a UTCTime and the given TimeZone into a ZonedTime.

utcToZonedTime z t = view zonedTime (z, t)

zonedTimeToUTC :: ZonedTime -> UTCTime

Converts a ZonedTime to a UTCTime.

zonedTimeToUTC = snd . review zonedTime

Orphan instances

Show UTCTime

Methods

showsPrec :: Int -> UTCTime -> ShowS

show :: UTCTime -> String

showList :: [UTCTime] -> ShowS