Mercurial > gui
comparison datebox.urs @ 4:377c11586999
Fully-functional Datebox
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 08 Feb 2011 16:52:29 -0500 |
parents | 8cab48efaff2 |
children | 4385bc6a0d2d |
comparison
equal
deleted
inserted
replaced
3:8cab48efaff2 | 4:377c11586999 |
---|---|
1 type t | 1 type t |
2 | 2 |
3 val create : transaction t | 3 type date = {Year : int, Month : int, Day : int} |
4 | |
5 val create : time -> transaction t | |
4 val render : t -> xbody | 6 val render : t -> xbody |
5 val value : t -> signal {Year : int, Month : int, Day : int} | 7 val value : t -> signal date |
6 | 8 |
7 style calendar | 9 style calendar |
8 style prev | 10 style prev |
9 style this | 11 style this |
10 style next | 12 style next |
11 style weekday | 13 style weekday |
12 style curday | 14 style curday |
13 style otherday | 15 style otherday |
16 style selday |