Data.DateTime

data DateTime

A date/time value in the Gregorian calendar/UTC time zone.

Constructors

• DateTime Date Time

Instances

• Eq DateTime
• Ord DateTime
• Generic DateTime
• Bounded DateTime
• Show DateTime

date :: DateTime -> Date

modifyDate :: (Date -> Date) -> DateTime -> DateTime

modifyDateF :: forall f. Functor f => (Date -> f Date) -> DateTime -> f DateTime

time :: DateTime -> Time

modifyTime :: (Time -> Time) -> DateTime -> DateTime

modifyTimeF :: forall f. Functor f => (Time -> f Time) -> DateTime -> f DateTime

adjust :: forall d. Duration d => d -> DateTime -> Maybe DateTime

Adjusts a date/time value with a duration offset. Nothing is returned if the resulting date would be outside of the range of valid dates.

diff :: forall d. Duration d => DateTime -> DateTime -> d

Calculates the difference between two date/time values, returning the result as a duration.

newtype Year

A year component for a date.

The constructor is private as the Year type is bounded to the range -271820 to 275759, inclusive. The toEnum function can be used to safely acquire a year value from an integer.

Instances

• Eq Year
• Ord Year
• Generic Year
• Bounded Year
• Enum Year
• BoundedEnum Year
• Show Year

data Weekday

A type representing the days of the week in the Gregorian calendar.

Constructors

• Monday
• Tuesday
• Wednesday
• Thursday
• Friday
• Saturday
• Sunday

Instances

• Eq Weekday
• Ord Weekday
• Generic Weekday
• Bounded Weekday
• Enum Weekday
• BoundedEnum Weekday
• Show Weekday

data Month

A month component for a date in the Gregorian calendar.

Constructors

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

Instances

• Eq Month
• Ord Month
• Generic Month
• Bounded Month
• Enum Month
• BoundedEnum Month
• Show Month

newtype Day

A day component for a date.

The constructor is private as the Day type is bounded to the range 1 to 31, inclusive. The toEnum function can be used to safely acquire a day value from an integer.

Instances

• Eq Day
• Ord Day
• Generic Day
• Bounded Day
• Enum Day
• BoundedEnum Day
• Show Day

data Date

A date value in the Gregorian calendar.

Instances

• Eq Date
• Ord Date
• Generic Date
• Bounded Date
• Show Date

year :: Date -> Year

The year component of a date value.

weekday :: Date -> Weekday

The weekday for a date value.

month :: Date -> Month

The month component of a date value.

exactDate :: Year -> Month -> Day -> Maybe Date

Constructs a date from year, month, and day components. The result will be Nothing if the provided values result in an invalid date.

day :: Date -> Day

The day component of a date value.

canonicalDate :: Year -> Month -> Day -> Date

Constructs a date from year, month, and day components. The resulting date components may not be identical to the input values, as the date will be canonicalised according to the Gregorian calendar. For example, date values for the invalid date 2016-02-31 will be corrected to 2016-03-02.

data Time

Constructors

• Time Hour Minute Second Millisecond

Instances

• Eq Time
• Ord Time
• Generic Time
• Bounded Time
• Show Time

newtype Second

An second component for a time value.

The constructor is private as values for the type are restricted to the range 0 to 59, inclusive. The toEnum function can be used to safely acquire an Second value from an integer. Correspondingly, a Second can be lowered to a plain integer with the fromEnum function.

Instances

• Eq Second
• Ord Second
• Generic Second
• Bounded Second
• Enum Second
• BoundedEnum Second
• Show Second

newtype Minute

An minute component for a time value.

The constructor is private as values for the type are restricted to the range 0 to 59, inclusive. The toEnum function can be used to safely acquire an Minute value from an integer. Correspondingly, a Minute can be lowered to a plain integer with the fromEnum function.

Instances

• Eq Minute
• Ord Minute
• Generic Minute
• Bounded Minute
• Enum Minute
• BoundedEnum Minute
• Show Minute

newtype Millisecond

An millisecond component for a time value.

The constructor is private as values for the type are restricted to the range 0 to 999, inclusive. The toEnum function can be used to safely acquire an Millisecond value from an integer. Correspondingly, a Millisecond can be lowered to a plain integer with the fromEnum function.

Instances

• Eq Millisecond
• Ord Millisecond
• Generic Millisecond
• Bounded Millisecond
• Enum Millisecond
• BoundedEnum Millisecond
• Show Millisecond

newtype Hour

An hour component for a time value.

The constructor is private as values for the type are restricted to the range 0 to 23, inclusive. The toEnum function can be used to safely acquire an Hour value from an integer. Correspondingly, an Hour can be lowered to a plain integer with the fromEnum function.

Instances

• Eq Hour
• Ord Hour
• Generic Hour
• Bounded Hour
• Enum Hour
• BoundedEnum Hour
• Show Hour

setSecond :: Second -> Time -> Time

Alters the second component of a time value.

setMinute :: Minute -> Time -> Time

Alters the minute component of a time value.

setMillisecond :: Millisecond -> Time -> Time

Alters the millisecond component of a time value.

setHour :: Hour -> Time -> Time

Alters the hour component of a time value.

second :: Time -> Second

The second component of a time value.

minute :: Time -> Minute

The minute component of a time value.

millisecond :: Time -> Millisecond

The millisecond component of a time value.

hour :: Time -> Hour

The hour component of a time value.