time-w3c-0.1.0.1: Parse, format and convert W3C Date and Time

Data.Time.W3C.Types

Description

Data types defined by this package.

Synopsis

Documentation

data W3CDateTime

W3CDateTime represents a W3C Date and Time format.

The field w3cYear is mandatory while other fields are optional. But you should be careful about combinations of such optional fields. No combinations are allowed except for the following list:

  • YYYY
  • YYYY-MM
  • YYYY-MM-DD
  • YYYY-MM-DDThh:mmTZD
  • YYYY-MM-DDThh:mm:ss.sTZD

This data type is partially ordered so we can't make it an instance of Ord (e.g. "2010" and "2010-01" can't be compared).

Constructors

W3CDateTime 

Fields

w3cYear :: !Integer
 
w3cMonth :: !(Maybe Int)
 
w3cDay :: !(Maybe Int)
 
w3cHour :: !(Maybe Int)
 
w3cMinute :: !(Maybe Int)
 
w3cSecond :: !(Maybe Pico)
 
w3cTimeZone :: !(Maybe TimeZone)
 

Instances