Mercurial > gui
annotate datebox.urs @ 3:8cab48efaff2
Seeking through months with Datebox
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 08 Feb 2011 16:06:31 -0500 |
parents | 33c83ae7c9af |
children | 377c11586999 |
rev | line source |
---|---|
adam@2 | 1 type t |
adam@2 | 2 |
adam@2 | 3 val create : transaction t |
adam@2 | 4 val render : t -> xbody |
adam@3 | 5 val value : t -> signal {Year : int, Month : int, Day : int} |
adam@2 | 6 |
adam@2 | 7 style calendar |
adam@2 | 8 style prev |
adam@2 | 9 style this |
adam@2 | 10 style next |
adam@2 | 11 style weekday |
adam@2 | 12 style curday |
adam@2 | 13 style otherday |