comparison calendar.urs @ 18:16447dc6a68c

Introduction of multi-parameter type class for gui components
author Ron de Bruijn <rmbruijn@gmail.com>
date Thu, 22 Sep 2011 19:24:01 +0200
parents 8300d5f0dc19
children 554e342665fe
comparison
equal deleted inserted replaced
17:2947170fcfd6 18:16447dc6a68c
18 (* Set the date of the calendar. *) 18 (* Set the date of the calendar. *)
19 19
20 val value : t -> signal date 20 val value : t -> signal date
21 (* Read the date of the calendar. *) 21 (* Read the date of the calendar. *)
22 22
23 val gui_t : Gui.gui t 23 val gui_t : Gui.gui t xbody
24 (* Witness that this is a gui widget. *) 24 (* Witness that this is a gui widget. *)
25 25
26 val create : time -> transaction t 26 val create : time -> transaction t
27 (* Get a basic interactive calendar control widget. *) 27 (* Get a basic interactive calendar control widget. *)
28 28