assignment-7/DateExtensions.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

definition module DateExtensions

import iTasks.Extensions.DateTime

:: Day = Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday

derive class iTask Day
instance toString Day

addTime :: Time DateTime -> DateTime

nextHour :: DateTime -> DateTime
nextDay :: (Date -> Date)

dayOfWeek :: Date -> Day

previous :: Day Date -> Date