System.Time

old-time-1.1.0.4: Time library

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 #

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

# Time differences

data TimeDiff #

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 # |
Instance details Defined in System.Time Methods readsPrec :: Int -> ReadS TimeDiff # readList :: ReadS [TimeDiff] # readPrec :: ReadPrec TimeDiff # readListPrec :: ReadPrec [TimeDiff] #
Show TimeDiff # |
Instance details Defined in System.Time Methods showsPrec :: Int -> TimeDiff -> ShowS # show :: TimeDiff -> String # showList :: [TimeDiff] -> ShowS #
Eq TimeDiff # |
Instance details Defined in System.Time Methods (==) :: TimeDiff -> TimeDiff -> Bool # (/=) :: TimeDiff -> TimeDiff -> Bool #
Ord TimeDiff # |
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 #

null time difference.

diffClockTimes :: ClockTime -> ClockTime -> TimeDiff #

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

addToClockTime :: TimeDiff -> ClockTime -> ClockTime #

``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 #

converts a time difference to normal form.

timeDiffToString :: TimeDiff -> String #

formats time differences using local conventions.

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

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 #

`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 # |
Instance details Defined in System.Time Methods readsPrec :: Int -> ReadS CalendarTime # readList :: ReadS [CalendarTime] # readPrec :: ReadPrec CalendarTime # readListPrec :: ReadPrec [CalendarTime] #
Show CalendarTime # |
Instance details Defined in System.Time Methods showsPrec :: Int -> CalendarTime -> ShowS # show :: CalendarTime -> String # showList :: [CalendarTime] -> ShowS #
Eq CalendarTime # |
Instance details Defined in System.Time Methods (==) :: CalendarTime -> CalendarTime -> Bool # (/=) :: CalendarTime -> CalendarTime -> Bool #
Ord CalendarTime # |
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 #

A month of the year.

Constructors

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

#### Instances

Instances details

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

A day of the week.

Constructors

Sunday |
Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Saturday |

#### Instances

Instances details

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

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 #

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

toClockTime :: CalendarTime -> ClockTime #

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

calendarTimeToString :: CalendarTime -> String #

formats calendar times using local conventions.

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

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