Mercurial > gui
comparison 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 |
comparison
equal
deleted
inserted
replaced
4:377c11586999 | 5:4385bc6a0d2d |
---|---|
1 type t | 1 type t |
2 | 2 |
3 type date = {Year : int, Month : int, Day : int} | 3 type date = {Year : int, Month : int, Day : int} |
4 val date_ord : ord date | |
5 val time : date -> time | |
4 | 6 |
5 val create : time -> transaction t | 7 val create : time -> transaction t |
6 val render : t -> xbody | 8 val render : t -> xbody |
7 val value : t -> signal date | 9 val value : t -> signal date |
8 | 10 |