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

Data.Hourglass

Contents

Time units
Calendar enumerations
Points in time
Periods of time
Conversion of points in time
Conversion of periods of time
Parsing and Printing

Description

Time-related types and functions.

Basic types for representing points in time are Elapsed and ElapsedP. The 'P' is short for 'precise'. Elapsed represents numbers of non-leap seconds elapsed since the Unix epoch (that is, the point of time represented by 1970-01-01 00:00:00 UTC). ElapsedP represents numbers of non-leap seconds and nanoseconds elapsed since that point in time.

Values of other types representing points in time can be converted to and from values of the Elapsed and ElapsedP types. For example:

d = timeGetElapsed (Date 1955 April 18) :: Elapsed
timeFromElapsed d :: DateTime

Local time is represented by LocalTime t, parameterised by any other type representing time (for example, Elapsed, Date or DateTime). A local time value is augmented by a timezone offset in minutes. For example:

localTime (Date 2014 May 4) 600 -- local time at UTC+10 of 4th May 2014

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
fromRationalSecondsP :: Rational -> (Seconds, NanoSeconds)
newtype Elapsed = Elapsed Seconds
data ElapsedP = ElapsedP !Elapsed !NanoSeconds
mkElapsedP :: Seconds -> NanoSeconds -> ElapsedP
fromRationalElapsedP :: Rational -> ElapsedP
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
}
data LocalTime t
class Timezone tz where
- timezoneOffset :: tz -> Int
- timezoneName :: tz -> String
newtype TimezoneOffset = TimezoneOffset {
- timezoneOffsetToMinutes :: Int
}
timezoneOffsetToSeconds :: TimezoneOffset -> Seconds
data UTC = UTC
timezone_UTC :: TimezoneOffset
newtype TimezoneMinutes = TimezoneMinutes Int
localTime :: Time t => TimezoneOffset -> t -> LocalTime t
localTimeFromGlobal :: Time t => t -> LocalTime t
localTimeSetTimezone :: Time t => TimezoneOffset -> LocalTime t -> LocalTime t
localTimeUnwrap :: LocalTime t -> t
localTimeGetTimezone :: LocalTime t -> TimezoneOffset
isLeapYear :: Int -> Bool
getWeekDay :: Date -> WeekDay
getDayOfTheYear :: Date -> Int
daysInMonth :: Int -> Month -> Int
data Duration = Duration {
- durationHours :: !Hours
- durationMinutes :: !Minutes
- durationSeconds :: !Seconds
- durationNs :: !NanoSeconds
}
data Period = Period {
- periodYears :: !Int
- periodMonths :: !Int
- periodDays :: !Int
}
timeAdd :: (Time t, TimeInterval ti) => t -> ti -> t
timeDiff :: (Timeable t1, Timeable t2) => t1 -> t2 -> Seconds
timeDiffP :: (Timeable t1, Timeable t2) => t1 -> t2 -> (Seconds, NanoSeconds)
dateAddPeriod :: Date -> Period -> Date
class Timeable t => Time t where
- timeFromElapsedP :: ElapsedP -> t
- timeFromElapsed :: Elapsed -> t
class Timeable t where
- timeGetElapsedP :: t -> ElapsedP
- timeGetElapsed :: t -> Elapsed
- timeGetNanoSeconds :: t -> NanoSeconds
timeConvert :: (Timeable t1, Time t2) => t1 -> t2
timeGetDate :: Timeable t => t -> Date
timeGetDateTimeOfDay :: Timeable t => t -> DateTime
timeGetTimeOfDay :: Timeable t => t -> TimeOfDay
localTimeConvert :: (Time t1, Time t2) => LocalTime t1 -> LocalTime t2
localTimeToGlobal :: Time t => LocalTime t -> t
class TimeInterval i where
- toSeconds :: i -> Seconds
- fromSeconds :: Seconds -> (i, Seconds)
class TimeFormat format where
- toFormat :: format -> TimeFormatString
newtype TimeFormatString = TimeFormatString [TimeFormatElem]
data TimeFormatElem
- = Format_Year2
- | Format_Year4
- | Format_Year
- | Format_Month
- | Format_Month2
- | Format_MonthName_Short
- | Format_DayYear
- | Format_DayYear3
- | Format_Day
- | Format_Day2
- | Format_Hour
- | Format_Minute
- | Format_Second
- | Format_UnixSecond
- | Format_MilliSecond
- | Format_MicroSecond
- | Format_NanoSecond
- | Format_Precision Int
- | Format_TimezoneName
- | Format_TzHM_Colon_Z
- | Format_TzHM_Colon
- | Format_TzHM
- | Format_Tz_Offset
- | Format_Spaces
- | Format_Text Char
- | Format_Fct TimeFormatFct
data TimeFormatFct = TimeFormatFct {
- timeFormatFctName :: String
- timeFormatParse :: (DateTime, TimezoneOffset) -> String -> Either String ((DateTime, TimezoneOffset), String)
- timeFormatPrint :: DateTime -> TimezoneOffset -> String
}
data ISO8601_Date = ISO8601_Date
data ISO8601_DateAndTime = ISO8601_DateAndTime
localTimePrint :: (TimeFormat format, Timeable t) => format -> LocalTime t -> String
timePrint :: (TimeFormat format, Timeable t) => format -> t -> String
localTimeParseE :: TimeFormat format => format -> String -> Either (TimeFormatElem, String) (LocalTime DateTime, String)
localTimeParse :: TimeFormat format => format -> String -> Maybe (LocalTime DateTime)
timeParseE :: TimeFormat format => format -> String -> Either (TimeFormatElem, String) (DateTime, String)
timeParse :: TimeFormat format => format -> String -> Maybe DateTime

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 #	Show the number of nanoseconds followed by `ns`. (Note: the `Read` instance is derived.)
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 (non-leap or all).

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 #	Show the number of seconds followed by `s`. (Note: the `Read` instance is derived.)
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 #	Show the number of minutes followed by `m`. (Note: the `Read` instance is derived.)
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 #	Show the number of hours followed by `h`. (Note: the `Read` instance is derived.)
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

Precise amounts of seconds

fromRationalSecondsP :: Rational -> (Seconds, NanoSeconds) Source #

Given a precise amount of seconds yield a corresponding pair of Seconds and NanoSeconds values.

If the precise amount of seconds is negative the number of nanoseconds will not be positive. This can be contrasted with a normalised ElapsedP value.

Elapsed time since the Unix epoch

newtype Elapsed Source #

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

Points in time before the Unix epoch are represented by a negative number of seconds.

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 #	Show the number of seconds followed by `s`. (Note: the `Read` instance is derived.)
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 non-leap seconds and nanoseconds elapsed since the Unix epoch (1970-01-01 00:00:00 UTC).

Constructors

ElapsedP !Elapsed !NanoSeconds

A normalised ElapsedP value has a nanoseconds field that is non-negative and fewer than 1,000,000,000 nanoseconds (being 1 second).

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 #	Show the number of seconds followed by `s`, `.`, and the number of nanoseconds followed by `ns`. (Note: the `Read` instance is derived.)
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 #

mkElapsedP :: Seconds -> NanoSeconds -> ElapsedP Source #

A constructor of an ElapsedP value.

The ElapsedP value will be normalised. That is, the nanoseconds field will be non-negative and fewer than 1,000,000,000 nanoseconds (being 1 second).

fromRationalElapsedP :: Rational -> ElapsedP Source #

Given a precise amount of non-leap seconds elapsed since the Unix epoch, yield the corresponding ElapsedP value.

The ElapsedP value will be normalised. That is, the nanoseconds field will be non-negative and fewer than 1,000,000,000 nanoseconds (being 1 second).

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. A leap second is represented by 60. todNSec :: !NanoSeconds Nanoseconds, between 0 and 999,999,999.

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

data LocalTime t Source #

Type representing local times.

Instances

Instances details

Functor LocalTime Source #
Instance details Defined in Time.LocalTime Methods fmap :: (a -> b) -> LocalTime a -> LocalTime b # (<$) :: a -> LocalTime b -> LocalTime a #
Read t => Read (LocalTime t) Source #	Read a `LocalTime`. Read the `localTimeUnwrap` field and then the `localTimeGetTimezone` field.
Instance details Defined in Time.LocalTime Methods readsPrec :: Int -> ReadS (LocalTime t) # readList :: ReadS [LocalTime t] # readPrec :: ReadPrec (LocalTime t) # readListPrec :: ReadPrec [LocalTime t] #
Show t => Show (LocalTime t) Source #	Show the `localTimeUnwrap` field and then the `localTimeGetTimezone` field.
Instance details Defined in Time.LocalTime Methods showsPrec :: Int -> LocalTime t -> ShowS # show :: LocalTime t -> String # showList :: [LocalTime t] -> ShowS #
Eq t => Eq (LocalTime t) Source #
Instance details Defined in Time.LocalTime Methods (==) :: LocalTime t -> LocalTime t -> Bool # (/=) :: LocalTime t -> LocalTime t -> Bool #
(Ord t, Time t) => Ord (LocalTime t) Source #
Instance details Defined in Time.LocalTime Methods compare :: LocalTime t -> LocalTime t -> Ordering # (<) :: LocalTime t -> LocalTime t -> Bool # (<=) :: LocalTime t -> LocalTime t -> Bool # (>) :: LocalTime t -> LocalTime t -> Bool # (>=) :: LocalTime t -> LocalTime t -> Bool # max :: LocalTime t -> LocalTime t -> LocalTime t # min :: LocalTime t -> LocalTime t -> LocalTime t #

class Timezone tz where Source #

A type class promising timezone-related functionality.

Minimal complete definition

timezoneOffset

Methods

timezoneOffset :: tz -> Int Source #

Offset in minutes from UTC. Valid values should be between -12 * 60 and +14 * 60.

timezoneName :: tz -> String Source #

The name of the timezone.

The default implementation is an ±HH:MM encoding of the timezoneOffset, with an offset of 0 encoded as -00:00.

Instances

Instances details

Timezone TimezoneMinutes Source #
Instance details Defined in Time.Timezone Methods timezoneOffset :: TimezoneMinutes -> Int Source # timezoneName :: TimezoneMinutes -> String Source #
Timezone UTC Source #
Instance details Defined in Time.Timezone Methods timezoneOffset :: UTC -> Int Source # timezoneName :: UTC -> String Source #

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 #
Read TimezoneOffset Source #	Read a time zone offset. Accepts the format `±HHMM` and valid values between `-1200` and `+1400`.
Instance details Defined in Time.Types Methods readsPrec :: Int -> ReadS TimezoneOffset # readList :: ReadS [TimezoneOffset] # readPrec :: ReadPrec TimezoneOffset # readListPrec :: ReadPrec [TimezoneOffset] #
Show TimezoneOffset Source #	Show the time zone offset in the format `±HHMM`.
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.

data UTC Source #

Type representing Universal Time Coordinated (UTC).

Constructors

UTC

Instances

Instances details

Show UTC Source #
Instance details Defined in Time.Timezone Methods showsPrec :: Int -> UTC -> ShowS # show :: UTC -> String # showList :: [UTC] -> ShowS #
Eq UTC Source #
Instance details Defined in Time.Timezone Methods (==) :: UTC -> UTC -> Bool # (/=) :: UTC -> UTC -> Bool #
Ord UTC Source #
Instance details Defined in Time.Timezone Methods compare :: UTC -> UTC -> Ordering # (<) :: UTC -> UTC -> Bool # (<=) :: UTC -> UTC -> Bool # (>) :: UTC -> UTC -> Bool # (>=) :: UTC -> UTC -> Bool # max :: UTC -> UTC -> UTC # min :: UTC -> UTC -> UTC #
Timezone UTC Source #
Instance details Defined in Time.Timezone Methods timezoneOffset :: UTC -> Int Source # timezoneName :: UTC -> String Source #

timezone_UTC :: TimezoneOffset Source #

The UTC timezone.

timezoneOffsetToMinutes timezone_UTC == 0 -- True

newtype TimezoneMinutes Source #

Simple timezone containing the number of minutes difference with UTC.

Valid values should be between -12 * 60 and +14 * 60.

Constructors

TimezoneMinutes Int

Instances

Instances details

Show TimezoneMinutes Source #
Instance details Defined in Time.Timezone Methods showsPrec :: Int -> TimezoneMinutes -> ShowS # show :: TimezoneMinutes -> String # showList :: [TimezoneMinutes] -> ShowS #
Eq TimezoneMinutes Source #
Instance details Defined in Time.Timezone Methods (==) :: TimezoneMinutes -> TimezoneMinutes -> Bool # (/=) :: TimezoneMinutes -> TimezoneMinutes -> Bool #
Ord TimezoneMinutes Source #
Instance details Defined in Time.Timezone Methods compare :: TimezoneMinutes -> TimezoneMinutes -> Ordering # (<) :: TimezoneMinutes -> TimezoneMinutes -> Bool # (<=) :: TimezoneMinutes -> TimezoneMinutes -> Bool # (>) :: TimezoneMinutes -> TimezoneMinutes -> Bool # (>=) :: TimezoneMinutes -> TimezoneMinutes -> Bool # max :: TimezoneMinutes -> TimezoneMinutes -> TimezoneMinutes # min :: TimezoneMinutes -> TimezoneMinutes -> TimezoneMinutes #
Timezone TimezoneMinutes Source #
Instance details Defined in Time.Timezone Methods timezoneOffset :: TimezoneMinutes -> Int Source # timezoneName :: TimezoneMinutes -> String Source #

Constructors

localTime Source #

Arguments

:: Time t
=> TimezoneOffset
-> t	The local time.
-> LocalTime t

For the given timezone offset and time value (assumed to be the local time), yield the corresponding local time.

localTimeFromGlobal :: Time t => t -> LocalTime t Source #

For the given time value, yield the corresponding LocalTime value assuming that there is no timezone offset.

localTimeSetTimezone :: Time t => TimezoneOffset -> LocalTime t -> LocalTime t Source #

For the given timezone offset and local time, yield the corresponding local time.

Accessors

localTimeUnwrap :: LocalTime t -> t Source #

The local time.

localTimeGetTimezone :: LocalTime t -> TimezoneOffset Source #

The timezone offset.

Miscellaneous calandar functions

isLeapYear Source #

Arguments

:: Int	Year.
-> Bool

For the given year in the Gregorian calendar, is it a leap year (366 days long)?

getWeekDay :: Date -> WeekDay Source #

For the given date in the proleptic Gregorian calendar, yield the day of the week it falls on.

getDayOfTheYear :: Date -> Int Source #

For the given date in the proleptic Gregorian calendar, yield the number of days before the date in the same year. For example, there are 0 days before 1st January.

daysInMonth Source #

Arguments

:: Int	Year.
-> Month
-> Int

For the given year and month in the proleptic Gregorian calendar, yield the number of days in the month.

Periods of time

data Duration Source #

Type represeting periods of time in hours, minutes, seconds (non-leap or all) and nanoseconds. See Period for periods of time in years, months and days.

Constructors

Duration
Fields durationHours :: !Hours Number of hours. durationMinutes :: !Minutes Number of minutes. durationSeconds :: !Seconds Number of seconds (non-leap or all). durationNs :: !NanoSeconds Number of nanoseconds.

Instances

Instances details

Data Duration Source #
Instance details Defined in Time.Diff Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Duration -> c Duration # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Duration # toConstr :: Duration -> Constr # dataTypeOf :: Duration -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Duration) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Duration) # gmapT :: (forall b. Data b => b -> b) -> Duration -> Duration # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Duration -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Duration -> r # gmapQ :: (forall d. Data d => d -> u) -> Duration -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Duration -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Duration -> m Duration # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Duration -> m Duration # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Duration -> m Duration #
Monoid Duration Source #
Instance details Defined in Time.Diff Methods mempty :: Duration # mappend :: Duration -> Duration -> Duration # mconcat :: [Duration] -> Duration #
Semigroup Duration Source #
Instance details Defined in Time.Diff Methods (<>) :: Duration -> Duration -> Duration # sconcat :: NonEmpty Duration -> Duration # stimes :: Integral b => b -> Duration -> Duration #
Read Duration Source #
Instance details Defined in Time.Diff Methods readsPrec :: Int -> ReadS Duration # readList :: ReadS [Duration] # readPrec :: ReadPrec Duration # readListPrec :: ReadPrec [Duration] #
Show Duration Source #
Instance details Defined in Time.Diff Methods showsPrec :: Int -> Duration -> ShowS # show :: Duration -> String # showList :: [Duration] -> ShowS #
NFData Duration Source #
Instance details Defined in Time.Diff Methods rnf :: Duration -> () #
Eq Duration Source #
Instance details Defined in Time.Diff Methods (==) :: Duration -> Duration -> Bool # (/=) :: Duration -> Duration -> Bool #
Ord Duration Source #
Instance details Defined in Time.Diff Methods compare :: Duration -> Duration -> Ordering # (<) :: Duration -> Duration -> Bool # (<=) :: Duration -> Duration -> Bool # (>) :: Duration -> Duration -> Bool # (>=) :: Duration -> Duration -> Bool # max :: Duration -> Duration -> Duration # min :: Duration -> Duration -> Duration #
TimeInterval Duration Source #
Instance details Defined in Time.Diff Methods toSeconds :: Duration -> Seconds Source # fromSeconds :: Seconds -> (Duration, Seconds) Source #

data Period Source #

Type representing periods of time in years, months and days. See Duration for periods of time in hours, minutes, seconds (non-leap or all) and nanoseconds.

Constructors

Period
Fields periodYears :: !Int periodMonths :: !Int periodDays :: !Int

Instances

Instances details

Data Period Source #
Instance details Defined in Time.Diff Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Period -> c Period # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Period # toConstr :: Period -> Constr # dataTypeOf :: Period -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Period) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Period) # gmapT :: (forall b. Data b => b -> b) -> Period -> Period # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Period -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Period -> r # gmapQ :: (forall d. Data d => d -> u) -> Period -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Period -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Period -> m Period # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Period -> m Period # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Period -> m Period #
Monoid Period Source #
Instance details Defined in Time.Diff Methods mempty :: Period # mappend :: Period -> Period -> Period # mconcat :: [Period] -> Period #
Semigroup Period Source #
Instance details Defined in Time.Diff Methods (<>) :: Period -> Period -> Period # sconcat :: NonEmpty Period -> Period # stimes :: Integral b => b -> Period -> Period #
Read Period Source #
Instance details Defined in Time.Diff Methods readsPrec :: Int -> ReadS Period # readList :: ReadS [Period] # readPrec :: ReadPrec Period # readListPrec :: ReadPrec [Period] #
Show Period Source #
Instance details Defined in Time.Diff Methods showsPrec :: Int -> Period -> ShowS # show :: Period -> String # showList :: [Period] -> ShowS #
NFData Period Source #
Instance details Defined in Time.Diff Methods rnf :: Period -> () #
Eq Period Source #
Instance details Defined in Time.Diff Methods (==) :: Period -> Period -> Bool # (/=) :: Period -> Period -> Bool #
Ord Period Source #
Instance details Defined in Time.Diff Methods compare :: Period -> Period -> Ordering # (<) :: Period -> Period -> Bool # (<=) :: Period -> Period -> Bool # (>) :: Period -> Period -> Bool # (>=) :: Period -> Period -> Bool # max :: Period -> Period -> Period # min :: Period -> Period -> Period #

timeAdd :: (Time t, TimeInterval ti) => t -> ti -> t Source #

Add the given period of time to the given value for a point in time, assuming that the period of time is equated with a number of non-leap seconds.

Example:

t1 `timeAdd` mempty { durationHours = 12 }

Example:

>>> startDate = Date 2016 December 31 -- Date of last leap second
>>> preLeapSecond = TimeOfDay 23 59 59 0
>>> startDateTime = DateTime startDate preLeapSecond
>>> oneNonleapSecond = Duration 0 0 1 0 -- Assume non-leap seconds
>>> nextDate = Date 2017 January 1
>>> firstSecond = TimeOfDay 0 0 0 0
>>> endDateTime = DateTime nextDate firstSecond
>>> timeAdd startDateTime oneNonleapSecond == endDateTime
True

timeDiff :: (Timeable t1, Timeable t2) => t1 -> t2 -> Seconds Source #

For the two given points in time, yields the difference in non-leap seconds between them.

Effectively:

t2 `timeDiff` t1 = t2 - t1

timeDiffP :: (Timeable t1, Timeable t2) => t1 -> t2 -> (Seconds, NanoSeconds) Source #

For the two given points in time, yields the difference in non-leap seconds and nanoseconds between them.

Effectively:

@t2 `timeDiffP` t1 = t2 - t1

dateAddPeriod :: Date -> Period -> Date Source #

Add the given period of time to the given date.

Conversion of points in time

class Timeable t => Time t where Source #

A type class promising functionality for converting ElapsedP values and Elapsed values to values of the type in question.

Minimal complete definition

timeFromElapsedP

Methods

timeFromElapsedP :: ElapsedP -> t Source #

Convert from a number of non-leap seconds and nanoseconds elapsed since the Unix epoch (1970-01-01 00:00:00 UTC).

timeFromElapsed :: Elapsed -> t Source #

Convert from a number of non-leap seconds elapsed since the Unix epoch (1970-01-01 00:00:00 UTC).

Defaults to timeFromElapsedP.

Instances

Instances details

Time CTime Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> CTime Source # timeFromElapsed :: Elapsed -> CTime Source #
Time Date Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> Date Source # timeFromElapsed :: Elapsed -> Date Source #
Time DateTime Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> DateTime Source # timeFromElapsed :: Elapsed -> DateTime Source #
Time Elapsed Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> Elapsed Source # timeFromElapsed :: Elapsed -> Elapsed Source #
Time ElapsedP Source #
Instance details Defined in Time.Time Methods timeFromElapsedP :: ElapsedP -> ElapsedP Source # timeFromElapsed :: Elapsed -> ElapsedP Source #
Epoch epoch => Time (ElapsedSince epoch) Source #
Instance details Defined in Time.Epoch Methods timeFromElapsedP :: ElapsedP -> ElapsedSince epoch Source # timeFromElapsed :: Elapsed -> ElapsedSince epoch Source #
Epoch epoch => Time (ElapsedSinceP epoch) Source #
Instance details Defined in Time.Epoch Methods timeFromElapsedP :: ElapsedP -> ElapsedSinceP epoch Source # timeFromElapsed :: Elapsed -> ElapsedSinceP epoch Source #

class Timeable t where Source #

A type class promising functionality for:

converting a value of the type in question to a Elapsed value or a ElapsedP value; and
yielding separately a nanoseconds component of the value of the type in question (should yield 0 when the type is less precise than seconds).

Minimal complete definition

timeGetElapsedP

Methods

timeGetElapsedP :: t -> ElapsedP Source #

Convert the given value to the number of non-leap seconds and nanoseconds elapsed since the Unix epoch (1970-01-01 00:00:00 UTC).

timeGetElapsed :: t -> Elapsed Source #

Convert the given value to the number of non-leap seconds elapsed since the Unix epoch (1970-01-01 00:00:00 UTC).

Defaults to timeGetElapsedP.

timeGetNanoSeconds :: t -> NanoSeconds Source #

Optionally, for the given value, yield the number of nanoseconds component.

If the type in question does not provide sub-second precision, should yield 0.

Defaults to timeGetElapsedP. For efficiency, if the type in question does not provide sub-second precision, it is a good idea to override this method.

Instances

Instances details

Timeable CTime Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: CTime -> ElapsedP Source # timeGetElapsed :: CTime -> Elapsed Source # timeGetNanoSeconds :: CTime -> NanoSeconds Source #
Timeable Date Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: Date -> ElapsedP Source # timeGetElapsed :: Date -> Elapsed Source # timeGetNanoSeconds :: Date -> NanoSeconds Source #
Timeable DateTime Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: DateTime -> ElapsedP Source # timeGetElapsed :: DateTime -> Elapsed Source # timeGetNanoSeconds :: DateTime -> NanoSeconds Source #
Timeable Elapsed Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: Elapsed -> ElapsedP Source # timeGetElapsed :: Elapsed -> Elapsed Source # timeGetNanoSeconds :: Elapsed -> NanoSeconds Source #
Timeable ElapsedP Source #
Instance details Defined in Time.Time Methods timeGetElapsedP :: ElapsedP -> ElapsedP Source # timeGetElapsed :: ElapsedP -> Elapsed Source # timeGetNanoSeconds :: ElapsedP -> NanoSeconds Source #
Epoch epoch => Timeable (ElapsedSince epoch) Source #
Instance details Defined in Time.Epoch Methods timeGetElapsedP :: ElapsedSince epoch -> ElapsedP Source # timeGetElapsed :: ElapsedSince epoch -> Elapsed Source # timeGetNanoSeconds :: ElapsedSince epoch -> NanoSeconds Source #
Epoch epoch => Timeable (ElapsedSinceP epoch) Source #
Instance details Defined in Time.Epoch Methods timeGetElapsedP :: ElapsedSinceP epoch -> ElapsedP Source # timeGetElapsed :: ElapsedSinceP epoch -> Elapsed Source # timeGetNanoSeconds :: ElapsedSinceP epoch -> NanoSeconds Source #

timeConvert :: (Timeable t1, Time t2) => t1 -> t2 Source #

Convert from one time representation to another. This will not compile unless the compiler can infer the types.

Specialized functions are available for built-in types:

timeGetDate :: Timeable t => t -> Date Source #

For the given value of a point in time, yield the corresponding date (a specialization of timeConvert).

timeGetDateTimeOfDay :: Timeable t => t -> DateTime Source #

For the given value for a point in time, yield the corresponding date and time (a specialization of timeConvert).

timeGetTimeOfDay :: Timeable t => t -> TimeOfDay Source #

For the given value for a point in time, yield the corresponding time (a specialization of timeConvert).

localTimeConvert :: (Time t1, Time t2) => LocalTime t1 -> LocalTime t2 Source #

For the given local time of one type, yield the corresponding local time of a different type. This will not compile unless the compiler can infer the types of the two local times.

localTimeToGlobal :: Time t => LocalTime t -> t Source #

For the given LocalTime value, yield the corresponding global time.

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 (non-leap or all).

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

For the given number of seconds (non-leap or all), 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 #

Parsing and Printing

Format strings

class TimeFormat format where Source #

A type class promising the ability to convert values to a TimeFormatString.

String is an instance of TimeFormat. Sequences of characters are interpreted as follows (case-sensitive). The longest valid sequence is parsed first:

YY: Format_Year2. 2-digit years (70 is 1970, 69 is 2069).
YYYY: Format_Year4. 4-digit years.
M: Format_Month. Months (1 to 12).
MM: Format_Month2. Months padded to 2 characters (01 to 12).
Mon: Format_MonthName_Short. Short name of the month (Jan, Feb, ..).
JJJ: Format_DayYear3. Day of the year padded to 3 characters (001 to 365, 366 for leap years).
DD: Format_Day2. Day of the month padded to 2 characters (01 to 31).
H: Format_Hour. Hours padded to 2 characters (00 to 23).
MI: Format_Minute. Minutes padded to 2 characters (00 to 59).
S: Format_Second. Seconds padded to 2 characters (00 to 59, 60 for leap seconds).
EPOCH: Format_UnixSecond. Number of non-leap seconds since the Unix epoch (1970-01-01 00:00:00 UTC).
ms: Format_MilliSecond. The millisecond component only, padded to 3 characters (000 to 999). See us/μ and ns for other named sub-second components.
us: Format_MicroSecond. The microseconds component only, padded to 3 characters (000 to 999). See ms and ns for other named sub-second components.
μ: Format_MicroSecond. As above.
ns: Format_NanoSecond. The nanoseconds component only, padded to 3 characters (000 to 999). See ms and us/μ for other named sub-second components.
p<n>: Format_Precision <n>. Sub-second display with a precision of <n> digit(s), where <n> is 1 to 9.
TZH:M: Format_TzHM_Colon. Timezone offset with colon (for example, 02:00, +02:00 or -02:00).
TZHM: Format_TzHM. Timezone offset without colon (for example, 0200, +0200 or -0200).
TZOFS: Format_Tz_Offset. Timezone offset in minutes (for example, 120, +120 or -120).
<space>: Format_Spaces. One or more space-like characters.
\<character>: Format_Text <character>. A verbatim character.
<character>: Format_Text <character>. A verbatim character.

For example:

>>> let mDateTime = timeParse ("ms \\ms us \\us ns \\ns") "123 ms 456 us 789 ns"
>>> timeGetNanoSeconds <$> mDateTime
Just 123456789ns

>>> timePrint "ms \\ms us \\us ns \\ns" <$> mDateTime
Just "123 ms 456 us 789 ns"

Methods

toFormat :: format -> TimeFormatString Source #

Instances

Instances details

TimeFormat ISO8601_Date Source #
Instance details Defined in Time.Format Methods toFormat :: ISO8601_Date -> TimeFormatString Source #
TimeFormat ISO8601_DateAndTime Source #
Instance details Defined in Time.Format Methods toFormat :: ISO8601_DateAndTime -> TimeFormatString Source #
TimeFormat TimeFormatString Source #
Instance details Defined in Time.Format Methods toFormat :: TimeFormatString -> TimeFormatString Source #
TimeFormat String Source #	For information about this instance, see the documentation for `TimeFormat`.
Instance details Defined in Time.Format Methods toFormat :: String -> TimeFormatString Source #
TimeFormat [TimeFormatElem] Source #
Instance details Defined in Time.Format Methods toFormat :: [TimeFormatElem] -> TimeFormatString Source #

newtype TimeFormatString Source #

Type representing time format strings, composed of list of TimeFormatElem.

Constructors

TimeFormatString [TimeFormatElem]

Instances

Instances details

Show TimeFormatString Source #
Instance details Defined in Time.Format Methods showsPrec :: Int -> TimeFormatString -> ShowS # show :: TimeFormatString -> String # showList :: [TimeFormatString] -> ShowS #
Eq TimeFormatString Source #
Instance details Defined in Time.Format Methods (==) :: TimeFormatString -> TimeFormatString -> Bool # (/=) :: TimeFormatString -> TimeFormatString -> Bool #
TimeFormat TimeFormatString Source #
Instance details Defined in Time.Format Methods toFormat :: TimeFormatString -> TimeFormatString Source #

data TimeFormatElem Source #

Type representing formatters that can be part of a time format string.

Constructors

Format_Year2	2-digit years (`70` is 1970, `69` is 2069).
Format_Year4	4-digit years.
Format_Year	Any digits years.
Format_Month	Months (`1` to `12`).
Format_Month2	Months padded to 2 characters (`01` to `12`).
Format_MonthName_Short	Short name of the month (`Jan`, `Feb`, ..).
Format_DayYear	Day of the year (`1` to `365`, `366` for leap years).
Format_DayYear3	Day of the year padded to 3 characters (`001` to `365`, `366` for leap years).
Format_Day	Day of the month (`1` to `31`).
Format_Day2	Day of the month padded to 2 characters (`01` to `31`).
Format_Hour	Hours padded to 2 characters (`00` to `23`).
Format_Minute	Minutes padded to 2 characters (`00` to `59`).
Format_Second	Seconds padded to 2 characters (`00` to `59`, `60` for leap seconds).
Format_UnixSecond	Number of non-leap seconds since the Unix epoch (1970-01-01 00:00:00 UTC).
Format_MilliSecond	The millisecond component only, padded to 3 characters (`000` to `999`). See `Format_MicroSecond` and `Format_NanoSecond` for other named sub-second components.
Format_MicroSecond	The microseconds component only, padded to 3 characters (`000` to `999`). See `Format_MilliSecond` and `Format_NanoSecond` for other named sub-second components.
Format_NanoSecond	The nanoseconds component only, padded to 3 characters (`000` to `999`). See `Format_MilliSecond` and `Format_MicroSecond` for other named sub-second components.
Format_Precision Int	Sub-second display with a precision of n digits, with n between `1` and `9`.
Format_TimezoneName	Timezone name.
Format_TzHM_Colon_Z	Zero UTC offset (`Z`) or timezone offset with colon (for example, `02:00`, `+02:00` or `-02:00`).
Format_TzHM_Colon	Timezone offset with colon (for example, `02:00`, `+02:00` or `-02:00`).
Format_TzHM	Timezone offset without colon (for example, `0200`, `+0200` or `-0200`).
Format_Tz_Offset	Timezone offset in minutes (for example, `120`, `+120` or `-120`).
Format_Spaces	One or more space-like characters.
Format_Text Char	A verbatim character.
Format_Fct TimeFormatFct	A custom time format function. See `TimeFormatFct`.

Instances

Instances details

Show TimeFormatElem Source #
Instance details Defined in Time.Format Methods showsPrec :: Int -> TimeFormatElem -> ShowS # show :: TimeFormatElem -> String # showList :: [TimeFormatElem] -> ShowS #
Eq TimeFormatElem Source #
Instance details Defined in Time.Format Methods (==) :: TimeFormatElem -> TimeFormatElem -> Bool # (/=) :: TimeFormatElem -> TimeFormatElem -> Bool #
TimeFormat [TimeFormatElem] Source #
Instance details Defined in Time.Format Methods toFormat :: [TimeFormatElem] -> TimeFormatString Source #

data TimeFormatFct Source #

Type representing format functions.

Constructors

TimeFormatFct

Fields

timeFormatFctName :: String
The name of the format function.
timeFormatParse :: (DateTime, TimezoneOffset) -> String -> Either String ((DateTime, TimezoneOffset), String)
A parser of a given String. The first argument is the (DateTime, TimezoneOffset) value before the parser is applied. If the parser fails, the Left value provides an error message. If it succeeds, the Right value provides a pair of a (DateTime, TimezoneOffset) value and any input not consumed by the parser.
timeFormatPrint :: DateTime -> TimezoneOffset -> String
A printer of a given DateTime value and TimezoneOffset value.

Instances

Instances details

Show TimeFormatFct Source #	Show the `timeFormatFctName` field.
Instance details Defined in Time.Format Methods showsPrec :: Int -> TimeFormatFct -> ShowS # show :: TimeFormatFct -> String # showList :: [TimeFormatFct] -> ShowS #
Eq TimeFormatFct Source #
Instance details Defined in Time.Format Methods (==) :: TimeFormatFct -> TimeFormatFct -> Bool # (/=) :: TimeFormatFct -> TimeFormatFct -> Bool #

Common built-in formats

data ISO8601_Date Source #

A type representing a ISO8601 date format string.

e.g. 2014-04-05

Constructors

ISO8601_Date

Instances

Instances details

Show ISO8601_Date Source #
Instance details Defined in Time.Format Methods showsPrec :: Int -> ISO8601_Date -> ShowS # show :: ISO8601_Date -> String # showList :: [ISO8601_Date] -> ShowS #
Eq ISO8601_Date Source #
Instance details Defined in Time.Format Methods (==) :: ISO8601_Date -> ISO8601_Date -> Bool # (/=) :: ISO8601_Date -> ISO8601_Date -> Bool #
TimeFormat ISO8601_Date Source #
Instance details Defined in Time.Format Methods toFormat :: ISO8601_Date -> TimeFormatString Source #

data ISO8601_DateAndTime Source #

A type representing a ISO8601 date and time format string.

e.g. 2014-04-05T17:25:04+00:00 or 2014-04-05T17:25:04Z.

Constructors

ISO8601_DateAndTime

Instances

Instances details

Show ISO8601_DateAndTime Source #
Instance details Defined in Time.Format Methods showsPrec :: Int -> ISO8601_DateAndTime -> ShowS # show :: ISO8601_DateAndTime -> String # showList :: [ISO8601_DateAndTime] -> ShowS #
Eq ISO8601_DateAndTime Source #
Instance details Defined in Time.Format Methods (==) :: ISO8601_DateAndTime -> ISO8601_DateAndTime -> Bool # (/=) :: ISO8601_DateAndTime -> ISO8601_DateAndTime -> Bool #
TimeFormat ISO8601_DateAndTime Source #
Instance details Defined in Time.Format Methods toFormat :: ISO8601_DateAndTime -> TimeFormatString Source #

Format methods

localTimePrint Source #

Arguments

:: (TimeFormat format, Timeable t)
=> format	The format to use for printing.
-> LocalTime t	The local time to print.
-> String

Given the specified format, pretty print the given local time.

A Format_TimezoneName will print using the ±HH:MM format, where 0 offset is printed as -00:00.

A Format_TzHM will print using the ±HHMM format, where 0 offset is printed as +0000.

A Format_TzHM_Colon will print using the ±HH:MM format, where 0 offset is printed as +00:00.

A Format_TzHM_Colon_Z will print using the ±HH:MM format, but where 0 offset is printed as Z.

A Format_Tz_Offset will print non-negative offsets without using an initial +.

A Format_Spaces will print a single space character.

timePrint Source #

Arguments

:: (TimeFormat format, Timeable t)
=> format	The format to use for printing.
-> t	The time to print.
-> String

Like localTimePrint but the time zone of the time to print will be taken to be UTC.

localTimeParseE Source #

Arguments

:: TimeFormat format
=> format	The format to use for parsing.
-> String	The string to parse.
-> Either (TimeFormatElem, String) (LocalTime DateTime, String)

Given the specified format, try to parse the given string as a LocalTime DateTime value.

On failure, yields a Left value with a pair of the current TimeFormatElem value and the reason for the failure.

If successful, yields a Right value with a pair of the parsed value and the remaining unparsed string.

The default parsed LocalTime DateTime value is 'all zeros'. For example:

>>> let zeroDate = Date 0 January 0
>>> let zeroTime = TimeOfDay 0 0 0 0
>>> let zeroLocalTime = localTime timezone_UTC (DateTime zeroDate zeroTime)
>>> localTimeParseE "" "" == Right (zeroLocalTime, "")
True

Later TimeFormatElem values can modify the result of earlier TimeFormatElem values. For example:

>>> let toYear = dateYear . dtDate . localTimeUnwrap . fst
>>> toYear <$> (localTimeParseE "YYYY YYYY" "2025 2024")
Right 2024

A Format_DayYear or Format_DayYear3 value interprets the day of year based on the previously parsed year or, by default, a leap year. For example:

>>> let toMonth = dateMonth . dtDate . localTimeUnwrap . fst
>>> let format1 = [Format_Year4, Format_Spaces, Format_DayYear]
>>> let format2 = [Format_DayYear, Format_Spaces, Format_Year4]
>>> toMonth <$> (localTimeParseE format1 "2025 60")
Right March
>>> toMonth <$> (localTimeParseE format2 "60 2025")
Right February

A Format_TimezoneName will parse one or more non-white space characters but will not modify the previously parsed, or default, date and time.

A Format_Month, Format_DayYear, Format_DayYear3, Format_Day and Format_Tz_Offset will check that the parsed number is within bounds. However, localTimeParseE does not check that any resulting date or time is a valid one.

localTimeParse Source #

Arguments

:: TimeFormat format
=> format	The format to use for parsing.
-> String	The string to parse.
-> Maybe (LocalTime DateTime)

Like localTimeParseE, but with simpler handing of failure. Does not yield the remaining unparsed string on success.

On failure, returns Nothing. If successful, yields Just the parsed value.

timeParseE :: TimeFormat format => format -> String -> Either (TimeFormatElem, String) (DateTime, String) Source #

Like localTimeParseE but the time value is automatically converted to global time.

timeParse :: TimeFormat format => format -> String -> Maybe DateTime Source #

Like localTimeParse but the time value is automatically converted to global time.