Copyright	(c) 2014 Vincent Hanquez <vincent@snarc.org>
License	BSD-style
Safe Haskell	None
Language	Haskell2010

Time.Types

Contents

Time units
Calendar enumerations
Points in time
Conversion of periods of time

Description

Time-related types.

In principle, some units could hold infinite values. In practice, Int64 for seconds (about +/- 9e18) and Int for years is sufficient.

Synopsis

newtype NanoSeconds = NanoSeconds Int64
newtype Seconds = Seconds Int64
newtype Minutes = Minutes Int64
newtype Hours = Hours Int64
data Month
- = January
- | February
- | March
- | April
- | May
- | June
- | July
- | August
- | September
- | October
- | November
- | December
data WeekDay
- = Sunday
- | Monday
- | Tuesday
- | Wednesday
- | Thursday
- | Friday
- | Saturday
newtype Elapsed = Elapsed Seconds
data ElapsedP = ElapsedP !Elapsed !NanoSeconds
data Date = Date {
- dateYear :: !Int
- dateMonth :: !Month
- dateDay :: !Int
}
data TimeOfDay = TimeOfDay {
- todHour :: !Hours
- todMin :: !Minutes
- todSec :: !Seconds
- todNSec :: !NanoSeconds
}
data DateTime = DateTime {
- dtDate :: Date
- dtTime :: TimeOfDay
}
newtype TimezoneOffset = TimezoneOffset {
- timezoneOffsetToMinutes :: Int
}
timezoneOffsetToSeconds :: TimezoneOffset -> Seconds
timezone_UTC :: TimezoneOffset
class TimeInterval i where
- toSeconds :: i -> Seconds
- fromSeconds :: Seconds -> (i, Seconds)

Time units

newtype NanoSeconds Source #

Type representing numbers of nanoseconds.

Constructors

NanoSeconds Int64

Instances

Instances details

Data NanoSeconds Source #
Instance details 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 #
Instance details 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 #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS NanoSeconds # readList :: ReadS [NanoSeconds] # readPrec :: ReadPrec NanoSeconds # readListPrec :: ReadPrec [NanoSeconds] #
Show NanoSeconds Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> NanoSeconds -> ShowS # show :: NanoSeconds -> String # showList :: [NanoSeconds] -> ShowS #
NFData NanoSeconds Source #
Instance details Defined in Time.Types Methods rnf :: NanoSeconds -> () #
Eq NanoSeconds Source #
Instance details Defined in Time.Types Methods (==) :: NanoSeconds -> NanoSeconds -> Bool # (/=) :: NanoSeconds -> NanoSeconds -> Bool #
Ord NanoSeconds Source #
Instance details 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 #
Instance details Defined in Time.Types Methods toSeconds :: NanoSeconds -> Seconds Source # fromSeconds :: Seconds -> (NanoSeconds, Seconds) Source #

newtype Seconds Source #

Type representing numbers of seconds.

Constructors

Seconds Int64

Instances

Instances details

Data Seconds Source #
Instance details 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 # toConstr :: Seconds -> Constr # 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 #
Instance details Defined in Time.Types Methods succ :: Seconds -> Seconds # pred :: Seconds -> Seconds # toEnum :: Int -> Seconds # fromEnum :: Seconds -> Int # enumFrom :: Seconds -> [Seconds] # enumFromThen :: Seconds -> Seconds -> [Seconds] # enumFromTo :: Seconds -> Seconds -> [Seconds] # enumFromThenTo :: Seconds -> Seconds -> Seconds -> [Seconds] #
Num Seconds Source #
Instance details Defined in Time.Types Methods (+) :: Seconds -> Seconds -> Seconds # (-) :: Seconds -> Seconds -> Seconds # (*) :: Seconds -> Seconds -> Seconds # negate :: Seconds -> Seconds # abs :: Seconds -> Seconds # signum :: Seconds -> Seconds # fromInteger :: Integer -> Seconds #
Read Seconds Source #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS Seconds # readList :: ReadS [Seconds] # readPrec :: ReadPrec Seconds # readListPrec :: ReadPrec [Seconds] #
Integral Seconds Source #
Instance details Defined in Time.Types Methods quot :: Seconds -> Seconds -> Seconds # rem :: Seconds -> Seconds -> Seconds # div :: Seconds -> Seconds -> Seconds # mod :: Seconds -> Seconds -> Seconds # quotRem :: Seconds -> Seconds -> (Seconds, Seconds) # divMod :: Seconds -> Seconds -> (Seconds, Seconds) # toInteger :: Seconds -> Integer #
Real Seconds Source #
Instance details Defined in Time.Types Methods toRational :: Seconds -> Rational #
Show Seconds Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> Seconds -> ShowS # show :: Seconds -> String # showList :: [Seconds] -> ShowS #
NFData Seconds Source #
Instance details Defined in Time.Types Methods rnf :: Seconds -> () #
Eq Seconds Source #
Instance details Defined in Time.Types Methods (==) :: Seconds -> Seconds -> Bool # (/=) :: Seconds -> Seconds -> Bool #
Ord Seconds Source #
Instance details Defined in Time.Types Methods compare :: Seconds -> Seconds -> Ordering # (<) :: Seconds -> Seconds -> Bool # (<=) :: Seconds -> Seconds -> Bool # (>) :: Seconds -> Seconds -> Bool # (>=) :: Seconds -> Seconds -> Bool # max :: Seconds -> Seconds -> Seconds # min :: Seconds -> Seconds -> Seconds #
TimeInterval Seconds Source #
Instance details Defined in Time.Types Methods toSeconds :: Seconds -> Seconds Source # fromSeconds :: Seconds -> (Seconds, Seconds) Source #

newtype Minutes Source #

Type representing numbers of minutes.

Constructors

Minutes Int64

Instances

Instances details

Data Minutes Source #
Instance details 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 # toConstr :: Minutes -> Constr # 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 #
Instance details Defined in Time.Types Methods succ :: Minutes -> Minutes # pred :: Minutes -> Minutes # toEnum :: Int -> Minutes # fromEnum :: Minutes -> Int # enumFrom :: Minutes -> [Minutes] # enumFromThen :: Minutes -> Minutes -> [Minutes] # enumFromTo :: Minutes -> Minutes -> [Minutes] # enumFromThenTo :: Minutes -> Minutes -> Minutes -> [Minutes] #
Num Minutes Source #
Instance details Defined in Time.Types Methods (+) :: Minutes -> Minutes -> Minutes # (-) :: Minutes -> Minutes -> Minutes # (*) :: Minutes -> Minutes -> Minutes # negate :: Minutes -> Minutes # abs :: Minutes -> Minutes # signum :: Minutes -> Minutes # fromInteger :: Integer -> Minutes #
Read Minutes Source #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS Minutes # readList :: ReadS [Minutes] # readPrec :: ReadPrec Minutes # readListPrec :: ReadPrec [Minutes] #
Integral Minutes Source #
Instance details Defined in Time.Types Methods quot :: Minutes -> Minutes -> Minutes # rem :: Minutes -> Minutes -> Minutes # div :: Minutes -> Minutes -> Minutes # mod :: Minutes -> Minutes -> Minutes # quotRem :: Minutes -> Minutes -> (Minutes, Minutes) # divMod :: Minutes -> Minutes -> (Minutes, Minutes) # toInteger :: Minutes -> Integer #
Real Minutes Source #
Instance details Defined in Time.Types Methods toRational :: Minutes -> Rational #
Show Minutes Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> Minutes -> ShowS # show :: Minutes -> String # showList :: [Minutes] -> ShowS #
NFData Minutes Source #
Instance details Defined in Time.Types Methods rnf :: Minutes -> () #
Eq Minutes Source #
Instance details Defined in Time.Types Methods (==) :: Minutes -> Minutes -> Bool # (/=) :: Minutes -> Minutes -> Bool #
Ord Minutes Source #
Instance details Defined in Time.Types Methods compare :: Minutes -> Minutes -> Ordering # (<) :: Minutes -> Minutes -> Bool # (<=) :: Minutes -> Minutes -> Bool # (>) :: Minutes -> Minutes -> Bool # (>=) :: Minutes -> Minutes -> Bool # max :: Minutes -> Minutes -> Minutes # min :: Minutes -> Minutes -> Minutes #
TimeInterval Minutes Source #
Instance details Defined in Time.Types Methods toSeconds :: Minutes -> Seconds Source # fromSeconds :: Seconds -> (Minutes, Seconds) Source #

newtype Hours Source #

Type representing numbers of hours.

Constructors

Hours Int64

Instances

Instances details

Data Hours Source #
Instance details 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 # toConstr :: Hours -> Constr # 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 #
Instance details Defined in Time.Types Methods succ :: Hours -> Hours # pred :: Hours -> Hours # toEnum :: Int -> Hours # fromEnum :: Hours -> Int # enumFrom :: Hours -> [Hours] # enumFromThen :: Hours -> Hours -> [Hours] # enumFromTo :: Hours -> Hours -> [Hours] # enumFromThenTo :: Hours -> Hours -> Hours -> [Hours] #
Num Hours Source #
Instance details Defined in Time.Types Methods (+) :: Hours -> Hours -> Hours # (-) :: Hours -> Hours -> Hours # (*) :: Hours -> Hours -> Hours # negate :: Hours -> Hours # abs :: Hours -> Hours # signum :: Hours -> Hours # fromInteger :: Integer -> Hours #
Read Hours Source #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS Hours # readList :: ReadS [Hours] # readPrec :: ReadPrec Hours # readListPrec :: ReadPrec [Hours] #
Integral Hours Source #
Instance details Defined in Time.Types Methods quot :: Hours -> Hours -> Hours # rem :: Hours -> Hours -> Hours # div :: Hours -> Hours -> Hours # mod :: Hours -> Hours -> Hours # quotRem :: Hours -> Hours -> (Hours, Hours) # divMod :: Hours -> Hours -> (Hours, Hours) # toInteger :: Hours -> Integer #
Real Hours Source #
Instance details Defined in Time.Types Methods toRational :: Hours -> Rational #
Show Hours Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> Hours -> ShowS # show :: Hours -> String # showList :: [Hours] -> ShowS #
NFData Hours Source #
Instance details Defined in Time.Types Methods rnf :: Hours -> () #
Eq Hours Source #
Instance details Defined in Time.Types Methods (==) :: Hours -> Hours -> Bool # (/=) :: Hours -> Hours -> Bool #
Ord Hours Source #
Instance details Defined in Time.Types Methods compare :: Hours -> Hours -> Ordering # (<) :: Hours -> Hours -> Bool # (<=) :: Hours -> Hours -> Bool # (>) :: Hours -> Hours -> Bool # (>=) :: Hours -> Hours -> Bool # max :: Hours -> Hours -> Hours # min :: Hours -> Hours -> Hours #
TimeInterval Hours Source #
Instance details Defined in Time.Types Methods toSeconds :: Hours -> Seconds Source # fromSeconds :: Seconds -> (Hours, Seconds) Source #

Calendar enumerations

data Month Source #

Type representing months of the Julian or Gregorian year.

Constructors

January
February
March
April
May
June
July
August
September
October
November
December

Instances

Instances details

Data Month Source #
Instance details 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 # toConstr :: Month -> Constr # 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 #
Instance details Defined in Time.Types Methods minBound :: Month # maxBound :: Month #
Enum Month Source #
Instance details Defined in Time.Types Methods succ :: Month -> Month # pred :: Month -> Month # toEnum :: Int -> Month # fromEnum :: Month -> Int # enumFrom :: Month -> [Month] # enumFromThen :: Month -> Month -> [Month] # enumFromTo :: Month -> Month -> [Month] # enumFromThenTo :: Month -> Month -> Month -> [Month] #
Read Month Source #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS Month # readList :: ReadS [Month] # readPrec :: ReadPrec Month # readListPrec :: ReadPrec [Month] #
Show Month Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> Month -> ShowS # show :: Month -> String # showList :: [Month] -> ShowS #
Eq Month Source #
Instance details Defined in Time.Types Methods (==) :: Month -> Month -> Bool # (/=) :: Month -> Month -> Bool #
Ord Month Source #
Instance details Defined in Time.Types Methods compare :: Month -> Month -> Ordering # (<) :: Month -> Month -> Bool # (<=) :: Month -> Month -> Bool # (>) :: Month -> Month -> Bool # (>=) :: Month -> Month -> Bool # max :: Month -> Month -> Month # min :: Month -> Month -> Month #

data WeekDay Source #

Type representing days of the week. The enumeration starts on Sunday.

Constructors

Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday

Instances

Instances details

Data WeekDay Source #
Instance details 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 # toConstr :: WeekDay -> Constr # 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 #
Instance details Defined in Time.Types Methods minBound :: WeekDay # maxBound :: WeekDay #
Enum WeekDay Source #
Instance details Defined in Time.Types Methods succ :: WeekDay -> WeekDay # pred :: WeekDay -> WeekDay # toEnum :: Int -> WeekDay # fromEnum :: WeekDay -> Int # enumFrom :: WeekDay -> [WeekDay] # enumFromThen :: WeekDay -> WeekDay -> [WeekDay] # enumFromTo :: WeekDay -> WeekDay -> [WeekDay] # enumFromThenTo :: WeekDay -> WeekDay -> WeekDay -> [WeekDay] #
Read WeekDay Source #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS WeekDay # readList :: ReadS [WeekDay] # readPrec :: ReadPrec WeekDay # readListPrec :: ReadPrec [WeekDay] #
Show WeekDay Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> WeekDay -> ShowS # show :: WeekDay -> String # showList :: [WeekDay] -> ShowS #
Eq WeekDay Source #
Instance details Defined in Time.Types Methods (==) :: WeekDay -> WeekDay -> Bool # (/=) :: WeekDay -> WeekDay -> Bool #
Ord WeekDay Source #
Instance details Defined in Time.Types Methods compare :: WeekDay -> WeekDay -> Ordering # (<) :: WeekDay -> WeekDay -> Bool # (<=) :: WeekDay -> WeekDay -> Bool # (>) :: WeekDay -> WeekDay -> Bool # (>=) :: WeekDay -> WeekDay -> Bool # max :: WeekDay -> WeekDay -> WeekDay # min :: WeekDay -> WeekDay -> WeekDay #

Points in time

Elapsed time since the start of the Unix epoch

newtype Elapsed Source #

Type representing numbers of seconds elapsed since the start of the Unix epoch (1970-01-01 00:00:00 UTC).

Constructors

Elapsed Seconds

Instances

Instances details

Data Elapsed Source #
Instance details 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 # toConstr :: Elapsed -> Constr # 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 #
Instance details Defined in Time.Types Methods (+) :: Elapsed -> Elapsed -> Elapsed # (-) :: Elapsed -> Elapsed -> Elapsed # (*) :: Elapsed -> Elapsed -> Elapsed # negate :: Elapsed -> Elapsed # abs :: Elapsed -> Elapsed # signum :: Elapsed -> Elapsed # fromInteger :: Integer -> Elapsed #
Read Elapsed Source #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS Elapsed # readList :: ReadS [Elapsed] # readPrec :: ReadPrec Elapsed # readListPrec :: ReadPrec [Elapsed] #
Show Elapsed Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> Elapsed -> ShowS # show :: Elapsed -> String # showList :: [Elapsed] -> ShowS #
NFData Elapsed Source #
Instance details Defined in Time.Types Methods rnf :: Elapsed -> () #
Eq Elapsed Source #
Instance details Defined in Time.Types Methods (==) :: Elapsed -> Elapsed -> Bool # (/=) :: Elapsed -> Elapsed -> Bool #
Ord Elapsed Source #
Instance details Defined in Time.Types Methods compare :: Elapsed -> Elapsed -> Ordering # (<) :: Elapsed -> Elapsed -> Bool # (<=) :: Elapsed -> Elapsed -> Bool # (>) :: Elapsed -> Elapsed -> Bool # (>=) :: Elapsed -> Elapsed -> Bool # max :: Elapsed -> Elapsed -> Elapsed # min :: Elapsed -> Elapsed -> Elapsed #
Time Elapsed Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> Elapsed Source # timeFromElapsed :: Elapsed -> Elapsed Source #
Timeable Elapsed Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: Elapsed -> ElapsedP Source # timeGetElapsed :: Elapsed -> Elapsed Source # timeGetNanoSeconds :: Elapsed -> NanoSeconds Source #

data ElapsedP Source #

Type representing numbers of seconds and nanoseconds elapsed since the start of the Unix epoch (1970-01-01 00:00:00 UTC).

Constructors

ElapsedP !Elapsed !NanoSeconds

Instances

Instances details

Data ElapsedP Source #
Instance details 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 #
Instance details Defined in Time.Types Methods (+) :: ElapsedP -> ElapsedP -> ElapsedP # (-) :: ElapsedP -> ElapsedP -> ElapsedP # (*) :: ElapsedP -> ElapsedP -> ElapsedP # negate :: ElapsedP -> ElapsedP # abs :: ElapsedP -> ElapsedP # signum :: ElapsedP -> ElapsedP # fromInteger :: Integer -> ElapsedP #
Read ElapsedP Source #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS ElapsedP # readList :: ReadS [ElapsedP] # readPrec :: ReadPrec ElapsedP # readListPrec :: ReadPrec [ElapsedP] #
Real ElapsedP Source #
Instance details Defined in Time.Types Methods toRational :: ElapsedP -> Rational #
Show ElapsedP Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> ElapsedP -> ShowS # show :: ElapsedP -> String # showList :: [ElapsedP] -> ShowS #
NFData ElapsedP Source #
Instance details Defined in Time.Types Methods rnf :: ElapsedP -> () #
Eq ElapsedP Source #
Instance details Defined in Time.Types Methods (==) :: ElapsedP -> ElapsedP -> Bool # (/=) :: ElapsedP -> ElapsedP -> Bool #
Ord ElapsedP Source #
Instance details Defined in Time.Types Methods compare :: ElapsedP -> ElapsedP -> Ordering # (<) :: ElapsedP -> ElapsedP -> Bool # (<=) :: ElapsedP -> ElapsedP -> Bool # (>) :: ElapsedP -> ElapsedP -> Bool # (>=) :: ElapsedP -> ElapsedP -> Bool # max :: ElapsedP -> ElapsedP -> ElapsedP # min :: ElapsedP -> ElapsedP -> ElapsedP #
Time ElapsedP Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> ElapsedP Source # timeFromElapsed :: Elapsed -> ElapsedP Source #
Timeable ElapsedP Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: ElapsedP -> ElapsedP Source # timeGetElapsed :: ElapsedP -> Elapsed Source # timeGetNanoSeconds :: ElapsedP -> NanoSeconds Source #

Date, time, and date and time

data Date Source #

Type representing dates in the proleptic Gregorian calendar (the common calendar).

Constructors

Date
Fields dateYear :: !Int Year of the Common Era. dateMonth :: !Month Month of the year. dateDay :: !Int Day of the month, between 1 to 31.

Instances

Instances details

Data Date Source #
Instance details 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 # toConstr :: Date -> Constr # 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 #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS Date # readList :: ReadS [Date] # readPrec :: ReadPrec Date # readListPrec :: ReadPrec [Date] #
Show Date Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> Date -> ShowS # show :: Date -> String # showList :: [Date] -> ShowS #
NFData Date Source #
Instance details Defined in Time.Types Methods rnf :: Date -> () #
Eq Date Source #
Instance details Defined in Time.Types Methods (==) :: Date -> Date -> Bool # (/=) :: Date -> Date -> Bool #
Ord Date Source #
Instance details Defined in Time.Types Methods compare :: Date -> Date -> Ordering # (<) :: Date -> Date -> Bool # (<=) :: Date -> Date -> Bool # (>) :: Date -> Date -> Bool # (>=) :: Date -> Date -> Bool # max :: Date -> Date -> Date # min :: Date -> Date -> Date #
Time Date Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> Date Source # timeFromElapsed :: Elapsed -> Date Source #
Timeable Date Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: Date -> ElapsedP Source # timeGetElapsed :: Date -> Elapsed Source # timeGetNanoSeconds :: Date -> NanoSeconds Source #

data TimeOfDay Source #

Type representing times as hour, minutes, seconds and nanoseconds.

Constructors

TimeOfDay
Fields todHour :: !Hours Hours, between 0 and 23. todMin :: !Minutes Minutes, between 0 and 59. todSec :: !Seconds Seconds, between 0 and 59. 60 when having leap second. todNSec :: !NanoSeconds Nanoseconds, between 0 and 999999999.

Instances

Instances details

Data TimeOfDay Source #
Instance details 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 #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS TimeOfDay # readList :: ReadS [TimeOfDay] # readPrec :: ReadPrec TimeOfDay # readListPrec :: ReadPrec [TimeOfDay] #
Show TimeOfDay Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> TimeOfDay -> ShowS # show :: TimeOfDay -> String # showList :: [TimeOfDay] -> ShowS #
NFData TimeOfDay Source #
Instance details Defined in Time.Types Methods rnf :: TimeOfDay -> () #
Eq TimeOfDay Source #
Instance details Defined in Time.Types Methods (==) :: TimeOfDay -> TimeOfDay -> Bool # (/=) :: TimeOfDay -> TimeOfDay -> Bool #
Ord TimeOfDay Source #
Instance details Defined in Time.Types Methods compare :: TimeOfDay -> TimeOfDay -> Ordering # (<) :: TimeOfDay -> TimeOfDay -> Bool # (<=) :: TimeOfDay -> TimeOfDay -> Bool # (>) :: TimeOfDay -> TimeOfDay -> Bool # (>=) :: TimeOfDay -> TimeOfDay -> Bool # max :: TimeOfDay -> TimeOfDay -> TimeOfDay # min :: TimeOfDay -> TimeOfDay -> TimeOfDay #

data DateTime Source #

Type representing date and time.

Constructors

DateTime
Fields dtDate :: Date dtTime :: TimeOfDay

Instances

Instances details

Data DateTime Source #
Instance details 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 #
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS DateTime # readList :: ReadS [DateTime] # readPrec :: ReadPrec DateTime # readListPrec :: ReadPrec [DateTime] #
Show DateTime Source #
Instance details Defined in Time.Types Methods showsPrec :: Int -> DateTime -> ShowS # show :: DateTime -> String # showList :: [DateTime] -> ShowS #
NFData DateTime Source #
Instance details Defined in Time.Types Methods rnf :: DateTime -> () #
Eq DateTime Source #
Instance details Defined in Time.Types Methods (==) :: DateTime -> DateTime -> Bool # (/=) :: DateTime -> DateTime -> Bool #
Ord DateTime Source #
Instance details Defined in Time.Types Methods compare :: DateTime -> DateTime -> Ordering # (<) :: DateTime -> DateTime -> Bool # (<=) :: DateTime -> DateTime -> Bool # (>) :: DateTime -> DateTime -> Bool # (>=) :: DateTime -> DateTime -> Bool # max :: DateTime -> DateTime -> DateTime # min :: DateTime -> DateTime -> DateTime #
Time DateTime Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> DateTime Source # timeFromElapsed :: Elapsed -> DateTime Source #
Timeable DateTime Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: DateTime -> ElapsedP Source # timeGetElapsed :: DateTime -> Elapsed Source # timeGetNanoSeconds :: DateTime -> NanoSeconds Source #

Local time and timezone-related

newtype TimezoneOffset Source #

Type representing offsets in minutes against UTC to obtain local time from UTC. A positive number represents a location east of where UTC is local time and a negative number represents a location west of where UTC is local time.

LocalTime t (-300) -- t represents a time at UTC-5

LocalTime t (+480) -- t represents a time at UTC+8

Should be between (-12 * 60) and (+14 * 60).

For example, in timezone AEDT (Australian Eastern Daylight Time) (UTC+11), local time is 15:47. Consequently, UTC time is 04:47 and the timezone offset is TimezoneOffset 660 (in minutes).

Constructors

TimezoneOffset
Fields timezoneOffsetToMinutes :: Int The number of minutes.

Instances

Instances details

Data TimezoneOffset Source #
Instance details 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 #
Instance details Defined in Time.Types Methods showsPrec :: Int -> TimezoneOffset -> ShowS # show :: TimezoneOffset -> String # showList :: [TimezoneOffset] -> ShowS #
NFData TimezoneOffset Source #
Instance details Defined in Time.Types Methods rnf :: TimezoneOffset -> () #
Eq TimezoneOffset Source #
Instance details Defined in Time.Types Methods (==) :: TimezoneOffset -> TimezoneOffset -> Bool # (/=) :: TimezoneOffset -> TimezoneOffset -> Bool #
Ord TimezoneOffset Source #
Instance details 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 #

For the given timezone offset, yield the corresponding number of seconds.

timezone_UTC :: TimezoneOffset Source #

The UTC timezone.

timezoneOffsetToMinutes timezone_UTC == 0 -- True

Conversion of periods of time

class TimeInterval i where Source #

Type class promising functionality for:

converting a value of the type in question to a number of seconds; and
converting a Seconds value to a pair of a value of the type in question and a remaining number of seconds.

Methods

toSeconds :: i -> Seconds Source #

For the given value, yield a corresponding number of seconds.

fromSeconds :: Seconds -> (i, Seconds) Source #

For the given number of seconds, yield a pair of the corresponding value of the type in queston and a remaining number of seconds.

Instances

Instances details

TimeInterval Duration Source #
Instance details Defined in Time.Diff Methods toSeconds :: Duration -> Seconds Source # fromSeconds :: Seconds -> (Duration, Seconds) Source #
TimeInterval Hours Source #
Instance details Defined in Time.Types Methods toSeconds :: Hours -> Seconds Source # fromSeconds :: Seconds -> (Hours, Seconds) Source #
TimeInterval Minutes Source #
Instance details Defined in Time.Types Methods toSeconds :: Minutes -> Seconds Source # fromSeconds :: Seconds -> (Minutes, Seconds) Source #
TimeInterval NanoSeconds Source #
Instance details Defined in Time.Types Methods toSeconds :: NanoSeconds -> Seconds Source # fromSeconds :: Seconds -> (NanoSeconds, Seconds) Source #
TimeInterval Seconds Source #
Instance details Defined in Time.Types Methods toSeconds :: Seconds -> Seconds Source # fromSeconds :: Seconds -> (Seconds, Seconds) Source #