Mercurial > openid

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New OpenidUser.Make parameter: ready
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 16:46:09 -0500
parents dd8eb53da51b
children e5df3d3554d3
comparison
equal deleted inserted replaced
19:5e03668972ea 20:2342d9baa0df
25 val creationState : transaction creationState 25 val creationState : transaction creationState
26 (* Create some fresh client-side state. *) 26 (* Create some fresh client-side state. *)
27 27
28 val render : creationState -> xtable 28 val render : creationState -> xtable
29 (* Display widgets. *) 29 (* Display widgets. *)
30
31 val ready : creationState -> signal bool
32 (* Is the data ready to send? *)
30 33
31 val tabulate : creationState -> signal creationData 34 val tabulate : creationState -> signal creationData
32 (* Functionalize current state. *) 35 (* Functionalize current state. *)
33 36
34 val choose : sql_table ([Id = string] ++ cols) [Pkey = [Id]] 37 val choose : sql_table ([Id = string] ++ cols) [Pkey = [Id]]