Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Thyme.LocalTime
Synopsis
- type Minutes = Int
- type Hours = Int
- data TimeZone = TimeZone {
- timeZoneMinutes :: !Minutes
- timeZoneSummerOnly :: !Bool
- timeZoneName :: String
- timeZoneOffsetString :: TimeZone -> String
- minutesToTimeZone :: Minutes -> TimeZone
- hoursToTimeZone :: Hours -> TimeZone
- utc :: TimeZone
- getTimeZone :: UTCTime -> IO TimeZone
- getCurrentTimeZone :: IO TimeZone
- type Hour = Int
- type Minute = Int
- data TimeOfDay = TimeOfDay {}
- minuteLength :: Hour -> Minute -> DiffTime
- midnight :: TimeOfDay
- midday :: TimeOfDay
- makeTimeOfDayValid :: Hour -> Minute -> DiffTime -> Maybe TimeOfDay
- timeOfDay :: Iso' DiffTime TimeOfDay
- addMinutes :: Minutes -> TimeOfDay -> (Days, TimeOfDay)
- dayFraction :: Iso' TimeOfDay Rational
- data LocalTime = LocalTime {
- localDay :: !Day
- localTimeOfDay :: !TimeOfDay
- utcLocalTime :: TimeZone -> Iso' UTCTime LocalTime
- ut1LocalTime :: Rational -> Iso' UniversalTime LocalTime
- data ZonedTime = ZonedTime {}
- zonedTime :: Iso' (TimeZone, UTCTime) ZonedTime
- getZonedTime :: IO ZonedTime
- utcToLocalZonedTime :: UTCTime -> IO ZonedTime
- _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
Documentation
Time zones
Constructors
TimeZone | |
Fields
|
Instances
Bounded TimeZone Source # | |
Defined in Data.Thyme.LocalTime | |
Eq TimeZone Source # | |
Data TimeZone Source # | |
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 | |
Ord TimeZone Source # | |
Defined in Data.Thyme.LocalTime | |
Show TimeZone Source # | |
Generic TimeZone Source # | |
Arbitrary TimeZone Source # | |
CoArbitrary TimeZone Source # | |
Defined in Data.Thyme.LocalTime | |
Random TimeZone Source # | |
Defined in Data.Thyme.LocalTime Methods randomR :: RandomGen g => (TimeZone, TimeZone) -> g -> (TimeZone, g) Source # random :: RandomGen g => g -> (TimeZone, g) Source # randomRs :: RandomGen g => (TimeZone, TimeZone) -> g -> [TimeZone] Source # randoms :: RandomGen g => g -> [TimeZone] Source # | |
NFData TimeZone Source # | |
Defined in Data.Thyme.LocalTime | |
ParseTime TimeZone Source # | |
FormatTime TimeZone Source # | |
Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> TimeZone -> (Char -> ShowS) -> Char -> ShowS Source # | |
Thyme TimeZone TimeZone Source # | |
Defined in Data.Thyme.Time.Core | |
type Rep TimeZone Source # | |
Defined in Data.Thyme.LocalTime type Rep TimeZone = D1 ('MetaData "TimeZone" "Data.Thyme.LocalTime" "thyme-0.3.5.5-HOyDhscyp6DAG18Bo0CWR" '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)))) |
timeZoneOffsetString :: TimeZone -> String Source #
Text representing the offset of this timezone, e.g. "-0800" or
"+0400" (like %z in formatTime
)
minutesToTimeZone :: Minutes -> TimeZone Source #
Create a nameless non-summer timezone for this number of minutes
hoursToTimeZone :: Hours -> TimeZone Source #
Create a nameless non-summer timezone for this number of hours
getTimeZone :: UTCTime -> IO TimeZone Source #
getCurrentTimeZone :: IO TimeZone Source #
Time of day
Instances
Bounded TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime | |
Eq TimeOfDay Source # | |
Data TimeOfDay Source # | |
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 | |
Ord TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime | |
Read TimeOfDay | |
Defined in Data.Thyme.Format | |
Show TimeOfDay Source # | |
Generic TimeOfDay Source # | |
Arbitrary TimeOfDay Source # | |
CoArbitrary TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime | |
Random TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime Methods randomR :: RandomGen g => (TimeOfDay, TimeOfDay) -> g -> (TimeOfDay, g) Source # random :: RandomGen g => g -> (TimeOfDay, g) Source # randomRs :: RandomGen g => (TimeOfDay, TimeOfDay) -> g -> [TimeOfDay] Source # randoms :: RandomGen g => g -> [TimeOfDay] Source # randomRIO :: (TimeOfDay, TimeOfDay) -> IO TimeOfDay Source # | |
Unbox TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime | |
NFData TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime | |
ParseTime TimeOfDay Source # | |
FormatTime TimeOfDay Source # | |
Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> TimeOfDay -> (Char -> ShowS) -> Char -> ShowS Source # | |
Vector Vector TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) TimeOfDay -> m (Vector TimeOfDay) Source # basicUnsafeThaw :: PrimMonad m => Vector TimeOfDay -> m (Mutable Vector (PrimState m) TimeOfDay) Source # basicLength :: Vector TimeOfDay -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector TimeOfDay -> Vector TimeOfDay Source # basicUnsafeIndexM :: Monad m => Vector TimeOfDay -> Int -> m TimeOfDay Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) TimeOfDay -> Vector TimeOfDay -> m () Source # | |
MVector MVector TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime Methods basicLength :: MVector s TimeOfDay -> Int Source # basicUnsafeSlice :: Int -> Int -> MVector s TimeOfDay -> MVector s TimeOfDay Source # basicOverlaps :: MVector s TimeOfDay -> MVector s TimeOfDay -> Bool Source # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) TimeOfDay) Source # basicInitialize :: PrimMonad m => MVector (PrimState m) TimeOfDay -> m () Source # basicUnsafeReplicate :: PrimMonad m => Int -> TimeOfDay -> m (MVector (PrimState m) TimeOfDay) Source # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) TimeOfDay -> Int -> m TimeOfDay Source # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) TimeOfDay -> Int -> TimeOfDay -> m () Source # basicClear :: PrimMonad m => MVector (PrimState m) TimeOfDay -> m () Source # basicSet :: PrimMonad m => MVector (PrimState m) TimeOfDay -> TimeOfDay -> m () Source # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) TimeOfDay -> MVector (PrimState m) TimeOfDay -> m () Source # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) TimeOfDay -> MVector (PrimState m) TimeOfDay -> m () Source # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) TimeOfDay -> Int -> m (MVector (PrimState m) TimeOfDay) Source # | |
Thyme TimeOfDay TimeOfDay Source # | |
Defined in Data.Thyme.Time.Core | |
type Rep TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime type Rep TimeOfDay = D1 ('MetaData "TimeOfDay" "Data.Thyme.LocalTime" "thyme-0.3.5.5-HOyDhscyp6DAG18Bo0CWR" '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 Source # | |
Defined in Data.Thyme.LocalTime | |
newtype MVector s TimeOfDay Source # | |
Defined in Data.Thyme.LocalTime |
addMinutes :: Minutes -> TimeOfDay -> (Days, TimeOfDay) Source #
Add some minutes to a TimeOfDay
; result comes with a day adjustment.
dayFraction :: Iso' TimeOfDay Rational Source #
Local Time
Constructors
LocalTime | |
Fields
|
Instances
Bounded LocalTime Source # | |
Defined in Data.Thyme.LocalTime | |
Eq LocalTime Source # | |
Data LocalTime Source # | |
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 | |
Ord LocalTime Source # | |
Defined in Data.Thyme.LocalTime | |
Read LocalTime | |
Defined in Data.Thyme.Format | |
Show LocalTime Source # | |
Generic LocalTime Source # | |
Arbitrary LocalTime Source # | |
CoArbitrary LocalTime Source # | |
Defined in Data.Thyme.LocalTime | |
Random LocalTime Source # | |
Defined in Data.Thyme.LocalTime Methods randomR :: RandomGen g => (LocalTime, LocalTime) -> g -> (LocalTime, g) Source # random :: RandomGen g => g -> (LocalTime, g) Source # randomRs :: RandomGen g => (LocalTime, LocalTime) -> g -> [LocalTime] Source # randoms :: RandomGen g => g -> [LocalTime] Source # randomRIO :: (LocalTime, LocalTime) -> IO LocalTime Source # | |
Unbox LocalTime Source # | |
Defined in Data.Thyme.LocalTime | |
NFData LocalTime Source # | |
Defined in Data.Thyme.LocalTime | |
ParseTime LocalTime Source # | |
FormatTime LocalTime Source # | |
Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> LocalTime -> (Char -> ShowS) -> Char -> ShowS Source # | |
Vector Vector LocalTime Source # | |
Defined in Data.Thyme.LocalTime Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) LocalTime -> m (Vector LocalTime) Source # basicUnsafeThaw :: PrimMonad m => Vector LocalTime -> m (Mutable Vector (PrimState m) LocalTime) Source # basicLength :: Vector LocalTime -> Int Source # basicUnsafeSlice :: Int -> Int -> Vector LocalTime -> Vector LocalTime Source # basicUnsafeIndexM :: Monad m => Vector LocalTime -> Int -> m LocalTime Source # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) LocalTime -> Vector LocalTime -> m () Source # | |
MVector MVector LocalTime Source # | |
Defined in Data.Thyme.LocalTime Methods basicLength :: MVector s LocalTime -> Int Source # basicUnsafeSlice :: Int -> Int -> MVector s LocalTime -> MVector s LocalTime Source # basicOverlaps :: MVector s LocalTime -> MVector s LocalTime -> Bool Source # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) LocalTime) Source # basicInitialize :: PrimMonad m => MVector (PrimState m) LocalTime -> m () Source # basicUnsafeReplicate :: PrimMonad m => Int -> LocalTime -> m (MVector (PrimState m) LocalTime) Source # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) LocalTime -> Int -> m LocalTime Source # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) LocalTime -> Int -> LocalTime -> m () Source # basicClear :: PrimMonad m => MVector (PrimState m) LocalTime -> m () Source # basicSet :: PrimMonad m => MVector (PrimState m) LocalTime -> LocalTime -> m () Source # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) LocalTime -> MVector (PrimState m) LocalTime -> m () Source # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) LocalTime -> MVector (PrimState m) LocalTime -> m () Source # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) LocalTime -> Int -> m (MVector (PrimState m) LocalTime) Source # | |
Thyme LocalTime LocalTime Source # | |
Defined in Data.Thyme.Time.Core | |
type Rep LocalTime Source # | |
Defined in Data.Thyme.LocalTime type Rep LocalTime = D1 ('MetaData "LocalTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-HOyDhscyp6DAG18Bo0CWR" '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 Source # | |
Defined in Data.Thyme.LocalTime | |
newtype MVector s LocalTime Source # | |
Defined in Data.Thyme.LocalTime |
ut1LocalTime :: Rational -> Iso' UniversalTime LocalTime Source #
Zoned Time
Constructors
ZonedTime | |
Fields |
Instances
Bounded ZonedTime Source # | |
Defined in Data.Thyme.LocalTime | |
Eq ZonedTime Source # | |
Data ZonedTime Source # | |
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 | |
Ord ZonedTime Source # | |
Defined in Data.Thyme.LocalTime | |
Read ZonedTime | |
Defined in Data.Thyme.Format | |
Show ZonedTime Source # | |
Generic ZonedTime Source # | |
Arbitrary ZonedTime Source # | |
CoArbitrary ZonedTime Source # | |
Defined in Data.Thyme.LocalTime | |
ToJSON ZonedTime Source # | |
FromJSON ZonedTime Source # | |
Random ZonedTime Source # | |
Defined in Data.Thyme.LocalTime Methods randomR :: RandomGen g => (ZonedTime, ZonedTime) -> g -> (ZonedTime, g) Source # random :: RandomGen g => g -> (ZonedTime, g) Source # randomRs :: RandomGen g => (ZonedTime, ZonedTime) -> g -> [ZonedTime] Source # randoms :: RandomGen g => g -> [ZonedTime] Source # randomRIO :: (ZonedTime, ZonedTime) -> IO ZonedTime Source # | |
NFData ZonedTime Source # | |
Defined in Data.Thyme.LocalTime | |
ParseTime ZonedTime Source # | |
FormatTime ZonedTime Source # | |
Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> ZonedTime -> (Char -> ShowS) -> Char -> ShowS Source # | |
Thyme ZonedTime ZonedTime Source # | |
Defined in Data.Thyme.Time.Core | |
type Rep ZonedTime Source # | |
Defined in Data.Thyme.LocalTime type Rep ZonedTime = D1 ('MetaData "ZonedTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-HOyDhscyp6DAG18Bo0CWR" 'False) (C1 ('MetaCons "ZonedTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "zonedTimeToLocalTime") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 LocalTime) :*: S1 ('MetaSel ('Just "zonedTimeZone") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TimeZone))) |
getZonedTime :: IO ZonedTime Source #
utcToLocalZonedTime :: UTCTime -> IO ZonedTime Source #
Lenses
_timeZoneMinutes :: Lens' TimeZone Minutes Source #
_timeZoneSummerOnly :: Lens' TimeZone Bool Source #
_timeZoneName :: Lens' TimeZone String Source #
_localTimeOfDay :: Lens' LocalTime TimeOfDay Source #
_zonedTimeToLocalTime :: Lens' ZonedTime LocalTime Source #
_zonedTimeZone :: Lens' ZonedTime TimeZone Source #