thyme-0.3.5.5: A faster time library

Safe HaskellNone
LanguageHaskell2010

Data.Thyme.LocalTime

Contents

Synopsis

Documentation

type Minutes = Int #

type Hours = Int #

Time zones

data TimeZone #

Instances

Bounded TimeZone # 
Eq TimeZone # 
Data TimeZone # 

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

Associated Types

type Rep TimeZone :: * -> * #

Methods

from :: TimeZone -> Rep TimeZone x #

to :: Rep TimeZone x -> TimeZone #

Arbitrary TimeZone # 
CoArbitrary TimeZone # 

Methods

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

NFData TimeZone # 

Methods

rnf :: TimeZone -> () #

Random TimeZone # 
ParseTime TimeZone # 
FormatTime TimeZone # 

Methods

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

Thyme TimeZone TimeZone # 

Methods

thyme :: Iso' TimeZone TimeZone #

type Rep TimeZone # 
type Rep TimeZone = D1 (MetaData "TimeZone" "Data.Thyme.LocalTime" "thyme-0.3.5.5-Euo2CSV7iPYDvUTkZvcOvB" False) (C1 (MetaCons "TimeZone" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "timeZoneMinutes") SourceUnpack SourceStrict DecidedUnpack) (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 #

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

Time of day

type Hour = Int #

type Minute = Int #

data TimeOfDay #

Constructors

TimeOfDay 

Fields

Instances

Bounded TimeOfDay # 
Eq TimeOfDay # 
Data TimeOfDay # 

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

Associated Types

type Rep TimeOfDay :: * -> * #

Arbitrary TimeOfDay # 
CoArbitrary TimeOfDay # 

Methods

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

NFData TimeOfDay # 

Methods

rnf :: TimeOfDay -> () #

Random TimeOfDay # 
Unbox TimeOfDay # 
ParseTime TimeOfDay # 
FormatTime TimeOfDay # 

Methods

showsTime :: TimeLocale -> TimeOfDay -> (Char -> ShowS) -> Char -> ShowS #

Vector Vector TimeOfDay # 
MVector MVector TimeOfDay # 
Thyme TimeOfDay TimeOfDay # 

Methods

thyme :: Iso' TimeOfDay TimeOfDay #

type Rep TimeOfDay # 
type Rep TimeOfDay = D1 (MetaData "TimeOfDay" "Data.Thyme.LocalTime" "thyme-0.3.5.5-Euo2CSV7iPYDvUTkZvcOvB" False) (C1 (MetaCons "TimeOfDay" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "todHour") SourceUnpack SourceStrict DecidedUnpack) (Rec0 Hour)) ((:*:) (S1 (MetaSel (Just Symbol "todMin") SourceUnpack SourceStrict DecidedUnpack) (Rec0 Minute)) (S1 (MetaSel (Just Symbol "todSec") SourceUnpack SourceStrict DecidedUnpack) (Rec0 DiffTime)))))
data Vector TimeOfDay # 
data MVector s TimeOfDay # 

midnight :: TimeOfDay #

Hour zero

midday :: TimeOfDay #

Hour twelve

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

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

Local Time

data LocalTime #

Constructors

LocalTime 

Instances

Bounded LocalTime # 
Eq LocalTime # 
Data 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 # 
Show LocalTime # 
Generic LocalTime # 

Associated Types

type Rep LocalTime :: * -> * #

Arbitrary LocalTime # 
CoArbitrary LocalTime # 

Methods

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

NFData LocalTime # 

Methods

rnf :: LocalTime -> () #

Random LocalTime # 
Unbox LocalTime # 
ParseTime LocalTime # 
FormatTime LocalTime # 

Methods

showsTime :: TimeLocale -> LocalTime -> (Char -> ShowS) -> Char -> ShowS #

Vector Vector LocalTime # 
MVector MVector LocalTime # 
Thyme LocalTime LocalTime # 

Methods

thyme :: Iso' LocalTime LocalTime #

type Rep LocalTime # 
type Rep LocalTime = D1 (MetaData "LocalTime" "Data.Thyme.LocalTime" "thyme-0.3.5.5-Euo2CSV7iPYDvUTkZvcOvB" False) (C1 (MetaCons "LocalTime" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "localDay") SourceUnpack SourceStrict DecidedUnpack) (Rec0 Day)) (S1 (MetaSel (Just Symbol "localTimeOfDay") SourceUnpack SourceStrict DecidedUnpack) (Rec0 TimeOfDay))))
data Vector LocalTime # 
data MVector s LocalTime # 

Zoned Time

data ZonedTime #

Instances

Bounded ZonedTime # 
Eq ZonedTime # 
Data ZonedTime # 

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

Associated Types

type Rep ZonedTime :: * -> * #

Arbitrary ZonedTime # 
CoArbitrary ZonedTime # 

Methods

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

NFData ZonedTime # 

Methods

rnf :: ZonedTime -> () #

Random ZonedTime # 
ParseTime ZonedTime # 
FormatTime ZonedTime # 

Methods

showsTime :: TimeLocale -> ZonedTime -> (Char -> ShowS) -> Char -> ShowS #

Thyme ZonedTime ZonedTime # 

Methods

thyme :: Iso' ZonedTime ZonedTime #

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

Lenses

Orphan instances