Data.Time.Format.C

This module provides functions for ANSI C's date and time strings.

ANSI C's ctime(3)/asctime(3) format looks like:

Wdy Mon [D]D HH:MM:SS YYYY

The exact syntax is as follows:

 date-time ::= wday SP month SP day SP time SP year
 wday      ::= "Mon" | "Tue" | "Wed" | "Thu"
             | "Fri" | "Sat" | "Sun"
 month     ::= "Jan" | "Feb" | "Mar" | "Apr"
             | "May" | "Jun" | "Jul" | "Aug"
             | "Sep" | "Oct" | "Nov" | "Dec"
 day       ::= 2DIGIT | SP 1DIGIT
 time      ::= 2DIGIT ':' 2DIGIT [':' 2DIGIT]
 year      ::= 4DIGIT

Documentation

data C

The phantom type for conversions between ANSI C's date and time strings and LocalTime.

>>> convertSuccess (LocalTime (ModifiedJulianDay 49662) (TimeOfDay 8 49 37))
Tagged "Sun Nov  6 08:49:37 1994"

Instances

ConvertAttempt LocalTime (Tagged C Ascii)

ConvertAttempt LocalTime (Tagged C AsciiBuilder)

ConvertSuccess LocalTime (Tagged C Ascii)

ConvertSuccess LocalTime (Tagged C AsciiBuilder)

ConvertAttempt (Tagged C Ascii) LocalTime

c :: Proxy C

The proxy for conversions between ANSI C's date and time strings and LocalTime.

cDateAndTime :: Parser LocalTime

Parse an ANSI C's date and time string.