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

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

toConstr :: TimeZone -> Constr Source #

dataTypeOf :: TimeZone -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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

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

NFData TimeZone Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: TimeZone -> () Source #

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

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

toConstr :: TimeOfDay -> Constr Source #

dataTypeOf :: TimeOfDay -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Read TimeOfDay Source # 
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 :: Type -> Type Source #

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

NFData TimeOfDay Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: TimeOfDay -> () Source #

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 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 # 
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-Fg1pPOWWkee1p55oP1P4W4" 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 # 
Instance details

Defined in Data.Thyme.LocalTime

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

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

toConstr :: LocalTime -> Constr Source #

dataTypeOf :: LocalTime -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Read LocalTime Source # 
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 :: Type -> Type Source #

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

NFData LocalTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: LocalTime -> () Source #

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 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 # 
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-Fg1pPOWWkee1p55oP1P4W4" 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 # 
Instance details

Defined in Data.Thyme.LocalTime

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

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

toConstr :: ZonedTime -> Constr Source #

dataTypeOf :: ZonedTime -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Read ZonedTime Source # 
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 :: Type -> Type Source #

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

ToJSON ZonedTime Source # 
Instance details

Defined in Data.Thyme.Format.Aeson

FromJSON ZonedTime Source # 
Instance details

Defined in Data.Thyme.Format.Aeson

NFData ZonedTime Source # 
Instance details

Defined in Data.Thyme.LocalTime

Methods

rnf :: ZonedTime -> () Source #

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-Fg1pPOWWkee1p55oP1P4W4" 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