remove lib32 gunk

[hcoop/portal.git] / init.sig

diff --git a/init.sig b/init.sig
index 19bad59..0b557de 100644 (file)
--- a/init.sig
+++ b/init.sig
@@ -1,5 +1,7 @@
 signature INIT = sig
     structure C : SQL_CLIENT
+    val nullableFromSql : (C.value -> 'a) -> C.value -> 'a option
+    val nullableToSql : ('a -> string) -> 'a option -> string
 
     val scratchDir : string
     val urlPrefix : string
@@ -11,7 +13,7 @@ signature INIT = sig
     val emailSuffix : string
 
     type user = {id : int, name : string, rname : string, bal : int, joined : C.timestamp,
-                app : int, shares : int}
+                app : int, shares : int, paypal : string option, checkout : string option }
 
     val rowError : string * C.value list -> 'a
 
@@ -35,7 +37,6 @@ signature INIT = sig
     val modUser : user -> unit
     val deleteUser : int -> string
     val byPledge : unit -> user list
-    val unmigratedUsers : unit -> user list
 
     val validUsername : string -> bool
     val userNameToId : string -> int option
@@ -48,8 +49,6 @@ signature INIT = sig
 
     val dateString : unit -> string
 
-    val grandfatherUsers : unit -> unit
-
     type node = {id : int, name : string, descr : string, debian : string}
 
     val listNodes : unit -> node list
@@ -64,4 +63,8 @@ signature INIT = sig
                    {onlyInFirst : string list, onlyInSecond : string list}
     val listUsernames : unit -> string list
     val usersInAfs : unit -> string list
+
+    val searchPaypal : string -> user list
+    val searchCheckout : string -> user list
+    val searchRealName : string -> user list
 end