License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Safe Haskell | None |
Language | Haskell2010 |
Time.Types
Description
Basic times units and types.
While pratically some units could hold infinite values, for practical and efficient purpose they are limited to int64 types for seconds and int types for years.
Most units use the unix epoch referential, but by no means reduce portability. the unix referential works under the Windows platform or any other platforms.
Synopsis
- newtype NanoSeconds = NanoSeconds Int64
- newtype Seconds = Seconds Int64
- newtype Minutes = Minutes Int64
- newtype Hours = Hours Int64
- class TimeInterval i where
- toSeconds :: i -> Seconds
- fromSeconds :: Seconds -> (i, Seconds)
- data Month
- data WeekDay
- newtype TimezoneOffset = TimezoneOffset {
- timezoneOffsetToMinutes :: Int
- timezoneOffsetToSeconds :: TimezoneOffset -> Seconds
- timezone_UTC :: TimezoneOffset
- newtype Elapsed = Elapsed Seconds
- data ElapsedP = ElapsedP !Elapsed !NanoSeconds
- data Date = Date {}
- data TimeOfDay = TimeOfDay {}
- data DateTime = DateTime {}
Time units
newtype NanoSeconds Source #
Nanoseconds
Constructors
NanoSeconds Int64 |
Instances
NFData NanoSeconds Source # | |
Defined in Time.Types Methods rnf :: NanoSeconds -> () | |
Data NanoSeconds Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NanoSeconds -> c NanoSeconds gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NanoSeconds toConstr :: NanoSeconds -> Constr dataTypeOf :: NanoSeconds -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NanoSeconds) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NanoSeconds) gmapT :: (forall b. Data b => b -> b) -> NanoSeconds -> NanoSeconds gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NanoSeconds -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NanoSeconds -> r gmapQ :: (forall d. Data d => d -> u) -> NanoSeconds -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> NanoSeconds -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> NanoSeconds -> m NanoSeconds gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NanoSeconds -> m NanoSeconds gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NanoSeconds -> m NanoSeconds | |
Num NanoSeconds Source # | |
Defined in Time.Types Methods (+) :: NanoSeconds -> NanoSeconds -> NanoSeconds (-) :: NanoSeconds -> NanoSeconds -> NanoSeconds (*) :: NanoSeconds -> NanoSeconds -> NanoSeconds negate :: NanoSeconds -> NanoSeconds abs :: NanoSeconds -> NanoSeconds signum :: NanoSeconds -> NanoSeconds fromInteger :: Integer -> NanoSeconds | |
Read NanoSeconds Source # | |
Defined in Time.Types Methods readsPrec :: Int -> ReadS NanoSeconds readList :: ReadS [NanoSeconds] readPrec :: ReadPrec NanoSeconds readListPrec :: ReadPrec [NanoSeconds] | |
Show NanoSeconds Source # | |
Defined in Time.Types Methods showsPrec :: Int -> NanoSeconds -> ShowS show :: NanoSeconds -> String showList :: [NanoSeconds] -> ShowS | |
Eq NanoSeconds Source # | |
Defined in Time.Types | |
Ord NanoSeconds Source # | |
Defined in Time.Types Methods compare :: NanoSeconds -> NanoSeconds -> Ordering (<) :: NanoSeconds -> NanoSeconds -> Bool (<=) :: NanoSeconds -> NanoSeconds -> Bool (>) :: NanoSeconds -> NanoSeconds -> Bool (>=) :: NanoSeconds -> NanoSeconds -> Bool max :: NanoSeconds -> NanoSeconds -> NanoSeconds min :: NanoSeconds -> NanoSeconds -> NanoSeconds | |
TimeInterval NanoSeconds Source # | |
Defined in Time.Types Methods toSeconds :: NanoSeconds -> Seconds Source # fromSeconds :: Seconds -> (NanoSeconds, Seconds) Source # |
Number of seconds without a referential.
Can hold a number between [-2^63,2^63-1], which should be good for some billions of years.
However, because of limitation in the calendar conversion currently used, seconds should be in the range [-2^55,2^55-1], which is good for only 1 billion of year.
Constructors
Seconds Int64 |
Instances
NFData Seconds Source # | |
Defined in Time.Types | |
Data Seconds Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Seconds -> c Seconds gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Seconds dataTypeOf :: Seconds -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Seconds) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Seconds) gmapT :: (forall b. Data b => b -> b) -> Seconds -> Seconds gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Seconds -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Seconds -> r gmapQ :: (forall d. Data d => d -> u) -> Seconds -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Seconds -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Seconds -> m Seconds | |
Enum Seconds Source # | |
Defined in Time.Types | |
Num Seconds Source # | |
Read Seconds Source # | |
Defined in Time.Types | |
Integral Seconds Source # | |
Defined in Time.Types | |
Real Seconds Source # | |
Defined in Time.Types Methods toRational :: Seconds -> Rational | |
Show Seconds Source # | |
Eq Seconds Source # | |
Ord Seconds Source # | |
TimeInterval Seconds Source # | |
Number of minutes without a referential.
Constructors
Minutes Int64 |
Instances
NFData Minutes Source # | |
Defined in Time.Types | |
Data Minutes Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Minutes -> c Minutes gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Minutes dataTypeOf :: Minutes -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Minutes) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Minutes) gmapT :: (forall b. Data b => b -> b) -> Minutes -> Minutes gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Minutes -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Minutes -> r gmapQ :: (forall d. Data d => d -> u) -> Minutes -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Minutes -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Minutes -> m Minutes gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Minutes -> m Minutes gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Minutes -> m Minutes | |
Enum Minutes Source # | |
Defined in Time.Types | |
Num Minutes Source # | |
Read Minutes Source # | |
Defined in Time.Types | |
Integral Minutes Source # | |
Defined in Time.Types | |
Real Minutes Source # | |
Defined in Time.Types Methods toRational :: Minutes -> Rational | |
Show Minutes Source # | |
Eq Minutes Source # | |
Ord Minutes Source # | |
TimeInterval Minutes Source # | |
Number of hours without a referential.
Constructors
Hours Int64 |
Instances
NFData Hours Source # | |
Defined in Time.Types | |
Data Hours Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Hours -> c Hours gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Hours dataTypeOf :: Hours -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Hours) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Hours) gmapT :: (forall b. Data b => b -> b) -> Hours -> Hours gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Hours -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Hours -> r gmapQ :: (forall d. Data d => d -> u) -> Hours -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Hours -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Hours -> m Hours gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Hours -> m Hours gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Hours -> m Hours | |
Enum Hours Source # | |
Num Hours Source # | |
Read Hours Source # | |
Defined in Time.Types | |
Integral Hours Source # | |
Real Hours Source # | |
Defined in Time.Types Methods toRational :: Hours -> Rational | |
Show Hours Source # | |
Eq Hours Source # | |
Ord Hours Source # | |
TimeInterval Hours Source # | |
class TimeInterval i where Source #
Represent any time interval that has an equivalent value to a number of seconds.
Instances
TimeInterval Duration Source # | |
TimeInterval Hours Source # | |
TimeInterval Minutes Source # | |
TimeInterval NanoSeconds Source # | |
Defined in Time.Types Methods toSeconds :: NanoSeconds -> Seconds Source # fromSeconds :: Seconds -> (NanoSeconds, Seconds) Source # | |
TimeInterval Seconds Source # | |
Time enumeration
Month of the year
Instances
Data Month Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Month -> c Month gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Month dataTypeOf :: Month -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Month) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Month) gmapT :: (forall b. Data b => b -> b) -> Month -> Month gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Month -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Month -> r gmapQ :: (forall d. Data d => d -> u) -> Month -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Month -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Month -> m Month gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Month -> m Month gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Month -> m Month | |
Bounded Month Source # | |
Defined in Time.Types | |
Enum Month Source # | |
Read Month Source # | |
Defined in Time.Types | |
Show Month Source # | |
Eq Month Source # | |
Ord Month Source # | |
Day of the week
the enumeration starts on Sunday.
Instances
Data WeekDay Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> WeekDay -> c WeekDay gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c WeekDay dataTypeOf :: WeekDay -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WeekDay) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c WeekDay) gmapT :: (forall b. Data b => b -> b) -> WeekDay -> WeekDay gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> WeekDay -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> WeekDay -> r gmapQ :: (forall d. Data d => d -> u) -> WeekDay -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> WeekDay -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> WeekDay -> m WeekDay gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> WeekDay -> m WeekDay gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> WeekDay -> m WeekDay | |
Bounded WeekDay Source # | |
Defined in Time.Types | |
Enum WeekDay Source # | |
Defined in Time.Types | |
Read WeekDay Source # | |
Defined in Time.Types | |
Show WeekDay Source # | |
Eq WeekDay Source # | |
Ord WeekDay Source # | |
Timezone
newtype TimezoneOffset Source #
Offset against UTC in minutes to obtain from UTC time, local time.
- a positive number represent a location East of UTC.
- a negative number represent a location West of UTC.
LocalTime t (-300) = t represent a time at UTC-5 LocalTime t (+480) = t represent a time at UTC+8
should be between -11H and +14H
Example: in AUSEDT (UTC+1000 with daylight = UTC+1100), local time is 15:47; Thus, UTC time is 04:47, and TimezoneOffset is +660 (minutes)
Constructors
TimezoneOffset | |
Fields
|
Instances
NFData TimezoneOffset Source # | |
Defined in Time.Types Methods rnf :: TimezoneOffset -> () | |
Data TimezoneOffset Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TimezoneOffset -> c TimezoneOffset gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TimezoneOffset toConstr :: TimezoneOffset -> Constr dataTypeOf :: TimezoneOffset -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TimezoneOffset) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TimezoneOffset) gmapT :: (forall b. Data b => b -> b) -> TimezoneOffset -> TimezoneOffset gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TimezoneOffset -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TimezoneOffset -> r gmapQ :: (forall d. Data d => d -> u) -> TimezoneOffset -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TimezoneOffset -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TimezoneOffset -> m TimezoneOffset gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TimezoneOffset -> m TimezoneOffset gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TimezoneOffset -> m TimezoneOffset | |
Show TimezoneOffset Source # | |
Defined in Time.Types Methods showsPrec :: Int -> TimezoneOffset -> ShowS show :: TimezoneOffset -> String showList :: [TimezoneOffset] -> ShowS | |
Eq TimezoneOffset Source # | |
Defined in Time.Types Methods (==) :: TimezoneOffset -> TimezoneOffset -> Bool (/=) :: TimezoneOffset -> TimezoneOffset -> Bool | |
Ord TimezoneOffset Source # | |
Defined in Time.Types Methods compare :: TimezoneOffset -> TimezoneOffset -> Ordering (<) :: TimezoneOffset -> TimezoneOffset -> Bool (<=) :: TimezoneOffset -> TimezoneOffset -> Bool (>) :: TimezoneOffset -> TimezoneOffset -> Bool (>=) :: TimezoneOffset -> TimezoneOffset -> Bool max :: TimezoneOffset -> TimezoneOffset -> TimezoneOffset min :: TimezoneOffset -> TimezoneOffset -> TimezoneOffset |
timezoneOffsetToSeconds :: TimezoneOffset -> Seconds Source #
Return the number of seconds associated with a timezone
timezone_UTC :: TimezoneOffset Source #
The UTC timezone. offset of 0
Computer friendly format
Unix elapsed
A number of seconds elapsed since the unix epoch.
Instances
NFData Elapsed Source # | |
Defined in Time.Types | |
Data Elapsed Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Elapsed -> c Elapsed gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Elapsed dataTypeOf :: Elapsed -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Elapsed) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Elapsed) gmapT :: (forall b. Data b => b -> b) -> Elapsed -> Elapsed gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Elapsed -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Elapsed -> r gmapQ :: (forall d. Data d => d -> u) -> Elapsed -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Elapsed -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Elapsed -> m Elapsed gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Elapsed -> m Elapsed gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Elapsed -> m Elapsed | |
Num Elapsed Source # | |
Read Elapsed Source # | |
Defined in Time.Types | |
Show Elapsed Source # | |
Eq Elapsed Source # | |
Ord Elapsed Source # | |
Time Elapsed Source # | |
Defined in Data.Hourglass.Time Methods timeFromElapsedP :: ElapsedP -> Elapsed Source # timeFromElapsed :: Elapsed -> Elapsed Source # | |
Timeable Elapsed Source # | |
Defined in Data.Hourglass.Time |
A number of seconds and nanoseconds elapsed since the unix epoch.
Constructors
ElapsedP !Elapsed !NanoSeconds |
Instances
NFData ElapsedP Source # | |
Defined in Time.Types | |
Data ElapsedP Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ElapsedP -> c ElapsedP gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ElapsedP toConstr :: ElapsedP -> Constr dataTypeOf :: ElapsedP -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ElapsedP) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ElapsedP) gmapT :: (forall b. Data b => b -> b) -> ElapsedP -> ElapsedP gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ElapsedP -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ElapsedP -> r gmapQ :: (forall d. Data d => d -> u) -> ElapsedP -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ElapsedP -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ElapsedP -> m ElapsedP gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ElapsedP -> m ElapsedP gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ElapsedP -> m ElapsedP | |
Num ElapsedP Source # | |
Read ElapsedP Source # | |
Defined in Time.Types | |
Real ElapsedP Source # | |
Defined in Time.Types Methods toRational :: ElapsedP -> Rational | |
Show ElapsedP Source # | |
Eq ElapsedP Source # | |
Ord ElapsedP Source # | |
Time ElapsedP Source # | |
Defined in Data.Hourglass.Time Methods timeFromElapsedP :: ElapsedP -> ElapsedP Source # timeFromElapsed :: Elapsed -> ElapsedP Source # | |
Timeable ElapsedP Source # | |
Defined in Data.Hourglass.Time Methods timeGetElapsedP :: ElapsedP -> ElapsedP Source # timeGetElapsed :: ElapsedP -> Elapsed Source # |
Human friendly format
Calendar time
human date representation using common calendar
Constructors
Date | |
Instances
NFData Date Source # | |
Defined in Time.Types | |
Data Date Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Date -> c Date gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Date dataTypeOf :: Date -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Date) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Date) gmapT :: (forall b. Data b => b -> b) -> Date -> Date gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Date -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Date -> r gmapQ :: (forall d. Data d => d -> u) -> Date -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Date -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Date -> m Date gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Date -> m Date gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Date -> m Date | |
Read Date Source # | |
Defined in Time.Types | |
Show Date Source # | |
Eq Date Source # | |
Ord Date Source # | |
Time Date Source # | |
Defined in Data.Hourglass.Time | |
Timeable Date Source # | |
Defined in Data.Hourglass.Time Methods timeGetElapsedP :: Date -> ElapsedP Source # timeGetElapsed :: Date -> Elapsed Source # timeGetNanoSeconds :: Date -> NanoSeconds Source # |
human time representation of hour, minutes, seconds in a day.
Constructors
TimeOfDay | |
Instances
NFData TimeOfDay Source # | |
Defined in Time.Types | |
Data TimeOfDay Source # | |
Defined in Time.Types 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 :: forall r r'. (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 | |
Read TimeOfDay Source # | |
Defined in Time.Types | |
Show TimeOfDay Source # | |
Eq TimeOfDay Source # | |
Ord TimeOfDay Source # | |
Defined in Time.Types |
Date and Time
Instances
NFData DateTime Source # | |
Defined in Time.Types | |
Data DateTime Source # | |
Defined in Time.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DateTime -> c DateTime gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DateTime toConstr :: DateTime -> Constr dataTypeOf :: DateTime -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DateTime) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DateTime) gmapT :: (forall b. Data b => b -> b) -> DateTime -> DateTime gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DateTime -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DateTime -> r gmapQ :: (forall d. Data d => d -> u) -> DateTime -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> DateTime -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> DateTime -> m DateTime gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DateTime -> m DateTime gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DateTime -> m DateTime | |
Read DateTime Source # | |
Defined in Time.Types | |
Show DateTime Source # | |
Eq DateTime Source # | |
Ord DateTime Source # | |
Time DateTime Source # | |
Defined in Data.Hourglass.Time Methods timeFromElapsedP :: ElapsedP -> DateTime Source # timeFromElapsed :: Elapsed -> DateTime Source # | |
Timeable DateTime Source # | |
Defined in Data.Hourglass.Time Methods timeGetElapsedP :: DateTime -> ElapsedP Source # timeGetElapsed :: DateTime -> Elapsed Source # |