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

Beginning of OpenidUser
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 12:48:13 -0500
parents
children df2eb629f21a
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/ur/openidUser.urs	Thu Jan 06 12:48:13 2011 -0500
@@ -0,0 +1,34 @@
+functor Make(M: sig
+                 con cols :: {Type}
+                 constraint [Id] ~ cols
+                 (* Extra columns to add to the user database table *)
+
+                 val sessionLifetime : int
+                 (* Number of seconds a session may live *)
+
+                 val afterLogout : url
+                 (* Where to send the user after he logs out *)
+
+                 val secureCookies : bool
+                 (* Should authentication cookies be restricted to SSL connections? *)
+
+                 val association : Openid.association_mode
+                 (* OpenID cryptography preferences *)
+
+                 val realm : option string
+                 (* See end of [Openid] module's documentation for the meaning of realms *)
+             end) : sig
+
+    type user
+    val show_user : show user
+    val inj_user : sql_injectable_prim user
+
+    table user : ([Id = user] ++ M.cols)
+      PRIMARY KEY Id
+
+    val current : transaction (option user)
+
+    val main : (string -> xbody -> transaction page) -> transaction xbody
+    (* Pass in your generic page template; get out the HTML snippet for user management *)
+
+end