thyme-0.3.5.5: A faster time library

Safe HaskellNone
LanguageHaskell2010

Data.Thyme.LocalTime

Contents

Synopsis

Documentation

type Hours = Int Source #

Time zones

data TimeZone Source #

Instances
Bounded TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

Eq TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

Data TimeZone Source # 
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 Source # 
Instance details

Defined in Data.Thyme.LocalTime

Show TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

Generic TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

Associated Types

type Rep TimeZone :: * -> * #

Methods

from :: TimeZone -> Rep TimeZone x #

to :: Rep TimeZone x -> TimeZone #

Arbitrary TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

CoArbitrary TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

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

NFData TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: TimeZone -> () #

Random TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

ParseTime TimeZone Source # 
Instance details

Defined in Data.Thyme.Format

FormatTime TimeZone Source # 
Instance details

Defined in Data.Thyme.Format

Methods

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

Thyme TimeZone TimeZone Source # 
Instance details

Defined in Data.Thyme.Time.Core

type Rep TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

type Rep TimeZone = D1 (MetaData "TimeZone" "Data.Thyme.LocalTime" "thyme-0.3.5.5-JHgKRAeOg9fE1a15UHy1aj" 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

Time of day

type Hour = Int Source #

data TimeOfDay Source #

Constructors

TimeOfDay 

Fields

Instances
Bounded TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Eq TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Data TimeOfDay Source # 
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 Source # 
Instance details

Defined in Data.Thyme.LocalTime

Read TimeOfDay # 
Instance details

Defined in Data.Thyme.Format

Show TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Generic TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Associated Types

type Rep TimeOfDay :: * -> * #

Arbitrary TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

CoArbitrary TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

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

NFData TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: TimeOfDay -> () #

Random TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Unbox TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

ParseTime TimeOfDay Source # 
Instance details

Defined in Data.Thyme.Format

FormatTime TimeOfDay Source # 
Instance details

Defined in Data.Thyme.Format

Vector Vector TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

MVector MVector TimeOfDay Source # 
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 Source # 
Instance details

Defined in Data.Thyme.Time.Core

type Rep TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

type Rep TimeOfDay = D1 (MetaData "TimeOfDay" "Data.Thyme.LocalTime" "thyme-0.3.5.5-JHgKRAeOg9fE1a15UHy1aj" 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))))
data Vector TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

data MVector s TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

midday :: TimeOfDay Source #

Hour twelve

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

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

Local Time

data LocalTime Source #

Constructors

LocalTime 
Instances
Bounded LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Eq LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Data LocalTime Source # 
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 Source # 
Instance details

Defined in Data.Thyme.LocalTime

Read LocalTime # 
Instance details

Defined in Data.Thyme.Format

Show LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Generic LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Associated Types

type Rep LocalTime :: * -> * #

Arbitrary LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

CoArbitrary LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

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

NFData LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: LocalTime -> () #

Random LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Unbox LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

ParseTime LocalTime Source # 
Instance details

Defined in Data.Thyme.Format

FormatTime LocalTime Source # 
Instance details

Defined in Data.Thyme.Format

Vector Vector LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

MVector MVector LocalTime Source # 
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 Source # 
Instance details

Defined in Data.Thyme.Time.Core

type Rep LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

type Rep LocalTime = D1 (MetaData "LocalTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-JHgKRAeOg9fE1a15UHy1aj" False) (C1 (MetaCons "LocalTime" PrefixI True) (S1 (MetaSel (Just "localDay") SourceUnpack SourceStrict DecidedStrict) (Rec0 Day) :*: S1 (MetaSel (Just "localTimeOfDay") SourceUnpack SourceStrict DecidedStrict) (Rec0 TimeOfDay)))
data Vector LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

data MVector s LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Zoned Time

data ZonedTime Source #

Instances
Bounded ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Eq ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Data ZonedTime Source # 
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 Source # 
Instance details

Defined in Data.Thyme.LocalTime

Read ZonedTime # 
Instance details

Defined in Data.Thyme.Format

Show ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Generic ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Associated Types

type Rep ZonedTime :: * -> * #

Arbitrary ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

CoArbitrary ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

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

ToJSON ZonedTime # 
Instance details

Defined in Data.Thyme.Format.Aeson

FromJSON ZonedTime # 
Instance details

Defined in Data.Thyme.Format.Aeson

NFData ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: ZonedTime -> () #

Random ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

ParseTime ZonedTime Source # 
Instance details

Defined in Data.Thyme.Format

FormatTime ZonedTime Source # 
Instance details

Defined in Data.Thyme.Format

Thyme ZonedTime ZonedTime Source # 
Instance details

Defined in Data.Thyme.Time.Core

type Rep ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

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

Lenses

Orphan instances

Show UTCTime Source # 
Instance details