Mercurial > gui
annotate datebox.urs @ 5:4385bc6a0d2d
Some Datebox functions related to dates
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 10 Feb 2011 12:39:20 -0500 |
| parents | 377c11586999 |
| children | bbdedfde154e |
| rev | line source |
|---|---|
| adam@2 | 1 type t |
| adam@2 | 2 |
| adam@4 | 3 type date = {Year : int, Month : int, Day : int} |
| adam@5 | 4 val date_ord : ord date |
| adam@5 | 5 val time : date -> time |
| adam@4 | 6 |
| adam@4 | 7 val create : time -> transaction t |
| adam@2 | 8 val render : t -> xbody |
| adam@4 | 9 val value : t -> signal date |
| adam@2 | 10 |
| adam@2 | 11 style calendar |
| adam@2 | 12 style prev |
| adam@2 | 13 style this |
| adam@2 | 14 style next |
| adam@2 | 15 style weekday |
| adam@2 | 16 style curday |
| adam@2 | 17 style otherday |
| adam@4 | 18 style selday |