1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
|
module Game.Map
( Map (..),
Object (..),
objects,
totalBatteries,
load,
render,
isBlocked,
isPlayer,
Viewport (..),
viewport,
)
where
import Control.Monad
import Data.Maybe (mapMaybe)
import qualified Game.Utils as U
import SDL (($=))
import qualified SDL
import Text.JSON
import Text.JSON.Types
data Tileset = Tileset
{ cols :: Int,
width :: Int,
height :: Int,
firstGid :: Int
}
deriving (Show)
data Layer
= TileLayer
{name :: String, tiles :: [Int]}
| ObjectLayer
{name :: String, objects :: [Object]}
deriving (Show)
-- | The object types in the map.
data Object
= PlayerEntity Int Int
| BatteryEntity Int Int
| SlimeEntity Int Int
| RobotEntity Int Int
deriving (Show, Eq, Ord)
data JsonMapData = JsonMapData
{ width :: Int,
height :: Int,
tileset :: Tileset,
layers :: [Layer]
}
deriving (Show)
instance JSON Tileset where
showJSON = undefined
readJSON (JSArray [JSObject obj]) = do
Tileset
<$> valFromObj "columns" obj
<*> valFromObj "tilewidth" obj
<*> valFromObj "tileheight" obj
<*> valFromObj "firstgid" obj
readJSON _ = mzero
instance JSON Layer where
showJSON = undefined
readJSON (JSObject obj) =
case get_field obj "type" of
Just "tilelayer" ->
TileLayer <$> valFromObj "name" obj <*> valFromObj "data" obj
Just "objectgroup" ->
ObjectLayer <$> valFromObj "name" obj <*> valFromObj "objects" obj
_ -> Error "unsupported layer type"
readJSON _ = mzero
instance JSON Object where
showJSON = undefined
readJSON (JSObject obj) =
case get_field obj "name" of
Just "Player" ->
PlayerEntity <$> valFromObj "x" obj <*> valFromObj "y" obj
Just "Battery" ->
BatteryEntity <$> valFromObj "x" obj <*> valFromObj "y" obj
Just "Slime" ->
SlimeEntity <$> valFromObj "x" obj <*> valFromObj "y" obj
Just "Robot" ->
RobotEntity <$> valFromObj "x" obj <*> valFromObj "y" obj
Just (JSString (JSONString s)) -> Error $ "unsupported entity " ++ show s
e -> Error $ "unsupported entity in " ++ show e
readJSON _ = mzero
instance JSON JsonMapData where
showJSON = undefined
readJSON (JSObject obj) =
JsonMapData
<$> valFromObj "width" obj
<*> valFromObj "height" obj
<*> valFromObj "tilesets" obj
<*> valFromObj "layers" obj
readJSON _ = mzero
data MapData = MapData
{ width :: Int,
height :: Int,
tileset :: Tileset,
tileLayers :: [[Int]],
blocked :: [Int],
objects :: [Object]
}
deriving (Show)
data Viewport = Viewport Int Int Int Int
data Map = Map MapData SDL.Texture
-- | Loads a map from a JSON file.
load :: String -> SDL.Texture -> IO Map
load filename tex = do
d <- readFile filename
case decode d :: Result JsonMapData of
Ok s -> do
let tileLayers = mapMaybe (filterTileLayer (\l -> l.name /= "Blocked")) s.layers
blockedLayers = mapMaybe (filterTileLayer (\l -> l.name == "Blocked")) s.layers
blockedLayer <- case blockedLayers of
[l] -> pure l
xs -> error $ "A single \"Blocked\" layer expected, " ++ show (length xs) ++ " found"
pure $
Map
MapData
{ width = s.width,
height = s.height,
tileset = s.tileset,
tileLayers = tileLayers,
blocked = blockedLayer,
objects = concat $ mapMaybe filterObjectLayer s.layers
}
tex
Error e -> error e
where
filterTileLayer :: (Layer -> Bool) -> Layer -> Maybe [Int]
filterTileLayer f l = case l of
TileLayer _ tiles -> if f l then Just tiles else Nothing
_ -> Nothing
filterObjectLayer :: Layer -> Maybe [Object]
filterObjectLayer l = case l of
ObjectLayer _ objs -> Just objs
_ -> Nothing
-- | Check for collision detection vs "Blocked" TileLayer.
-- x and y in pixels.
isBlocked :: Map -> Int -> Int -> Bool
isBlocked (Map (MapData mapWidth _ ts _ blocked _) _) x y =
blocked !! ((x `div` ts.width) + (y `div` ts.height) * mapWidth) >= ts.firstGid
-- | Return the objects in a map.
objects :: Map -> [Object]
objects (Map md _) = md.objects
isPlayer :: Object -> Bool
isPlayer (PlayerEntity _ _) = True
isPlayer _ = False
-- | Return the number of batteries in a map.
totalBatteries :: Map -> Int
totalBatteries m = length $ filter isBattery (objects m)
where
isBattery :: Object -> Bool
isBattery (BatteryEntity _ _) = True
isBattery _ = False
-- | Set the SDL viewport based on the map and the provided viewport coordinates.
-- It returns the viewport to be used by render.
viewport :: SDL.Renderer -> Map -> Int -> Int -> Int -> Int -> IO Viewport
viewport renderer (Map mapData _) vx vy vw vh = do
SDL.rendererViewport renderer $= Just mapRect
pure $ Viewport newx newy vw vh
where
mapWidth = mapData.width * mapData.tileset.width
mapHeight = mapData.height * mapData.tileset.height
halfViewportWidth = vw `div` 2
halfViewportHeight = vh `div` 2
-- the coords are the center focus
fx = max (vx - halfViewportWidth) 0
fy = max (vy - halfViewportHeight) 0
newx = min (if fx + halfViewportWidth > mapWidth then mapWidth - vw else fx) (mapWidth - vw)
newy = min (if fy + halfViewportHeight > mapHeight then mapHeight - vh else fy) (mapHeight - vh)
mapRect = U.rect (-newx) (16 - newy) (newx + vw) vh
-- | Render a map.
-- Requires a Viewport from viewport.
render :: SDL.Renderer -> Map -> Viewport -> IO ()
render renderer (Map mapData tex) (Viewport vx vy vw vh) = do
mapM_
( \layer ->
mapM_
( \(x, y) ->
-- clipping because we draw one extra row/col because the scroll
when (x < mapData.width && y < mapData.height) $
renderTile x y (layer !! (x + (y * mapData.width)))
)
index
)
mapData.tileLayers
where
tileWidth = mapData.tileset.width
tileHeight = mapData.tileset.height
-- origin x, y in tiles
ox = vx `div` tileWidth
oy = vy `div` tileHeight
-- viewport size in tiles
drawWidth = vw `div` tileWidth
drawHeight = vh `div` tileHeight
-- we draw one extra row/col
index = [(x, y) | x <- [ox .. ox + drawWidth], y <- [oy .. oy + drawHeight]]
columns = mapData.tileset.cols
firstgid = mapData.tileset.firstGid
renderTile :: Int -> Int -> Int -> IO ()
renderTile x y tile
| tile < firstgid = pure ()
| otherwise = do
let tx = (tile - firstgid) `rem` columns
ty = (tile - firstgid) `div` columns
src = U.rect (tx * tileWidth) (ty * tileHeight) tileWidth tileHeight
dst = U.rect (x * tileWidth) (y * tileHeight) tileWidth tileHeight
SDL.copy renderer tex (Just src) (Just dst)
|