Mercurial > gui
view 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 |
line wrap: on
line source
type t type date = {Year : int, Month : int, Day : int} val date_ord : ord date val time : date -> time val create : time -> transaction t val render : t -> xbody val value : t -> signal date style calendar style prev style this style next style weekday style curday style otherday style selday