Attoparsec.Time

Documentation

timeOfDayInISO8601 :: Parser TimeOfDay

>>> parseOnly timeOfDayInISO8601 "05:03:58"
Right 05:03:58

>>> parseOnly timeOfDayInISO8601 "05:03:58.02"
Right 05:03:58.02

>>> parseOnly timeOfDayInISO8601 "05:03:58.020"
Right 05:03:58.02

dayInISO8601 :: Parser Day

>>> parseOnly dayInISO8601 "2017-02-01"
Right 2017-02-01

timeZoneInISO8601 :: Parser TimeZone

>>> parseOnly timeZoneInISO8601 "+01:00"
Right +0100

>>> parseOnly timeZoneInISO8601 "+0100"
Right +0100

>>> parseOnly timeZoneInISO8601 "-0100"
Right -0100

>>> parseOnly timeZoneInISO8601 "Z"
Right UTC

utcTimeInISO8601 :: Parser UTCTime

>>> parseOnly utcTimeInISO8601 "2017-02-01T05:03:58+01:00"
Right 2017-02-01 04:03:58 UTC