Mercurial > openid

comparison src/ur/openidUser.urs @ 16:9851bc87b0d7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Beginning of OpenidUser
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 12:48:13 -0500
parents
children df2eb629f21a
comparison
equal deleted inserted replaced
15:35bc4da563dd 16:9851bc87b0d7
1 functor Make(M: sig
2 con cols :: {Type}
3 constraint [Id] ~ cols
4 (* Extra columns to add to the user database table *)
5
6 val sessionLifetime : int
7 (* Number of seconds a session may live *)
8
9 val afterLogout : url
10 (* Where to send the user after he logs out *)
11
12 val secureCookies : bool
13 (* Should authentication cookies be restricted to SSL connections? *)
14
15 val association : Openid.association_mode
16 (* OpenID cryptography preferences *)
17
18 val realm : option string
19 (* See end of [Openid] module's documentation for the meaning of realms *)
20 end) : sig
21
22 type user
23 val show_user : show user
24 val inj_user : sql_injectable_prim user
25
26 table user : ([Id = user] ++ M.cols)
27 PRIMARY KEY Id
28
29 val current : transaction (option user)
30
31 val main : (string -> xbody -> transaction page) -> transaction xbody
32 (* Pass in your generic page template; get out the HTML snippet for user management *)
33
34 end