Mercurial > openid

comparison src/ur/openidUser.urs @ 17:df2eb629f21a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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