Mercurial > openid
diff src/ur/openidUser.urs @ 17:df2eb629f21a
Successfully created an account
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 06 Jan 2011 14:42:37 -0500 |
parents | 9851bc87b0d7 |
children | dd8eb53da51b |
line wrap: on
line diff
--- a/src/ur/openidUser.urs Thu Jan 06 12:48:13 2011 -0500 +++ b/src/ur/openidUser.urs Thu Jan 06 14:42:37 2011 -0500 @@ -1,8 +1,17 @@ functor Make(M: sig con cols :: {Type} constraint [Id] ~ cols + val folder : folder cols + val inj : $(map sql_injectable cols) (* Extra columns to add to the user database table *) + type creationState + type creationData + val creationState : transaction creationState + val render : creationState -> xtable + val tabulate : creationState -> signal creationData + val choose : sql_table ([Id = string] ++ cols) [Pkey = [Id]] -> creationData -> transaction $cols + val sessionLifetime : int (* Number of seconds a session may live *) @@ -17,6 +26,8 @@ val realm : option string (* See end of [Openid] module's documentation for the meaning of realms *) + + val formClass : css_class end) : sig type user