Mercurial > gui

comparison datebox.urs @ 4:377c11586999

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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