Safe Haskell	None
Language	Haskell2010

Data.Thyme.LocalTime

Contents

Time zones
Time of day
Local Time
Zoned Time
Lenses
Orphan instances

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 {
- todHour :: !Hour
- todMin :: !Minute
- todSec :: !DiffTime
}
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 {
- zonedTimeToLocalTime :: !LocalTime
- zonedTimeZone :: !TimeZone
}
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

type Minutes = Int #

type Hours = Int #

Time zones

data TimeZone #

Constructors

TimeZone
Fields timeZoneMinutes :: !Minutes timeZoneSummerOnly :: !Bool timeZoneName :: String

Instances

Bounded TimeZone #
Instance details Defined in Data.Thyme.LocalTime Methods minBound :: TimeZone # maxBound :: TimeZone #
Eq TimeZone #
Instance details Defined in Data.Thyme.LocalTime Methods (==) :: TimeZone -> TimeZone -> Bool # (/=) :: TimeZone -> TimeZone -> Bool #
Data TimeZone #
Instance details 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 :: (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 #
Instance details 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 #
Show TimeZone #
Instance details Defined in Data.Thyme.LocalTime Methods showsPrec :: Int -> TimeZone -> ShowS # show :: TimeZone -> String # showList :: [TimeZone] -> ShowS #
Generic TimeZone #
Instance details Defined in Data.Thyme.LocalTime Associated Types type Rep TimeZone :: Type -> Type # Methods from :: TimeZone -> Rep TimeZone x # to :: Rep TimeZone x -> TimeZone #
Arbitrary TimeZone #
Instance details Defined in Data.Thyme.LocalTime Methods arbitrary :: Gen TimeZone # shrink :: TimeZone -> [TimeZone] #
CoArbitrary TimeZone #
Instance details Defined in Data.Thyme.LocalTime Methods coarbitrary :: TimeZone -> Gen b -> Gen b #
NFData TimeZone #
Instance details Defined in Data.Thyme.LocalTime Methods rnf :: TimeZone -> () #
Random TimeZone #
Instance details 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] # randomRIO :: (TimeZone, TimeZone) -> IO TimeZone # randomIO :: IO TimeZone #
ParseTime TimeZone #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> TimeZone #
FormatTime TimeZone #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> TimeZone -> (Char -> ShowS) -> Char -> ShowS #
Thyme TimeZone TimeZone #
Instance details Defined in Data.Thyme.Time.Core Methods thyme :: Iso' TimeZone0 TimeZone #
type Rep TimeZone #
Instance details Defined in Data.Thyme.LocalTime type Rep TimeZone = D1 (MetaData "TimeZone" "Data.Thyme.LocalTime" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" 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 #

Text representing the offset of this timezone, e.g. "-0800" or "+0400" (like %z 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 #

getTimeZone :: UTCTime -> IO TimeZone #

getCurrentTimeZone :: IO TimeZone #

Time of day

type Hour = Int #

type Minute = Int #

data TimeOfDay #

Constructors

TimeOfDay
Fields todHour :: !Hour todMin :: !Minute todSec :: !DiffTime

Instances

Bounded TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Methods minBound :: TimeOfDay # maxBound :: TimeOfDay #
Eq TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Methods (==) :: TimeOfDay -> TimeOfDay -> Bool # (/=) :: TimeOfDay -> TimeOfDay -> Bool #
Data TimeOfDay #
Instance details 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 :: (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 #
Instance details 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 #
Read TimeOfDay #
Instance details Defined in Data.Thyme.Format Methods readsPrec :: Int -> ReadS TimeOfDay # readList :: ReadS [TimeOfDay] # readPrec :: ReadPrec TimeOfDay # readListPrec :: ReadPrec [TimeOfDay] #
Show TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Methods showsPrec :: Int -> TimeOfDay -> ShowS # show :: TimeOfDay -> String # showList :: [TimeOfDay] -> ShowS #
Generic TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Associated Types type Rep TimeOfDay :: Type -> Type # Methods from :: TimeOfDay -> Rep TimeOfDay x # to :: Rep TimeOfDay x -> TimeOfDay #
Arbitrary TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Methods arbitrary :: Gen TimeOfDay # shrink :: TimeOfDay -> [TimeOfDay] #
CoArbitrary TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Methods coarbitrary :: TimeOfDay -> Gen b -> Gen b #
NFData TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Methods rnf :: TimeOfDay -> () #
Random TimeOfDay #
Instance details 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] # randomRIO :: (TimeOfDay, TimeOfDay) -> IO TimeOfDay # randomIO :: IO TimeOfDay #
Unbox TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime
ParseTime TimeOfDay #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> TimeOfDay #
FormatTime TimeOfDay #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> TimeOfDay -> (Char -> ShowS) -> Char -> ShowS #
Vector Vector TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) TimeOfDay -> m (Vector TimeOfDay) # basicUnsafeThaw :: PrimMonad m => Vector TimeOfDay -> m (Mutable Vector (PrimState m) TimeOfDay) # basicLength :: Vector TimeOfDay -> Int # basicUnsafeSlice :: Int -> Int -> Vector TimeOfDay -> Vector TimeOfDay # basicUnsafeIndexM :: Monad m => Vector TimeOfDay -> Int -> m TimeOfDay # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) TimeOfDay -> Vector TimeOfDay -> m () # elemseq :: Vector TimeOfDay -> TimeOfDay -> b -> b #
MVector MVector TimeOfDay #
Instance details 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 :: PrimMonad m => Int -> m (MVector (PrimState m) TimeOfDay) # basicInitialize :: PrimMonad m => MVector (PrimState m) TimeOfDay -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> TimeOfDay -> m (MVector (PrimState m) TimeOfDay) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) TimeOfDay -> Int -> m TimeOfDay # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) TimeOfDay -> Int -> TimeOfDay -> m () # basicClear :: PrimMonad m => MVector (PrimState m) TimeOfDay -> m () # basicSet :: PrimMonad m => MVector (PrimState m) TimeOfDay -> TimeOfDay -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) TimeOfDay -> MVector (PrimState m) TimeOfDay -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) TimeOfDay -> MVector (PrimState m) TimeOfDay -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) TimeOfDay -> Int -> m (MVector (PrimState m) TimeOfDay) #
Thyme TimeOfDay TimeOfDay #
Instance details Defined in Data.Thyme.Time.Core Methods thyme :: Iso' TimeOfDay0 TimeOfDay #
type Rep TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime type Rep TimeOfDay = D1 (MetaData "TimeOfDay" "Data.Thyme.LocalTime" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" 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 #
Instance details Defined in Data.Thyme.LocalTime newtype Vector TimeOfDay = V_TimeOfDay (Vector Int64)
newtype MVector s TimeOfDay #
Instance details Defined in Data.Thyme.LocalTime newtype MVector s TimeOfDay = MV_TimeOfDay (MVector s Int64)

minuteLength :: Hour -> Minute -> DiffTime #

midnight :: TimeOfDay #

Hour zero

midday :: TimeOfDay #

Hour twelve

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

timeOfDay :: Iso' DiffTime TimeOfDay #

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

Add some minutes to a TimeOfDay; result comes with a day adjustment.

dayFraction :: Iso' TimeOfDay Rational #

Local Time

data LocalTime #

Constructors

LocalTime
Fields localDay :: !Day localTimeOfDay :: !TimeOfDay

Instances

Bounded LocalTime #
Instance details Defined in Data.Thyme.LocalTime Methods minBound :: LocalTime # maxBound :: LocalTime #
Eq LocalTime #
Instance details Defined in Data.Thyme.LocalTime Methods (==) :: LocalTime -> LocalTime -> Bool # (/=) :: LocalTime -> LocalTime -> Bool #
Data LocalTime #
Instance details 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 :: (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 #
Instance details 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 #
Read LocalTime #
Instance details Defined in Data.Thyme.Format Methods readsPrec :: Int -> ReadS LocalTime # readList :: ReadS [LocalTime] # readPrec :: ReadPrec LocalTime # readListPrec :: ReadPrec [LocalTime] #
Show LocalTime #
Instance details Defined in Data.Thyme.LocalTime Methods showsPrec :: Int -> LocalTime -> ShowS # show :: LocalTime -> String # showList :: [LocalTime] -> ShowS #
Generic LocalTime #
Instance details Defined in Data.Thyme.LocalTime Associated Types type Rep LocalTime :: Type -> Type # Methods from :: LocalTime -> Rep LocalTime x # to :: Rep LocalTime x -> LocalTime #
Arbitrary LocalTime #
Instance details Defined in Data.Thyme.LocalTime Methods arbitrary :: Gen LocalTime # shrink :: LocalTime -> [LocalTime] #
CoArbitrary LocalTime #
Instance details Defined in Data.Thyme.LocalTime Methods coarbitrary :: LocalTime -> Gen b -> Gen b #
NFData LocalTime #
Instance details Defined in Data.Thyme.LocalTime Methods rnf :: LocalTime -> () #
Random LocalTime #
Instance details 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] # randomRIO :: (LocalTime, LocalTime) -> IO LocalTime # randomIO :: IO LocalTime #
Unbox LocalTime #
Instance details Defined in Data.Thyme.LocalTime
ParseTime LocalTime #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> LocalTime #
FormatTime LocalTime #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> LocalTime -> (Char -> ShowS) -> Char -> ShowS #
Vector Vector LocalTime #
Instance details Defined in Data.Thyme.LocalTime Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) LocalTime -> m (Vector LocalTime) # basicUnsafeThaw :: PrimMonad m => Vector LocalTime -> m (Mutable Vector (PrimState m) LocalTime) # basicLength :: Vector LocalTime -> Int # basicUnsafeSlice :: Int -> Int -> Vector LocalTime -> Vector LocalTime # basicUnsafeIndexM :: Monad m => Vector LocalTime -> Int -> m LocalTime # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) LocalTime -> Vector LocalTime -> m () # elemseq :: Vector LocalTime -> LocalTime -> b -> b #
MVector MVector LocalTime #
Instance details 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 :: PrimMonad m => Int -> m (MVector (PrimState m) LocalTime) # basicInitialize :: PrimMonad m => MVector (PrimState m) LocalTime -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> LocalTime -> m (MVector (PrimState m) LocalTime) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) LocalTime -> Int -> m LocalTime # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) LocalTime -> Int -> LocalTime -> m () # basicClear :: PrimMonad m => MVector (PrimState m) LocalTime -> m () # basicSet :: PrimMonad m => MVector (PrimState m) LocalTime -> LocalTime -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) LocalTime -> MVector (PrimState m) LocalTime -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) LocalTime -> MVector (PrimState m) LocalTime -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) LocalTime -> Int -> m (MVector (PrimState m) LocalTime) #
Thyme LocalTime LocalTime #
Instance details Defined in Data.Thyme.Time.Core Methods thyme :: Iso' LocalTime0 LocalTime #
type Rep LocalTime #
Instance details Defined in Data.Thyme.LocalTime type Rep LocalTime = D1 (MetaData "LocalTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" 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 #
Instance details Defined in Data.Thyme.LocalTime newtype Vector LocalTime = V_LocalTime (Vector (Day, TimeOfDay))
newtype MVector s LocalTime #
Instance details Defined in Data.Thyme.LocalTime newtype MVector s LocalTime = MV_LocalTime (MVector s (Day, TimeOfDay))

utcLocalTime :: TimeZone -> Iso' UTCTime LocalTime #

ut1LocalTime :: Rational -> Iso' UniversalTime LocalTime #

Zoned Time

data ZonedTime #

Constructors

ZonedTime
Fields zonedTimeToLocalTime :: !LocalTime zonedTimeZone :: !TimeZone

Instances

Bounded ZonedTime #
Instance details Defined in Data.Thyme.LocalTime Methods minBound :: ZonedTime # maxBound :: ZonedTime #
Eq ZonedTime #
Instance details Defined in Data.Thyme.LocalTime Methods (==) :: ZonedTime -> ZonedTime -> Bool # (/=) :: ZonedTime -> ZonedTime -> Bool #
Data ZonedTime #
Instance details 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 :: (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 #
Instance details 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 #
Read ZonedTime #
Instance details Defined in Data.Thyme.Format Methods readsPrec :: Int -> ReadS ZonedTime # readList :: ReadS [ZonedTime] # readPrec :: ReadPrec ZonedTime # readListPrec :: ReadPrec [ZonedTime] #
Show ZonedTime #
Instance details Defined in Data.Thyme.LocalTime Methods showsPrec :: Int -> ZonedTime -> ShowS # show :: ZonedTime -> String # showList :: [ZonedTime] -> ShowS #
Generic ZonedTime #
Instance details Defined in Data.Thyme.LocalTime Associated Types type Rep ZonedTime :: Type -> Type # Methods from :: ZonedTime -> Rep ZonedTime x # to :: Rep ZonedTime x -> ZonedTime #
Arbitrary ZonedTime #
Instance details Defined in Data.Thyme.LocalTime Methods arbitrary :: Gen ZonedTime # shrink :: ZonedTime -> [ZonedTime] #
CoArbitrary ZonedTime #
Instance details Defined in Data.Thyme.LocalTime Methods coarbitrary :: ZonedTime -> Gen b -> Gen b #
ToJSON ZonedTime #
Instance details Defined in Data.Thyme.Format.Aeson Methods toJSON :: ZonedTime -> Value # toEncoding :: ZonedTime -> Encoding # toJSONList :: [ZonedTime] -> Value # toEncodingList :: [ZonedTime] -> Encoding #
FromJSON ZonedTime #
Instance details Defined in Data.Thyme.Format.Aeson Methods parseJSON :: Value -> Parser ZonedTime # parseJSONList :: Value -> Parser [ZonedTime] #
NFData ZonedTime #
Instance details Defined in Data.Thyme.LocalTime Methods rnf :: ZonedTime -> () #
Random ZonedTime #
Instance details 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] # randomRIO :: (ZonedTime, ZonedTime) -> IO ZonedTime # randomIO :: IO ZonedTime #
ParseTime ZonedTime #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> ZonedTime #
FormatTime ZonedTime #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> ZonedTime -> (Char -> ShowS) -> Char -> ShowS #
Thyme ZonedTime ZonedTime #
Instance details Defined in Data.Thyme.Time.Core Methods thyme :: Iso' ZonedTime0 ZonedTime #
type Rep ZonedTime #
Instance details Defined in Data.Thyme.LocalTime type Rep ZonedTime = D1 (MetaData "ZonedTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" False) (C1 (MetaCons "ZonedTime" PrefixI True) (S1 (MetaSel (Just "zonedTimeToLocalTime") SourceUnpack SourceStrict DecidedStrict) (Rec0 LocalTime) :*: S1 (MetaSel (Just "zonedTimeZone") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 TimeZone)))

zonedTime :: Iso' (TimeZone, UTCTime) ZonedTime #

getZonedTime :: IO ZonedTime #

utcToLocalZonedTime :: UTCTime -> IO ZonedTime #

Lenses

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

Orphan instances

Show UTCTime #
Instance details Methods showsPrec :: Int -> UTCTime -> ShowS # show :: UTCTime -> String # showList :: [UTCTime] -> ShowS #