kkallio@12: class givesDates
kkallio@12: 
adam@2: type t
kkallio@12: type calendarCtl
kkallio@12: 
kkallio@12: val givesDates_t : givesDates t
kkallio@12: val givesDates_calendarCtl : givesDates calendarCtl
adam@2: 
adam@4: type date = {Year : int, Month : int, Day : int}
adam@5: val date_ord : ord date
adam@5: val time : date -> time
kkallio@12: val date : time -> date
adam@4: 
adam@4: val create : time -> transaction t
adam@2: val render : t -> xbody
kkallio@12: 
kkallio@12: val createCalendarCtl : time -> transaction calendarCtl
kkallio@12: val renderCalendarCtl : (date -> transaction unit) -> calendarCtl -> xbody
kkallio@12: val setCalendarCtl : (date -> transaction unit) -> calendarCtl -> date -> transaction unit
kkallio@12: 
kkallio@12: val value : t ::: Type -> givesDates t -> t -> signal date
adam@2: 
adam@2: style calendar
adam@2: style prev
adam@2: style this
adam@2: style next
adam@2: style weekday
adam@2: style curday
adam@2: style otherday
adam@4: style selday