Mercurial > openid

comparison src/ur/openidUser.urs @ 51:a984dc1c8954

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge
author Adam Chlipala <adam@chlipala.net>
date Sun, 24 Jul 2011 10:51:35 -0400
parents 328a429dfedb 3f475c6fb168
children
comparison
equal deleted inserted replaced
50:328a429dfedb 51:a984dc1c8954
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
109 (* Like [current], but also resets the expiration time of the user's 109 (* Like [current], but also resets the expiration time of the user's
110 * session, if one is found. *) 110 * session, if one is found. *)
111 111
112 112
113 val main : (string -> xbody -> transaction page) -> transaction {Status : xbody, 113 val main : (string -> xbody -> transaction page) -> transaction {Status : xbody,
114 Other : {Url : url, Xml : xbody}} 114 Other : {Url : option url, Xml : xbody}}
115 115
116 (* 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
117 * management, suitable for, e.g., inclusion in your standard page 117 * management, suitable for, e.g., inclusion in your standard page
118 * 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
119 * 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,
120 * 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",
121 * 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. *)
122 123
123 end 124 end
124 125
125 (* Functor outputs will contain buttons specialized to particular well-known 126 (* Functor outputs will contain buttons specialized to particular well-known
126 * OpenID providers. Use these CSS classes to style those buttons. *) 127 * OpenID providers. Use these CSS classes to style those buttons. *)