Mercurial > gui
comparison 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 |
comparison
equal
deleted
inserted
replaced
2:33c83ae7c9af | 3:8cab48efaff2 |
---|---|
1 type t | 1 type t |
2 | 2 |
3 val create : transaction t | 3 val create : transaction t |
4 val render : t -> xbody | 4 val render : t -> xbody |
5 val value : t -> signal time | 5 val value : t -> signal {Year : int, Month : int, Day : int} |
6 | 6 |
7 style calendar | 7 style calendar |
8 style prev | 8 style prev |
9 style this | 9 style this |
10 style next | 10 style next |