X-Git-Url: https://git.hcoop.net/hcoop/portal.git/blobdiff_plain/aaa50197ad95b7f5e3aca4293ec4f0201e0f30fc..ba3ce96248d15c011677ec73341784eb6364f64f:/money.sml

diff --git a/money.sml b/money.sml
index d9e14d9..8fa5ed7 100644
--- a/money.sml
+++ b/money.sml
@@ -86,7 +86,7 @@ val mkUserRow' =
      | row => Init.rowError ("listUsers", row)
 
 fun listUsers trn =
-    C.map (getDb ()) mkUserRow' ($`SELECT trn, id, name, rname, bal, joined, app
+    C.map (getDb ()) mkUserRow' ($`SELECT trn, id, name, rname, bal, joined, app, shares, paypal, checkout
 			           FROM WebUser LEFT OUTER JOIN Charge ON usr = id AND trn = ^(C.intToSql trn)
 			           ORDER BY name`)
 
@@ -213,21 +213,35 @@ fun addHostingCharges {trn, cutoff, cost, usage} =
 
 	val (umap, amount) = walkNvs (nvs, SM.empty, #amount tran)
 
-	val payers = Group.groupMembers paying
-	val even = amount / real (length payers)
+	val db = getDb ()
+
+	val shares =
+	    case C.oneRow db ($`SELECT SUM(shares)
+			          FROM WebUser JOIN Membership ON usr = WebUser.id AND grp = ^(C.intToSql paying)`) of
+		[n] => C.intFromSql n
+	      | row => Init.rowError ("Bad addHostingCharges share count result", row)
+
+	val even = amount / real shares
 
-	fun doUser (usr : Init.user, umap)  =
+	fun doUser ([uid, uname, shares], umap)  =
 	    let
+		val uid = C.intFromSql uid
+		val uname = C.stringFromSql uname
+		val shares = C.intFromSql shares
+
 		val (charge, umap) =
-		    case SM.find (umap, #name usr) of
-			NONE => (even, umap)
-		      | SOME extra => (even - extra, #1 (SM.remove (umap, #name usr)))
+		    case SM.find (umap, uname) of
+			NONE => (even * real shares, umap)
+		      | SOME extra => (even * real shares - extra, #1 (SM.remove (umap, uname)))
 	    in
-		addCharge {trn = trn, usr = #id usr, amount = charge};
+		addCharge {trn = trn, usr = uid, amount = charge};
 		umap
 	    end
 
-	val _ = if SM.numItems (foldl doUser umap payers) = 0 then
+	val _ = if SM.numItems (C.fold db doUser umap
+				       ($`SELECT id, name, shares
+					    FROM WebUser JOIN Membership ON usr = WebUser.id AND grp = ^(C.intToSql paying)`))
+		   = 0 then
 		    applyCharges trn
 		else
 		    raise Fail "Usage description contains an unknown username"
@@ -259,4 +273,89 @@ fun costBase amt =
 	[share] => C.realFromSql share
       | row => Init.rowError ("Bad costBase result", row)
 
+val monthlyCost = 900.0
+val graceMonths = 1
+
+val baseDues = 7.0
+
+fun delinquentPledgers () =
+    let
+	fun makeRow [id, name, shares, amount] = {id = C.intFromSql id, name = C.stringFromSql name,
+						  shares = C.intFromSql shares, balance = C.realFromSql amount}
+	  | makeRow row = Init.rowError ("Bad delinquentPledgers", row)
+    in
+	C.map (getDb ()) makeRow ($`SELECT WebUserPaying.id, WebUserPaying.name, shares, amount
+				    FROM WebUserPaying JOIN Balance ON Balance.id = bal
+				    WHERE amount < shares * ^(C.realToSql baseDues) * ^(C.intToSql graceMonths)
+				      AND shares > 1
+				    ORDER BY name`)
+    end
+
+fun resetPledges ids =
+    ignore (C.dml (getDb ()) ($`UPDATE WebUser SET shares = 1 WHERE id IN (^(String.concatWith ", " (List.map C.intToSql ids)))`))
+
+fun freezeworthyPledgers () =
+    let
+	fun makeRow [id, name, amount, j] = {id = C.intFromSql id, name = C.stringFromSql name,
+					     balance = C.realFromSql amount, joinedThisMonth = C.boolFromSql j}
+	  | makeRow row = Init.rowError ("Bad freezeworthyPledgers", row)
+    in
+	C.map (getDb ()) makeRow ($`SELECT WebUserPaying.id, WebUserPaying.name, amount, CURRENT_TIMESTAMP - joined < INTERVAL '1 month'
+				    FROM WebUserPaying JOIN Balance ON Balance.id = bal
+				    WHERE amount >= ^(C.realToSql baseDues) * ^(C.intToSql graceMonths)
+				      AND amount < ^(C.realToSql baseDues) * ^(C.intToSql (graceMonths + 1))
+				    ORDER BY name`)
+    end
+
+fun bootworthyPledgers () =
+    let
+	fun makeRow [id, name, amount, j] = {id = C.intFromSql id, name = C.stringFromSql name,
+					     balance = C.realFromSql amount, joinedThisMonth = C.boolFromSql j}
+	  | makeRow row = Init.rowError ("Bad bootworthyPledgers", row)
+    in
+	C.map (getDb ()) makeRow ($`SELECT WebUserPaying.id, WebUserPaying.name, amount, CURRENT_TIMESTAMP - joined < INTERVAL '1 month'
+				    FROM WebUserPaying JOIN Balance ON Balance.id = bal
+				    WHERE amount < ^(C.realToSql baseDues) * ^(C.intToSql graceMonths)
+				    ORDER BY name`)
+    end
+
+fun billDues {descr, base, date} =
+    let
+	val db = getDb ()
+	val paying =
+	    case Group.groupNameToId "paying" of
+		NONE => raise Fail "No 'paying' group"
+	      | SOME id => id
+
+	val shares =
+	    case C.oneRow db ($`SELECT SUM(shares)
+			          FROM WebUser JOIN Membership ON usr = WebUser.id AND grp = ^(C.intToSql paying)`) of
+		[n] => C.intFromSql n
+	      | row => Init.rowError ("Bad addHostingCharges share count result", row)
+
+	val total = real shares * base
+
+	val give = addTransaction (descr, ~total, date)
+
+	fun doUser [uid, shares]  =
+	    let
+		val uid = C.intFromSql uid
+		val shares = C.intFromSql shares
+	    in
+		addCharge {trn = give, usr = uid, amount = ~(base * real shares)}
+	    end
+	  | doUser r = Init.rowError ("Bad billDues/doUser row", r)
+
+	val receive = addTransaction (descr, total, date)
+
+	val hcoop = valOf (Init.userNameToId "hcoop")
+    in
+	C.app db doUser ($`SELECT id, shares
+			   FROM WebUser JOIN Membership ON usr = WebUser.id AND grp = ^(C.intToSql paying)`);
+	applyCharges give;
+	
+	addCharge {trn = receive, usr = hcoop, amount = total};
+	applyCharges receive
+    end
+
 end