view datebox.urs @ 20:554e342665fe

Add a new parameter to Gui.gui
author Adam Chlipala <adam@chlipala.net>
date Sat, 24 Sep 2011 15:47:00 -0400
parents 3a303df9ae92
children 5905b56e0cd9
line wrap: on
line source
type t

(* The type of dateboxes, which are input elements allowing the user to select a
 * date from a popup calendar. *)

type date = {Year : int, Month : int, Day : int}
val date_eq : eq date
val date_ord : ord date
val time : date -> time
val date : time -> date
(* Type of dates and some useful utility functions. *)

val create : time -> transaction t
(* Get a datebox initially set to the given time. *)

val onChange : t -> (date -> transaction {}) -> transaction {}
(* Add an action to be run when the date changes. *)

val set : t -> date -> transaction {}
(* Call this to change the selected date. *)

val value : t -> signal date
(* Extract the current date value. *)

val gui_t : Gui.gui t []
(* Draws the datebox as a piece of xml. *)