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
- data C
Documentation
The phantom type for conversions between ANSI C's date and time
strings and LocalTime
.
>>>
convertSuccess (Tagged (LocalTime (ModifiedJulianDay 49662) (TimeOfDay 8 49 37)) :: Tagged C LocalTime)
"Sun Nov 6 08:49:37 1994"
ConvertAttempt Ascii (Tagged C LocalTime) | |
Default (Parser (Tagged C LocalTime)) | Parse an ANSI C's date and time string. |
ConvertSuccess (Tagged C LocalTime) AsciiBuilder | |
ConvertSuccess (Tagged C LocalTime) Ascii | |
ConvertAttempt (Tagged C LocalTime) AsciiBuilder | |
ConvertAttempt (Tagged C LocalTime) Ascii |