Mercurial > gui

annotate 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
rev   line source
adam@2 1 type t
adam@2 2
adam@4 3 type date = {Year : int, Month : int, Day : int}
adam@4 4
adam@4 5 val create : time -> transaction t
adam@2 6 val render : t -> xbody
adam@4 7 val value : t -> signal date
adam@2 8
adam@2 9 style calendar
adam@2 10 style prev
adam@2 11 style this
adam@2 12 style next
adam@2 13 style weekday
adam@2 14 style curday
adam@2 15 style otherday
adam@4 16 style selday