view datebox.urs @ 12:bbdedfde154e

Add a calendar control.
author Karn Kallio <kkallio@eka>
date Thu, 28 Jul 2011 10:24:34 -0430
parents 4385bc6a0d2d
children 0827320b0f04
line wrap: on
line source
class givesDates

type t
type calendarCtl

val givesDates_t : givesDates t
val givesDates_calendarCtl : givesDates calendarCtl

type date = {Year : int, Month : int, Day : int}
val date_ord : ord date
val time : date -> time
val date : time -> date

val create : time -> transaction t
val render : t -> xbody

val createCalendarCtl : time -> transaction calendarCtl
val renderCalendarCtl : (date -> transaction unit) -> calendarCtl -> xbody
val setCalendarCtl : (date -> transaction unit) -> calendarCtl -> date -> transaction unit

val value : t ::: Type -> givesDates t -> t -> signal date

style calendar
style prev
style this
style next
style weekday
style curday
style otherday
style selday