License | BSD-style |
---|---|
Maintainer | Vincent Hanquez <vincent@snarc.org> |
Safe Haskell | None |
Language | Haskell2010 |
Time.Types
Contents
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 #
Nanoseconds
Constructors
NanoSeconds Int64 |
Instances
Eq NanoSeconds # | |
Defined in Time.Types | |
Data NanoSeconds # | |
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 :: (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 # | |
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 | |
Ord NanoSeconds # | |
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 | |
Read NanoSeconds # | |
Defined in Time.Types Methods readsPrec :: Int -> ReadS NanoSeconds readList :: ReadS [NanoSeconds] readPrec :: ReadPrec NanoSeconds readListPrec :: ReadPrec [NanoSeconds] | |
Show NanoSeconds # | |
Defined in Time.Types Methods showsPrec :: Int -> NanoSeconds -> ShowS show :: NanoSeconds -> String showList :: [NanoSeconds] -> ShowS | |
NFData NanoSeconds # | |
Defined in Time.Types Methods rnf :: NanoSeconds -> () | |
TimeInterval NanoSeconds # | |
Defined in Time.Types |
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
Enum Seconds # | |
Defined in Time.Types | |
Eq Seconds # | |
Integral Seconds # | |
Defined in Time.Types | |
Data Seconds # | |
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 :: (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 | |
Num Seconds # | |
Ord Seconds # | |
Read Seconds # | |
Defined in Time.Types | |
Real Seconds # | |
Defined in Time.Types Methods toRational :: Seconds -> Rational | |
Show Seconds # | |
NFData Seconds # | |
Defined in Time.Types | |
TimeInterval Seconds # | |
Defined in Time.Types |
Number of minutes without a referential.
Constructors
Minutes Int64 |
Instances
Enum Minutes # | |
Defined in Time.Types | |
Eq Minutes # | |
Integral Minutes # | |
Defined in Time.Types | |
Data Minutes # | |
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 :: (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 | |
Num Minutes # | |
Ord Minutes # | |
Read Minutes # | |
Defined in Time.Types | |
Real Minutes # | |
Defined in Time.Types Methods toRational :: Minutes -> Rational | |
Show Minutes # | |
NFData Minutes # | |
Defined in Time.Types | |
TimeInterval Minutes # | |
Defined in Time.Types |
Number of hours without a referential.
Constructors
Hours Int64 |
Instances
Enum Hours # | |
Eq Hours # | |
Integral Hours # | |
Data Hours # | |
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 :: (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 | |
Num Hours # | |
Ord Hours # | |
Read Hours # | |
Defined in Time.Types | |
Real Hours # | |
Defined in Time.Types Methods toRational :: Hours -> Rational | |
Show Hours # | |
NFData Hours # | |
Defined in Time.Types | |
TimeInterval Hours # | |
Defined in Time.Types |
class TimeInterval i where #
Represent any time interval that has an equivalent value to a number of seconds.
Instances
TimeInterval Hours # | |
Defined in Time.Types | |
TimeInterval Minutes # | |
Defined in Time.Types | |
TimeInterval Seconds # | |
Defined in Time.Types | |
TimeInterval NanoSeconds # | |
Defined in Time.Types | |
TimeInterval Duration # | |
Defined in Data.Hourglass.Diff |
Time enumeration
Month of the year
Instances
Bounded Month # | |
Defined in Time.Types | |
Enum Month # | |
Eq Month # | |
Data Month # | |
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 :: (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 | |
Ord Month # | |
Read Month # | |
Defined in Time.Types | |
Show Month # | |
Day of the week
the enumeration starts on Sunday.
Instances
Bounded WeekDay # | |
Defined in Time.Types | |
Enum WeekDay # | |
Defined in Time.Types | |
Eq WeekDay # | |
Data WeekDay # | |
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 :: (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 | |
Ord WeekDay # | |
Read WeekDay # | |
Defined in Time.Types | |
Show WeekDay # | |
Timezone
newtype TimezoneOffset #
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
Eq TimezoneOffset # | |
Defined in Time.Types Methods (==) :: TimezoneOffset -> TimezoneOffset -> Bool (/=) :: TimezoneOffset -> TimezoneOffset -> Bool | |
Data TimezoneOffset # | |
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 :: (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 | |
Ord TimezoneOffset # | |
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 | |
Show TimezoneOffset # | |
Defined in Time.Types Methods showsPrec :: Int -> TimezoneOffset -> ShowS show :: TimezoneOffset -> String showList :: [TimezoneOffset] -> ShowS | |
NFData TimezoneOffset # | |
Defined in Time.Types Methods rnf :: TimezoneOffset -> () |
timezoneOffsetToSeconds :: TimezoneOffset -> Seconds #
Return the number of seconds associated with a timezone
timezone_UTC :: TimezoneOffset #
The UTC timezone. offset of 0
Computer friendly format
Unix elapsed
A number of seconds elapsed since the unix epoch.
Instances
Eq Elapsed # | |
Data Elapsed # | |
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 :: (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 # | |
Ord Elapsed # | |
Read Elapsed # | |
Defined in Time.Types | |
Show Elapsed # | |
NFData Elapsed # | |
Defined in Time.Types | |
Time Elapsed # | |
Defined in Data.Hourglass.Time | |
Timeable Elapsed # | |
Defined in Data.Hourglass.Time |
A number of seconds and nanoseconds elapsed since the unix epoch.
Constructors
ElapsedP !Elapsed !NanoSeconds |
Instances
Eq ElapsedP # | |
Data ElapsedP # | |
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 :: (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 # | |
Ord ElapsedP # | |
Read ElapsedP # | |
Defined in Time.Types | |
Real ElapsedP # | |
Defined in Time.Types Methods toRational :: ElapsedP -> Rational | |
Show ElapsedP # | |
NFData ElapsedP # | |
Defined in Time.Types | |
Time ElapsedP # | |
Defined in Data.Hourglass.Time | |
Timeable ElapsedP # | |
Defined in Data.Hourglass.Time |
Human friendly format
Calendar time
human date representation using common calendar
Constructors
Date | |
Instances
Eq Date # | |
Data Date # | |
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 :: (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 | |
Ord Date # | |
Read Date # | |
Defined in Time.Types | |
Show Date # | |
NFData Date # | |
Defined in Time.Types | |
Time Date # | |
Defined in Data.Hourglass.Time | |
Timeable Date # | |
Defined in Data.Hourglass.Time Methods timeGetElapsedP :: Date -> ElapsedP # timeGetElapsed :: Date -> Elapsed # timeGetNanoSeconds :: Date -> NanoSeconds # |
human time representation of hour, minutes, seconds in a day.
Constructors
TimeOfDay | |
Instances
Eq TimeOfDay # | |
Data TimeOfDay # | |
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 :: (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 # | |
Defined in Time.Types | |
Read TimeOfDay # | |
Defined in Time.Types | |
Show TimeOfDay # | |
NFData TimeOfDay # | |
Defined in Time.Types |
Date and Time
Instances
Eq DateTime # | |
Data DateTime # | |
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 :: (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 | |
Ord DateTime # | |
Read DateTime # | |
Defined in Time.Types | |
Show DateTime # | |
NFData DateTime # | |
Defined in Time.Types | |
Time DateTime # | |
Defined in Data.Hourglass.Time | |
Timeable DateTime # | |
Defined in Data.Hourglass.Time |