mime-string-0.2: MIME implementation for String's. Contents Index

Codec.MIME.String.Date

Documentation

data FullDate

Constructors FullDate (Maybe DOW) Date Time Instances Read FullDate Show FullDate

data DOW

Constructors Mon Tue Wed Thu Fri Sat Sun Instances Read DOW Show DOW

data Date

Constructors Date Day Month Year Instances Read Date Show Date

type Day = Int

data Month

Constructors Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Instances Read Month Show Month

type Year = Int

data Time

Constructors Time TimeOfDay Zone Instances Read Time Show Time

type Zone = Int

data TimeOfDay

Constructors TimeOfDay Hour Minute (Maybe Second) Instances Read TimeOfDay Show TimeOfDay

type Hour = Int

type Minute = Int

type Second = Int

show_full_date :: FullDate -> String

show_mbox_full_date :: FullDate -> String

get_date :: String -> Maybe FullDate

p_date_time :: Parser Char FullDate

get_current_date :: MonadIO m => m FullDate

epochDate :: FullDate

Produced by Haddock version 0.8