Fix partiality of 'fillGrid'

swarm-game · Jul 1, 2024 · 6051237 · 6051237
1 parent 7ef6659
commit 6051237
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/swarm-topography/Swarm/Game/Scenario/Topography/Area.hs b/src/swarm-topography/Swarm/Game/Scenario/Topography/Area.hs
@@ -70,13 +70,13 @@ getAreaDimensions cellGrid =
 computeArea :: AreaDimensions -> Int32
 computeArea (AreaDimensions w h) = w * h
 
--- |
--- Warning: size must be nonzero,
--- since 'stimes' is unsafe with value @0@.
 fillGrid :: AreaDimensions -> a -> Grid a
-fillGrid (AreaDimensions w h) =
+fillGrid (AreaDimensions 0 _) _ = EmptyGrid
+fillGrid (AreaDimensions _ 0) _ = EmptyGrid
+fillGrid (AreaDimensions w h) x =
   Grid
     . stimes h
     . pure
     . stimes w
     . pure
+    $ x