annotate datebox.urs @ 7:48a4180171b0

Shifted some more generic theme navigation code to the library. Also generalized formatting options a bit for popupNav.
author Karn Kallio <kkallio@eka>
date Fri, 06 May 2011 23:00:22 -0430
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