annotate datebox.urs @ 3:8cab48efaff2

Seeking through months with Datebox
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 16:06:31 -0500
parents 33c83ae7c9af
children 377c11586999
rev   line source
adam@2 1 type t
adam@2 2
adam@2 3 val create : transaction t
adam@2 4 val render : t -> xbody
adam@3 5 val value : t -> signal {Year : int, Month : int, Day : int}
adam@2 6
adam@2 7 style calendar
adam@2 8 style prev
adam@2 9 style this
adam@2 10 style next
adam@2 11 style weekday
adam@2 12 style curday
adam@2 13 style otherday