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

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 # 
Show TimeZone Source # 
Generic TimeZone Source # 

Associated Types

type Rep TimeZone :: * -> * #

Methods

from :: TimeZone -> Rep TimeZone x #

to :: Rep TimeZone x -> TimeZone #

Arbitrary TimeZone Source # 
CoArbitrary TimeZone Source # 

Methods

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

NFData TimeZone Source # 

Methods

rnf :: TimeZone -> () #

Random TimeZone Source # 
ParseTime TimeZone Source # 
FormatTime TimeZone Source # 

Methods

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

Thyme TimeZone TimeZone Source # 

Methods

thyme :: Iso' TimeZone TimeZone Source #

type Rep TimeZone Source # 
type Rep TimeZone = D1 * (MetaData "TimeZone" "Data.Thyme.LocalTime" "thyme-0.3.5.5-4xCbsjPV3Hd51zLocveIqU" False) (C1 * (MetaCons "TimeZone" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "timeZoneMinutes") SourceUnpack SourceStrict DecidedStrict) (Rec0 * Minutes)) ((:*:) * (S1 * (MetaSel (Just Symbol "timeZoneSummerOnly") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Bool)) (S1 * (MetaSel (Just Symbol "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 # 
Eq TimeOfDay Source # 
Data TimeOfDay Source # 

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 # 
Show TimeOfDay Source # 
Generic TimeOfDay Source # 

Associated Types

type Rep TimeOfDay :: * -> * #

Arbitrary TimeOfDay Source # 
CoArbitrary TimeOfDay Source # 

Methods

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

NFData TimeOfDay Source # 

Methods

rnf :: TimeOfDay -> () #

Random TimeOfDay Source # 
Unbox TimeOfDay Source # 
ParseTime TimeOfDay Source # 
FormatTime TimeOfDay Source # 
Vector Vector TimeOfDay Source # 
MVector MVector TimeOfDay Source # 

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 # 
type Rep TimeOfDay Source # 
type Rep TimeOfDay = D1 * (MetaData "TimeOfDay" "Data.Thyme.LocalTime" "thyme-0.3.5.5-4xCbsjPV3Hd51zLocveIqU" False) (C1 * (MetaCons "TimeOfDay" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "todHour") SourceUnpack SourceStrict DecidedStrict) (Rec0 * Hour)) ((:*:) * (S1 * (MetaSel (Just Symbol "todMin") SourceUnpack SourceStrict DecidedStrict) (Rec0 * Minute)) (S1 * (MetaSel (Just Symbol "todSec") SourceUnpack SourceStrict DecidedStrict) (Rec0 * DiffTime)))))
data Vector TimeOfDay Source # 
data MVector s TimeOfDay Source # 

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

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 # 
Show LocalTime Source # 
Generic LocalTime Source # 

Associated Types

type Rep LocalTime :: * -> * #

Arbitrary LocalTime Source # 
CoArbitrary LocalTime Source # 

Methods

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

NFData LocalTime Source # 

Methods

rnf :: LocalTime -> () #

Random LocalTime Source # 
Unbox LocalTime Source # 
ParseTime LocalTime Source # 
FormatTime LocalTime Source # 
Vector Vector LocalTime Source # 
MVector MVector LocalTime Source # 

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 # 
type Rep LocalTime Source # 
type Rep LocalTime = D1 * (MetaData "LocalTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-4xCbsjPV3Hd51zLocveIqU" False) (C1 * (MetaCons "LocalTime" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "localDay") SourceUnpack SourceStrict DecidedStrict) (Rec0 * Day)) (S1 * (MetaSel (Just Symbol "localTimeOfDay") SourceUnpack SourceStrict DecidedStrict) (Rec0 * TimeOfDay))))
data Vector LocalTime Source # 
data MVector s LocalTime Source # 

Zoned Time

data ZonedTime Source #

Instances

Bounded ZonedTime Source # 
Eq ZonedTime Source # 
Data ZonedTime Source # 

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 # 
Show ZonedTime Source # 
Generic ZonedTime Source # 

Associated Types

type Rep ZonedTime :: * -> * #

Arbitrary ZonedTime Source # 
CoArbitrary ZonedTime Source # 

Methods

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

NFData ZonedTime Source # 

Methods

rnf :: ZonedTime -> () #

Random ZonedTime Source # 
ParseTime ZonedTime Source # 
FormatTime ZonedTime Source # 
Thyme ZonedTime ZonedTime Source # 
type Rep ZonedTime Source # 
type Rep ZonedTime = D1 * (MetaData "ZonedTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-4xCbsjPV3Hd51zLocveIqU" False) (C1 * (MetaCons "ZonedTime" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "zonedTimeToLocalTime") SourceUnpack SourceStrict DecidedStrict) (Rec0 * LocalTime)) (S1 * (MetaSel (Just Symbol "zonedTimeZone") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * TimeZone))))

Lenses

Orphan instances