Mercurial > openid
comparison 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 |
comparison
equal
deleted
inserted
replaced
16:9851bc87b0d7 | 17:df2eb629f21a |
---|---|
1 functor Make(M: sig | 1 functor Make(M: sig |
2 con cols :: {Type} | 2 con cols :: {Type} |
3 constraint [Id] ~ cols | 3 constraint [Id] ~ cols |
4 val folder : folder cols | |
5 val inj : $(map sql_injectable cols) | |
4 (* Extra columns to add to the user database table *) | 6 (* Extra columns to add to the user database table *) |
7 | |
8 type creationState | |
9 type creationData | |
10 val creationState : transaction creationState | |
11 val render : creationState -> xtable | |
12 val tabulate : creationState -> signal creationData | |
13 val choose : sql_table ([Id = string] ++ cols) [Pkey = [Id]] -> creationData -> transaction $cols | |
5 | 14 |
6 val sessionLifetime : int | 15 val sessionLifetime : int |
7 (* Number of seconds a session may live *) | 16 (* Number of seconds a session may live *) |
8 | 17 |
9 val afterLogout : url | 18 val afterLogout : url |
15 val association : Openid.association_mode | 24 val association : Openid.association_mode |
16 (* OpenID cryptography preferences *) | 25 (* OpenID cryptography preferences *) |
17 | 26 |
18 val realm : option string | 27 val realm : option string |
19 (* See end of [Openid] module's documentation for the meaning of realms *) | 28 (* See end of [Openid] module's documentation for the meaning of realms *) |
29 | |
30 val formClass : css_class | |
20 end) : sig | 31 end) : sig |
21 | 32 |
22 type user | 33 type user |
23 val show_user : show user | 34 val show_user : show user |
24 val inj_user : sql_injectable_prim user | 35 val inj_user : sql_injectable_prim user |