2012-11-14 05:30:22 +00:00
|
|
|
|
|
|
|
module Date where
|
|
|
|
|
2013-02-22 23:19:40 +00:00
|
|
|
import Native.Date
|
|
|
|
|
2013-02-21 23:33:53 +00:00
|
|
|
data Day = Mon | Tue | Wed | Thu | Fri | Sat | Sun
|
2012-11-14 05:30:22 +00:00
|
|
|
|
|
|
|
data Month = Jan | Feb | Mar | Apr
|
|
|
|
| May | Jun | Jul | Aug
|
|
|
|
| Sep | Oct | Nov | Dec
|
2013-02-21 23:33:53 +00:00
|
|
|
|
|
|
|
|
|
|
|
read : String -> Date
|
|
|
|
read = Native.Date.read
|
|
|
|
|
|
|
|
toTime : Date -> Time
|
|
|
|
toTime = Native.Date.toTime
|
|
|
|
|
|
|
|
|
|
|
|
year : Date -> Int
|
|
|
|
year = Native.Date.year
|
|
|
|
|
|
|
|
month : Date -> Month
|
|
|
|
month = Native.Date.month
|
|
|
|
|
|
|
|
day : Date -> Int
|
|
|
|
day = Native.Date.day
|
|
|
|
|
|
|
|
dayOfWeek : Date -> Day
|
|
|
|
dayOfWeek = Native.Date.dayOfWeek
|
|
|
|
|
|
|
|
hour : Date -> Int
|
|
|
|
hour = Native.Date.hour
|
|
|
|
|
|
|
|
minute : Date -> Int
|
|
|
|
minute = Native.Date.minute
|
|
|
|
|
|
|
|
second : Date -> Int
|
|
|
|
second = Native.Date.second
|