we demand extended measures

Application.hs

@@ -55,6 +55,7 @@ import Handler.Barcode
 import Handler.Transfer
 import Handler.Supplier
 import Handler.SupplierActions
+import Handler.Demand
 
 -- This line actually creates our YesodDispatch instance. It is the second half
 -- of the call to mkYesodData which occurs in Foundation.hs. Please see the

Handler/Buy.hs

@@ -61,8 +61,12 @@ postBuyR uId bId = do
                   setMessageI MsgPurchaseSuccess
                   redirect HomeR
                 True -> do
-                  setMessageI MsgPurchaseDebtful
-                  redirect HomeR
+                  let level = case userBalance user - price of
+                        balance
+                          | balance <= -5000 -> 3
+                          | balance <= -1000 -> 2
+                          | otherwise -> 1
+                  redirect $ DemandR level
         _ -> do
           setMessageI MsgErrorOccured
           redirect HomeR

Handler/Demand.hs

@@ -0,0 +1,26 @@
+--  yammat - Yet Another MateMAT
+--  Copyright (C) 2015  Amedeo Molnár, Astro
+--
+--  This program is free software: you can redistribute it and/or modify
+--  it under the terms of the GNU Affero General Public License as published
+--  by the Free Software Foundation, either version 3 of the License, or
+--  (at your option) any later version.
+--
+--  This program is distributed in the hope that it will be useful,
+--  but WITHOUT ANY WARRANTY; without even the implied warranty of
+--  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+--  GNU Affero General Public License for more details.
+--
+--  You should have received a copy of the GNU Affero General Public License
+--  along with this program.  If not, see <http://www.gnu.org/licenses/>.
+module Handler.Demand where
+
+import Import
+
+getDemandR :: Int -> Handler Html
+getDemandR level = defaultLayout $ do
+  let audio = lookup level $ [1..] `zip` map StaticR
+              [audio_air_alarm_mp3,
+               audio_nuclear_alarm_mp3,
+               audio_alarm_loud_pulsating_mp3]
+  $(widgetFile "demand")

config/routes

@@ -43,3 +43,4 @@
 /supply/#SupplierId/modify	ModifySupplierR		GET POST
 /supply/#SupplierId/digest	SupplierDigestR		GET
 /supply/#SupplierId/delete	DeleteSupplierR		GET
+/demand/#Int                    DemandR                 GET

static/css/main.css

@@ -275,3 +275,9 @@ input[type], button {
 #barcodeContent {
     text-align: center;
 }
+
+#demand-warning {
+    color: red;
+    font-weight: bold;
+    font-size: 150%;
+}

templates/demand.hamlet

@@ -0,0 +1,7 @@
+$doctype 5
+
+<p #demand-warning>
+  _{MsgPurchaseDebtful}
+
+$maybe src <- audio
+  <audio src=@{src} autoplay style="display:hidden">

yammat.cabal

@@ -39,6 +39,7 @@ library
                      Handler.Transfer
                      Handler.Supplier
                      Handler.SupplierActions
+                     Handler.Demand
 
     if flag(dev) || flag(library-only)
         cpp-options:   -DDEVELOPMENT -DHTTP_CLIENT