diff src/ur/openidUser.urs @ 20:2342d9baa0df

New OpenidUser.Make parameter: ready
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 16:46:09 -0500
parents dd8eb53da51b
children e5df3d3554d3
line wrap: on
line diff
--- a/src/ur/openidUser.urs	Thu Jan 06 15:25:11 2011 -0500
+++ b/src/ur/openidUser.urs	Thu Jan 06 16:46:09 2011 -0500
@@ -28,6 +28,9 @@
                  val render : creationState -> xtable
                  (* Display widgets. *)
 
+                 val ready : creationState -> signal bool
+                 (* Is the data ready to send? *)
+
                  val tabulate : creationState -> signal creationData
                  (* Functionalize current state. *)