X-Git-Url: http://git.cielonegro.org/gitweb.cgi?p=time-http.git;a=blobdiff_plain;f=Data%2FTime%2FAsctime.hs;h=449fb12c9d5f339f43be966388591463e67612cb;hp=0da530571a329787d82c91136f668b457f51febf;hb=24bf3b8;hpb=c6072393ea3d4d19639f410d2010b4815baad9e7 diff --git a/Data/Time/Asctime.hs b/Data/Time/Asctime.hs index 0da5305..449fb12 100644 --- a/Data/Time/Asctime.hs +++ b/Data/Time/Asctime.hs @@ -1,4 +1,7 @@ --- |This module is for ANSI C's asctime() format. +{-# LANGUAGE + UnicodeSyntax + #-} +-- |This module provides functions for ANSI C's asctime() format. -- -- ANSI C's asctime() format looks like: -- @@ -6,7 +9,7 @@ -- -- The exact syntax is as follows: -- --- > date-time ::= wday ' ' month ' ' day ' ' time ' ' year +-- > date-time ::= wday SP month SP day SP time SP year -- > wday ::= "Mon" | "Tue" | "Wed" | "Thu" -- > | "Fri" | "Sat" | "Sun" -- > month ::= "Jan" | "Feb" | "Mar" | "Apr" @@ -19,47 +22,31 @@ -- As you can see, it has no time zone info. "Data.Time.HTTP" will -- treat it as UTC. module Data.Time.Asctime - ( format - , parse + ( -- * Formatting + toAscii + , toAsciiBuilder + + -- * Parsing + , fromAscii + , asctime ) where - -import qualified Text.Parsec as P - +import Data.Ascii (Ascii) +import qualified Data.Ascii as A +import qualified Data.Attoparsec.Char8 as P import Data.Time -import Data.Time.Calendar.WeekDate -import Data.Time.HTTP.Common -import Data.Time.Asctime.Parsec +import Data.Time.Asctime.Internal +import Prelude.Unicode --- |Format a 'LocalTime' in the ANSI C's asctime() way. -format :: LocalTime -> String -format localTime - = let (year, month, day) = toGregorian (localDay localTime) - (_, _, week) = toWeekDate (localDay localTime) - timeOfDay = localTimeOfDay localTime - in - concat [ shortWeekDayName week - , ", " - , shortMonthName month - , " " - , show2 day - , " " - , show2 (todHour timeOfDay) - , ":" - , show2 (todMin timeOfDay) - , ":" - , show2 (floor (todSec timeOfDay)) - , " " - , show4 year - ] +-- |Convert a 'LocalTime' to ANSI C's @asctime()@ string. +toAscii ∷ LocalTime → Ascii +toAscii = A.fromAsciiBuilder ∘ toAsciiBuilder --- |Parse an ANSI C's asctime() format to 'LocalTime'. When the string --- can't be parsed, it returns 'Nothing'. -parse :: String -> Maybe LocalTime -parse src = case P.parse p "" src of - Right zt -> Just zt - Left _ -> Nothing +-- |Parse an ANSI C's @asctime()@ string. When the string can't be +-- parsed, it returns @'Left' err@. +fromAscii ∷ Ascii → Either String LocalTime +fromAscii = P.parseOnly p ∘ A.toByteString where - p = do zt <- asctime - _ <- P.eof + p = do zt ← asctime + P.endOfInput return zt