Copyright	(c) The University of Glasgow 2001
License	BSD-style (see the file libraries/old-time/LICENSE)
Maintainer	libraries@haskell.org
Stability	provisional
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

System.Time

Contents

Clock times
Time differences
Calendar times

Description

The standard time library from Haskell 98. This library is deprecated, please look at Data.Time in the time package instead.

System.Time provides functionality for clock times, including timezone information (i.e, the functionality of "time.h", adapted to the Haskell environment). It follows RFC 1129 in its use of Coordinated Universal Time (UTC).

Synopsis

data ClockTime = TOD Integer Integer
getClockTime :: IO ClockTime
data TimeDiff = TimeDiff {
- tdYear :: Int
- tdMonth :: Int
- tdDay :: Int
- tdHour :: Int
- tdMin :: Int
- tdSec :: Int
- tdPicosec :: Integer
}
noTimeDiff :: TimeDiff
diffClockTimes :: ClockTime -> ClockTime -> TimeDiff
addToClockTime :: TimeDiff -> ClockTime -> ClockTime
normalizeTimeDiff :: TimeDiff -> TimeDiff
timeDiffToString :: TimeDiff -> String
formatTimeDiff :: TimeLocale -> String -> TimeDiff -> String
data CalendarTime = CalendarTime {
- ctYear :: Int
- ctMonth :: Month
- ctDay :: Int
- ctHour :: Int
- ctMin :: Int
- ctSec :: Int
- ctPicosec :: Integer
- ctWDay :: Day
- ctYDay :: Int
- ctTZName :: String
- ctTZ :: Int
- ctIsDST :: Bool
}
data Month
- = January
- | February
- | March
- | April
- | May
- | June
- | July
- | August
- | September
- | October
- | November
- | December
data Day
- = Sunday
- | Monday
- | Tuesday
- | Wednesday
- | Thursday
- | Friday
- | Saturday
toCalendarTime :: ClockTime -> IO CalendarTime
toUTCTime :: ClockTime -> CalendarTime
toClockTime :: CalendarTime -> ClockTime
calendarTimeToString :: CalendarTime -> String
formatCalendarTime :: TimeLocale -> String -> CalendarTime -> String

Clock times

data ClockTime Source #

A representation of the internal clock time. Clock times may be compared, converted to strings, or converted to an external calendar time CalendarTime for I/O or other manipulations.

Constructors

TOD Integer Integer

Construct a clock time. The arguments are a number of seconds since 00:00:00 (UTC) on 1 January 1970, and an additional number of picoseconds.

In Haskell 98, the ClockTime type is abstract.

Instances

Instances details

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

getClockTime :: IO ClockTime Source #

Time differences

data TimeDiff Source #

records the difference between two clock times in a user-readable way.

Constructors

TimeDiff
Fields tdYear :: Int tdMonth :: Int tdDay :: Int tdHour :: Int tdMin :: Int tdSec :: Int tdPicosec :: Integer

Instances

Instances details

Read TimeDiff Source #
Instance details Defined in System.Time Methods readsPrec :: Int -> ReadS TimeDiff readList :: ReadS [TimeDiff] readPrec :: ReadPrec TimeDiff readListPrec :: ReadPrec [TimeDiff]
Show TimeDiff Source #
Instance details Defined in System.Time Methods showsPrec :: Int -> TimeDiff -> ShowS show :: TimeDiff -> String showList :: [TimeDiff] -> ShowS
Eq TimeDiff Source #
Instance details Defined in System.Time Methods (==) :: TimeDiff -> TimeDiff -> Bool (/=) :: TimeDiff -> TimeDiff -> Bool
Ord TimeDiff Source #
Instance details Defined in System.Time Methods compare :: TimeDiff -> TimeDiff -> Ordering (<) :: TimeDiff -> TimeDiff -> Bool (<=) :: TimeDiff -> TimeDiff -> Bool (>) :: TimeDiff -> TimeDiff -> Bool (>=) :: TimeDiff -> TimeDiff -> Bool max :: TimeDiff -> TimeDiff -> TimeDiff min :: TimeDiff -> TimeDiff -> TimeDiff

noTimeDiff :: TimeDiff Source #

null time difference.

diffClockTimes :: ClockTime -> ClockTime -> TimeDiff Source #

diffClockTimes t1 t2 returns the difference between two clock times t1 and t2 as a TimeDiff.

addToClockTime :: TimeDiff -> ClockTime -> ClockTime Source #

addToClockTime d t adds a time difference d and a clock time t to yield a new clock time. The difference d may be either positive or negative.

normalizeTimeDiff :: TimeDiff -> TimeDiff Source #

converts a time difference to normal form.

timeDiffToString :: TimeDiff -> String Source #

formats time differences using local conventions.

formatTimeDiff :: TimeLocale -> String -> TimeDiff -> String Source #

formats time differences using local conventions and a formatting string. The formatting string is that understood by the ISO C strftime() function.

Calendar times

data CalendarTime Source #

CalendarTime is a user-readable and manipulable representation of the internal ClockTime type.

Constructors

CalendarTime

Fields

ctYear :: Int
Year (pre-Gregorian dates are inaccurate)
ctMonth :: Month
Month of the year
ctDay :: Int
Day of the month (1 to 31)
ctHour :: Int
Hour of the day (0 to 23)
ctMin :: Int
Minutes (0 to 59)
ctSec :: Int
Seconds (0 to 61, allowing for up to two leap seconds)
ctPicosec :: Integer
Picoseconds
ctWDay :: Day
Day of the week
ctYDay :: Int
Day of the year (0 to 364, or 365 in leap years)
ctTZName :: String
Name of the time zone
ctTZ :: Int
Variation from UTC in seconds
ctIsDST :: Bool
True if Daylight Savings Time would be in effect, and False otherwise

Instances

Instances details

Read CalendarTime Source #
Instance details Defined in System.Time Methods readsPrec :: Int -> ReadS CalendarTime readList :: ReadS [CalendarTime] readPrec :: ReadPrec CalendarTime readListPrec :: ReadPrec [CalendarTime]
Show CalendarTime Source #
Instance details Defined in System.Time Methods showsPrec :: Int -> CalendarTime -> ShowS show :: CalendarTime -> String showList :: [CalendarTime] -> ShowS
Eq CalendarTime Source #
Instance details Defined in System.Time Methods (==) :: CalendarTime -> CalendarTime -> Bool (/=) :: CalendarTime -> CalendarTime -> Bool
Ord CalendarTime Source #
Instance details Defined in System.Time Methods compare :: CalendarTime -> CalendarTime -> Ordering (<) :: CalendarTime -> CalendarTime -> Bool (<=) :: CalendarTime -> CalendarTime -> Bool (>) :: CalendarTime -> CalendarTime -> Bool (>=) :: CalendarTime -> CalendarTime -> Bool max :: CalendarTime -> CalendarTime -> CalendarTime min :: CalendarTime -> CalendarTime -> CalendarTime

data Month Source #

A month of the year.

Constructors

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

Instances

Instances details

Bounded Month Source #
Instance details Defined in System.Time Methods minBound :: Month maxBound :: Month
Enum Month Source #
Instance details Defined in System.Time 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]
Ix Month Source #
Instance details Defined in System.Time Methods range :: (Month, Month) -> [Month] index :: (Month, Month) -> Month -> Int unsafeIndex :: (Month, Month) -> Month -> Int inRange :: (Month, Month) -> Month -> Bool rangeSize :: (Month, Month) -> Int unsafeRangeSize :: (Month, Month) -> Int
Read Month Source #
Instance details Defined in System.Time Methods readsPrec :: Int -> ReadS Month readList :: ReadS [Month] readPrec :: ReadPrec Month readListPrec :: ReadPrec [Month]
Show Month Source #
Instance details Defined in System.Time Methods showsPrec :: Int -> Month -> ShowS show :: Month -> String showList :: [Month] -> ShowS
Eq Month Source #
Instance details Defined in System.Time Methods (==) :: Month -> Month -> Bool (/=) :: Month -> Month -> Bool
Ord Month Source #
Instance details Defined in System.Time 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 Day Source #

A day of the week.

Constructors

Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday

Instances

Instances details

Bounded Day Source #
Instance details Defined in System.Time Methods minBound :: Day maxBound :: Day
Enum Day Source #
Instance details Defined in System.Time Methods succ :: Day -> Day pred :: Day -> Day toEnum :: Int -> Day fromEnum :: Day -> Int enumFrom :: Day -> [Day] enumFromThen :: Day -> Day -> [Day] enumFromTo :: Day -> Day -> [Day] enumFromThenTo :: Day -> Day -> Day -> [Day]
Ix Day Source #
Instance details Defined in System.Time Methods range :: (Day, Day) -> [Day] index :: (Day, Day) -> Day -> Int unsafeIndex :: (Day, Day) -> Day -> Int inRange :: (Day, Day) -> Day -> Bool rangeSize :: (Day, Day) -> Int unsafeRangeSize :: (Day, Day) -> Int
Read Day Source #
Instance details Defined in System.Time Methods readsPrec :: Int -> ReadS Day readList :: ReadS [Day] readPrec :: ReadPrec Day readListPrec :: ReadPrec [Day]
Show Day Source #
Instance details Defined in System.Time Methods showsPrec :: Int -> Day -> ShowS show :: Day -> String showList :: [Day] -> ShowS
Eq Day Source #
Instance details Defined in System.Time Methods (==) :: Day -> Day -> Bool (/=) :: Day -> Day -> Bool
Ord Day Source #
Instance details Defined in System.Time Methods compare :: Day -> Day -> Ordering (<) :: Day -> Day -> Bool (<=) :: Day -> Day -> Bool (>) :: Day -> Day -> Bool (>=) :: Day -> Day -> Bool max :: Day -> Day -> Day min :: Day -> Day -> Day

toCalendarTime :: ClockTime -> IO CalendarTime Source #

converts an internal clock time to a local time, modified by the timezone and daylight savings time settings in force at the time of conversion. Because of this dependence on the local environment, toCalendarTime is in the IO monad.

toUTCTime :: ClockTime -> CalendarTime Source #

converts an internal clock time into a CalendarTime in standard UTC format.

toClockTime :: CalendarTime -> ClockTime Source #

converts a CalendarTime into the corresponding internal ClockTime, ignoring the contents of the ctWDay, ctYDay, ctTZName and ctIsDST fields.

calendarTimeToString :: CalendarTime -> String Source #

formats calendar times using local conventions.

formatCalendarTime :: TimeLocale -> String -> CalendarTime -> String Source #

formats calendar times using local conventions and a formatting string. The formatting string is that understood by the ISO C strftime() function.