From 9119534dff95f7d9783ed5fcc69de81f0f4dd016 Mon Sep 17 00:00:00 2001
From: Tissevert <tissevert+devel@marvid.fr>
Date: Sun, 14 Apr 2019 19:15:34 +0200
Subject: [PATCH] Implement full schedule with warnings for out of stocks

---
 src/Schedule.hs | 87 +++++++++++++++++++++++++++++++++++++------------
 src/YAML.hs     | 24 +++++++-------
 2 files changed, 78 insertions(+), 33 deletions(-)

diff --git a/src/Schedule.hs b/src/Schedule.hs
index 1fdad6d..221f41b 100644
--- a/src/Schedule.hs
+++ b/src/Schedule.hs
@@ -1,35 +1,80 @@
 {-# LANGUAGE NamedFieldPuns #-}
+{-# LANGUAGE FlexibleInstances #-}
 module Schedule (
     schedule
   ) where
 
-import Data.Map ((!), elems, mergeWithKey)
+import Data.Map ((!), Map, elems, lookupMin, mapWithKey, partition, size, toList)
+import qualified Data.Map as Map (filter)
 import Data.Time (Day, addDays)
-import Medicine (Medicine(..), Pharmacy)
+import Medicine (Medicine(..), MedicineName, Pharmacy)
 import Timeline (State(..))
 import YAML ((.:), Value(..), YAML(..))
 
+data ScheduleType = NextBox | Provision | OutOfStock deriving (Eq, Show)
+
+instance YAML ScheduleType where
+  toYAML NextBox = Simple "start a new box"
+  toYAML Provision = Simple "go to the pharmacy get some more"
+  toYAML OutOfStock = Simple "out of it"
+
 data Schedule = Schedule {
-      daysLeft :: Integer
-    , provisionDate :: Maybe Day
-  }
+      days :: Integer
+    , date :: Day
+    , scheduleType :: ScheduleType
+  } deriving (Show)
 
-instance YAML Schedule where
-  toYAML (Schedule {daysLeft, provisionDate = Nothing}) = Object [
-        "Warning" .: "Stock lower than the minimum security amount defined. Go now !"
-      , "Days left" .: daysLeft
-    ]
-  toYAML (Schedule {daysLeft, provisionDate = Just day}) = Object [
-        "Days left" .: daysLeft
-      , "Provision on" .: day
-    ]
+instance YAML (Map MedicineName Schedule) where
+  toYAML schedules = Object $ outOfStocks ++ nextDay
+    where
+      (urgent, normal) = partition ((== OutOfStock) . scheduleType) schedules
+      outOfStocks =
+        if size urgent > 0
+        then ["Warning ! Out of" .: (Object . timing <$> urgent)]
+        else []
+      nextDay = maybe [] (scheduleNext normal) (snd <$> lookupMin normal)
 
-schedule :: Pharmacy -> State -> Schedule
-schedule pharmacy (State {day, stock, consumptionRate}) =
-  Schedule {daysLeft , provisionDate = if daysLeft > 0 then Just $ daysLeft `addDays` day else Nothing}
+scheduleNext :: Map MedicineName Schedule -> Schedule -> [(String, Value)]
+scheduleNext schedules aSchedule = ["Schedule" .: (Object $
+      timing aSchedule
+    ++ ["TODO" .: (scheduleType <$> schedules)]
+  )]
+
+timing :: Schedule -> [(String, Value)]
+timing aSchedule =
+  ["On" .: date aSchedule, "In" .: (show (days aSchedule) ++ " days")]
+
+zipWithKey :: Ord k => (k -> a -> b -> c) -> Map k a -> Map k b -> Map k c
+zipWithKey f as bs =
+  mapWithKey (\k -> f k $ as ! k) bs
+
+scheduleByMedicine :: Pharmacy -> Day -> MedicineName -> Float -> Float -> Schedule
+scheduleByMedicine pharmacy day medicineName stockLeft rate =
+  let (scheduleType, amount) = typeAndAmount stockLeft minStock leftInBox in
+  let days = truncate (amount / rate) in
+  Schedule {days, date = days `addDays` day, scheduleType}
   where
-    stockInDays medicineName stockLeft rate =
-      Just $ (stockLeft - minStock (pharmacy ! medicineName)) / rate
-    daysLeftByMedicine = mergeWithKey stockInDays id id stock consumptionRate
-    daysLeft = truncate . minimum $ elems daysLeftByMedicine
+    (Medicine {minStock, content}) = pharmacy ! medicineName
+    truncateF = fromInteger . truncate
+    leftInBox = content - (truncateF (content / stockLeft) * stockLeft)
 
+typeAndAmount :: Float -> Float -> Float -> (ScheduleType, Float)
+typeAndAmount stockLeft minStock leftInBox =
+  if secureLeft > 0
+  then
+    if secureLeft < leftInBox
+    then (Provision, secureLeft)
+    else (NextBox, leftInBox)
+  else (OutOfStock, stockLeft)
+  where
+    secureLeft = stockLeft - minStock
+
+schedule :: Pharmacy -> State -> Map MedicineName Schedule
+schedule pharmacy (State {day, stock, consumptionRate}) =
+  Map.filter keep schedules
+  where
+    schedules =
+      zipWithKey (scheduleByMedicine pharmacy day) stock consumptionRate
+    minDays = minimum . elems $ days <$> schedules
+    keep aSchedule =
+      days aSchedule == minDays || scheduleType aSchedule == OutOfStock
diff --git a/src/YAML.hs b/src/YAML.hs
index 4f062a5..1fa2f2b 100644
--- a/src/YAML.hs
+++ b/src/YAML.hs
@@ -11,7 +11,7 @@ module YAML (
 import Data.List (intercalate)
 import Data.Map (Map, toList)
 
-data Value = Simple String | Array [Value] | Object [(String, Value)]
+data Value = Simple String | Array [Value] | Object [(String, Value)] deriving (Show)
 
 class YAML a where
   toYAML :: a -> Value
@@ -19,9 +19,6 @@ class YAML a where
 instance YAML Value where
   toYAML = id
 
-instance Show Value where
-  show = encode
-
 instance {-# OVERLAPPABLE #-} YAML a => YAML [a] where
   toYAML = Array . fmap toYAML
 
@@ -35,15 +32,18 @@ instance YAML String where
   toYAML = Simple
 
 encode :: YAML a => a -> String
-encode = encodeValue . toYAML
+encode = intercalate "\n" . getLines . toYAML
   where
-    encodeValue = intercalate "\n" . getLines
-    getLines (Simple s) = [s]
-    getLines (Array l) = fmap (("- " ++) . concat . getLines) l
-    getLines (Object m) = fmap keyVal m
-    keyVal (k, (Simple s)) = k ++ ": " ++ s
-    keyVal (k, v) = intercalate "\n" $ (k ++ ":") : (indent <$> getLines v)
-    indent = ('\t' :)
+    getLines (Simple s) = lines s
+    getLines (Array l) = concat $ (dashFirst . getLines) <$> l
+    getLines (Object m) = concat $ keyVal <$> m
+    dashFirst [] = []
+    dashFirst (l:ls) = ("- " ++ l) : (("  " ++) <$> ls)
+    keyVal (k, Simple s) =
+      case lines s of
+        [v] -> [k ++ ": " ++ v]
+        l -> (k ++ ": |") : (('\t' :) <$> l)
+    keyVal (k, v) = (k ++ ":") : (('\t' :) <$> getLines v)
 
 (.:) :: YAML a => String -> a -> (String, Value)
 (.:) k v = (k, toYAML v)