mime-string-0.4: MIME implementation for String's.

Codec.MIME.String.Date

Documentation

data FullDate Source

Constructors

FullDate (Maybe DOW) Date Time

Instances

Read FullDate
Show FullDate

data DOW Source

Constructors

Mon
Tue
Wed
Thu
Fri
Sat
Sun

Instances

Read DOW
Show DOW

data Date Source

Constructors

Date Day Month Year

Instances

Read Date
Show Date

type Day = Int Source

data Month Source

Constructors

Jan
Feb
Mar
Apr
May
Jun
Jul
Aug
Sep
Oct
Nov
Dec

Instances

Read Month
Show Month

type Year = Int Source

data Time Source

Constructors

Time TimeOfDay Zone

Instances

Read Time
Show Time

type Zone = Int Source

data TimeOfDay Source

Constructors

TimeOfDay Hour Minute (Maybe Second)

Instances

Read TimeOfDay
Show TimeOfDay

type Hour = Int Source

type Minute = Int Source

type Second = Int Source

show_full_date :: FullDate -> String Source

show_mbox_full_date :: FullDate -> String Source

get_date :: String -> Maybe FullDate Source

p_date_time :: Parser Char FullDate Source

get_current_date :: MonadIO m => m FullDate Source

epochDate :: FullDate Source