Mercurial > gui

annotate datebox.urs @ 10:0337f88f2efc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Clock
author Adam Chlipala <adam@chlipala.net>
date Fri, 22 Jul 2011 15:40:03 -0400
parents 4385bc6a0d2d
children bbdedfde154e
rev   line source
adam@2 1 type t
adam@2 2
adam@4 3 type date = {Year : int, Month : int, Day : int}
adam@5 4 val date_ord : ord date
adam@5 5 val time : date -> time
adam@4 6
adam@4 7 val create : time -> transaction t
adam@2 8 val render : t -> xbody
adam@4 9 val value : t -> signal date
adam@2 10
adam@2 11 style calendar
adam@2 12 style prev
adam@2 13 style this
adam@2 14 style next
adam@2 15 style weekday
adam@2 16 style curday
adam@2 17 style otherday
adam@4 18 style selday