XSD dateTime
data structure http://www.w3.org/TR/xmlschema-2/#dateTime
- data DateTime
- dateTime' :: String -> Either ParseError DateTime
- dateTime :: String -> Maybe DateTime
- toZonedTime :: DateTime -> ZonedTime
- fromZonedTime :: ZonedTime -> DateTime
- zonedTime' :: String -> Either ParseError ZonedTime
- zonedTime :: String -> Maybe ZonedTime
- toUTCTime :: DateTime -> UTCTime
- fromUTCTime :: UTCTime -> DateTime
- utcTime' :: String -> Either ParseError UTCTime
- utcTime :: String -> Maybe UTCTime
Documentation
XSD dateTime
data structure http://www.w3.org/TR/xmlschema-2/#dateTime
dateTime' :: String -> Either ParseError DateTimeSource
Parses the string into a dateTime
or may fail with a parse error.
toZonedTime :: DateTime -> ZonedTimeSource
Converts a dateTime
to a zoned time.
fromZonedTime :: ZonedTime -> DateTimeSource
Converts a zoned time to a dateTime
.
zonedTime' :: String -> Either ParseError ZonedTimeSource
Parses the string in a dateTime
then converts to a zoned time and may fail with a parse error.
zonedTime :: String -> Maybe ZonedTimeSource
Parses the string in a dateTime
then converts to a zoned time and may fail.
fromUTCTime :: UTCTime -> DateTimeSource
Converts a UTC time to a dateTime
.