Sim.hs

   1 module Sim ( initSimSpace, testSim, physStep, updateWaterChunk, validDirects ) where
   2
   3 import Debug.Trace
   4 import           Data.Vector ((!), (//))
   5 import qualified Data.Vector as V
   6
   7 data Simulation = Simulation
   8     { simSpace          :: V.Vector ChunkData
   9     , simW              :: Int
  10     , simH              :: Int
  11     } deriving (Show)
  12
  13 data ChunkType = Air
  14     | Water
  15     | Wall deriving (Show, Enum)
  16
  17 data ChunkData = ChunkData
  18     { chunkType         :: ChunkType
  19     } deriving (Show)
  20
  21 -- vec accessors
  22 simGet Simulation{simSpace=s,simW=w} x y = s ! (y*w+x)
  23 simSet sim@Simulation{simSpace=s,simW=w,simH=h} c x y = sim { simSpace = (s // [(y*w+x,c)]) }
  24 simGetChunkType sim x y = chunkType $ simGet sim x y
  25
  26 initSimSpace x y = Simulation
  27     { simSpace = V.replicate (y*x) ChunkData { chunkType=Air }
  28     , simW = x
  29     , simH = y
  30     }
  31
  32 testSim = simSet (initSimSpace 3 3) (ChunkData Water) 1 1
  33
  34 physStep sim@Simulation{simW=w,simH=h} = _physStep [(x, y) | x <- [0..w-1], y <- [0..h-1]] sim sim
  35 -- _physStep grid acc sim@Simulation{simSpace=s,simW=w,simH=h} | trace ("" ++ show acc) False = undefined
  36 _physStep grid acc sim@Simulation{simSpace=s,simW=w,simH=h} =
  37     if null grid then acc
  38     else _physStep (tail grid) next sim
  39     where x = fst $ head grid
  40           y = snd $ head grid
  41           valid = validDirects x y w h
  42           next = case simGetChunkType sim x y of
  43               Water -> updateWaterChunk x y valid acc
  44               _ -> acc
  45
  46 -- takes in list of valid chunks, as well as the sim to modify
  47 updateWaterChunk x y valid sim =
  48     -- if the chunk below is free, fall straight down
  49     if elem (0,-1) valid && fromEnum (simGetChunkType sim x (y-1)) == fromEnum Air
  50         then
  51             let moved = simSet sim ChunkData { chunkType=Air } x y
  52             in simSet moved ChunkData { chunkType=Water } x (y-1)
  53     else if elem (-1,-1) valid && fromEnum (simGetChunkType sim (x-1) (y-1)) == fromEnum Air
  54         then
  55             let moved = simSet sim ChunkData { chunkType=Air } x y
  56             in simSet moved ChunkData { chunkType=Water } (x-1) (y-1)
  57     else if elem (1,-1) valid && fromEnum (simGetChunkType sim (x+1) (y-1)) == fromEnum Air
  58         then
  59             let moved = simSet sim ChunkData { chunkType=Air } x y
  60             in simSet moved ChunkData { chunkType=Water } (x+1) (y-1)
  61     -- stay put
  62     else sim
  63
  64 -- gets chunks around a given chunk that are inside grid
  65 validDirects x y w h = filter
  66     (\q -> 0 <= (fst q) && (fst q) < w && (snd q) <= 0 && (snd q) < h)
  67     [(a-x,b-y) | a <- [x-1..x+1], b <- [y-1..y+1], not (a==x && b==y)]
  68