Mercurial > openid

comparison src/ur/openidUser.urs @ 56:c41d3ac0958b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge from upstream.
author Karn Kallio <kkallio@eka>
date Sun, 24 Jul 2011 13:03:11 -0430
parents a984dc1c8954
children
comparison
equal deleted inserted replaced
55:1ceea714b3b5 56:c41d3ac0958b
13 signature CTLDISPLAY = sig 13 signature CTLDISPLAY = sig
14 14
15 val formatUser : xbody -> xbody 15 val formatUser : xbody -> xbody
16 (* Format the display of the logged on user *) 16 (* Format the display of the logged on user *)
17 17
18 val formatLogout : url -> xbody 18 val formatLogout : ($([]) -> transaction page) -> xbody
19 (* Format the logout link *) 19 (* Format the logout button *)
20 20
21 val formatSignup : url -> xbody 21 val formatSignup : url -> xbody
22 (* Format the signup link *) 22 (* Format the signup link *)
23 23
24 val formatLogon : ({User : string} -> transaction page) -> xbody 24 val formatLogon : ({User : string} -> transaction page) -> xbody
103 PRIMARY KEY Id 103 PRIMARY KEY Id
104 104
105 val current : transaction (option user) 105 val current : transaction (option user)
106 (* Figure out which, if any, user is logged in on this connection. *) 106 (* Figure out which, if any, user is logged in on this connection. *)
107 107
108 val renew : transaction (option user)
109 (* Like [current], but also resets the expiration time of the user's
110 * session, if one is found. *)
111
108 112
109 val main : (string -> xbody -> transaction page) -> transaction {Status : xbody, 113 val main : (string -> xbody -> transaction page) -> transaction {Status : xbody,
110 Other : {Url : url, Xml : xbody}} 114 Other : {Url : option url, Xml : xbody}}
111 115
112 (* Pass in your generic page template; get out the HTML snippet for user 116 (* Pass in your generic page template; get out the HTML snippet for user
113 * management, suitable for, e.g., inclusion in your standard page 117 * management, suitable for, e.g., inclusion in your standard page
114 * header. The output gives a "status" chunk, which will either be a login 118 * header. The output gives a "status" chunk, which will either be a login
115 * form or a message about which user is logged in; and an "other" chunk, 119 * form or a message about which user is logged in; and an "other" chunk,
116 * which will be a log out or sign up link. In the case "other", the link 120 * which will be a log out button or sign up link. In the case of "other",
117 * itself is also provided for cases when one format is not enough. *) 121 * the link itself (if available) is also provided for cases when one
122 * format is not enough. *)
118 123
119 end 124 end
120 125
121 (* Functor outputs will contain buttons specialized to particular well-known 126 (* Functor outputs will contain buttons specialized to particular well-known
122 * OpenID providers. Use these CSS classes to style those buttons. *) 127 * OpenID providers. Use these CSS classes to style those buttons. *)