215 lines
7.4 KiB
Haskell
215 lines
7.4 KiB
Haskell
module Rendering where
|
|
|
|
import Data.Array
|
|
import Data.Map (Map)
|
|
import Data.Map qualified as Map
|
|
import Data.Set qualified as Set
|
|
import Data.List (intersperse, group)
|
|
import Graphics.Vty
|
|
import Model
|
|
|
|
border :: Int
|
|
border = 20
|
|
|
|
unit :: Attr -> Int -> Int -> Char -> Image
|
|
unit a h w c =
|
|
vertCat (replicate h (string a (replicate w c)))
|
|
|
|
drawBox :: Attr -> Int {- ^ width -} -> Int {- ^ height -} -> Image
|
|
drawBox a 2 1 = string a "[]"
|
|
drawBox a w 1 = string a ("[" ++ replicate (w-2) '-' ++ "]")
|
|
drawBox a w h = vertCat $
|
|
string a ('┌' : replicate (w-2) '─' ++ "┐") :
|
|
replicate (h-2) (string a ('│' : replicate (w-2) ' ' ++ "│")) ++
|
|
[string a ('└' : replicate (w-2) '─' ++ "┘")]
|
|
|
|
button :: Attr -> Int -> Int -> Image
|
|
button a 1 2 = string a "[]"
|
|
button a 1 n = string a ("[" ++ replicate (n-2) '-' ++ "]")
|
|
button a h w = vertCat $
|
|
string a ('┌' : replicate (w-2) '─' ++ "┐") :
|
|
replicate (h-2) (string a ('│' : replicate (w-2) '░' ++ "│")) ++
|
|
[string a ('└' : replicate (w-2) '─' ++ "┘")]
|
|
|
|
home :: Attr -> Int -> Int -> Image
|
|
home a 1 2 = string a "<>"
|
|
home a 1 w = string a ("<" ++ replicate (w-2) '=' ++ ">")
|
|
home a h w = vertCat $
|
|
string a ('╔' : replicate (w-2) '═' ++ "╗") :
|
|
replicate (h-2) (string a ('║' : replicate (w-2) '░' ++ "║")) ++
|
|
[string a ('╚' : replicate (w-2) '═' ++ "╝")]
|
|
|
|
renderCell :: World -> Map Location Char -> Char -> Box -> Int -> Int -> Int -> Int -> Image
|
|
renderCell world locMap name box y x h w =
|
|
if boxWalls world box ! (y,x) then unit (boxColor box) h w wallChar
|
|
else case Map.lookup (Location name' y x) locMap of
|
|
Just n ->
|
|
let box' = worldBoxes world Map.! n
|
|
in if h < boxSize world box'
|
|
then unit (boxColor box') h w n
|
|
else renderBox world locMap box' n
|
|
h w
|
|
Nothing
|
|
| Set.member loc (worldButtons world) -> button (boxColor box) h w
|
|
| loc == worldHome world -> home (boxColor box) h w
|
|
| otherwise -> unit (boxColor box) h w floorChar
|
|
where
|
|
loc = Location name' y x
|
|
name' = contentName world name box
|
|
wallChar =
|
|
case boxType box of
|
|
Original{} -> '▓'
|
|
Link{} -> '▒'
|
|
Infinity {} -> '▓'
|
|
Epsilon {} -> '▓'
|
|
floorChar =
|
|
case boxType box of
|
|
Original{} -> '░'
|
|
Link{} -> '·'
|
|
Infinity {} -> '∞'
|
|
Epsilon {} -> 'ε'
|
|
|
|
contentName :: World -> Char -> Box -> Char
|
|
contentName world name box =
|
|
case boxType box of
|
|
Original{} -> name
|
|
Link c -> c
|
|
Infinity c -> contentName world c (worldBoxes world Map.! c)
|
|
Epsilon{} -> name
|
|
|
|
renderBox :: World -> Map Location Char -> Box -> Char -> Int -> Int -> Image
|
|
renderBox world locMap box name h w =
|
|
vertCat [
|
|
horizCat [
|
|
renderCell world locMap name box y x h w
|
|
| (x,w) <- zip [xlo .. xhi] (divisions boxWidth w)
|
|
]
|
|
| (y,h) <- zip [ylo .. yhi] (divisions boxHeight h)
|
|
]
|
|
where
|
|
((ylo,xlo),(yhi,xhi)) = bounds (boxWalls world box)
|
|
boxWidth = xhi - xlo + 1
|
|
boxHeight = yhi - ylo + 1
|
|
|
|
render ::
|
|
Bool {- ^ show flat overlay -} ->
|
|
World ->
|
|
Picture
|
|
render flat world = picForLayers $
|
|
[ pad 98 12 0 0 $
|
|
string defAttr "██╗ ██╗██╗███╗ ██╗███╗ ██╗███████╗██████╗ " <->
|
|
string defAttr "██║ ██║██║████╗ ██║████╗ ██║██╔════╝██╔══██╗" <->
|
|
string defAttr "██║ █╗ ██║██║██╔██╗ ██║██╔██╗ ██║█████╗ ██████╔╝" <->
|
|
string defAttr "██║███╗██║██║██║╚██╗██║██║╚██╗██║██╔══╝ ██╔══██╗" <->
|
|
string defAttr "╚███╔███╔╝██║██║ ╚████║██║ ╚████║███████╗██║ ██║" <->
|
|
string defAttr " ╚══╝╚══╝ ╚═╝╚═╝ ╚═══╝╚═╝ ╚═══╝╚══════╝╚═╝ ╚═╝"
|
|
| winCondition world ] ++
|
|
(if flat then renderFlat locMap world else []) ++
|
|
[drawNestedWorld locMap world]
|
|
where
|
|
locMap = Map.fromList [(boxLocation loc, n) | (n, loc) <- Map.toList (worldBoxes world)]
|
|
|
|
renderFlat :: Map Location Char -> World -> [Image]
|
|
renderFlat locMap world =
|
|
[ pad offset 0 0 0 baseImage
|
|
, pad offset 0 0 0 $ drawBox borderAttr (imageWidth baseImage) (imageHeight baseImage)
|
|
]
|
|
where
|
|
borderAttr = defAttr `withForeColor` white `withBackColor` black
|
|
offset = max 0 ( (worldWidth world + 2*(2*border)+2 - imageWidth baseImage) `div` 2)
|
|
baseImage =
|
|
pad 2 1 2 1 $
|
|
horizCat $
|
|
intersperse (char borderAttr ' ')
|
|
[renderBox world locMap b n 18 36
|
|
| (n,b) <- Map.assocs (worldBoxes world)
|
|
, not (boxBoring b)]
|
|
|
|
drawNestedWorld :: Map Location Char -> World -> Image
|
|
drawNestedWorld locMap world =
|
|
cropTop (h + 2*border) $
|
|
cropLeft (w + 4*border) $
|
|
cropBottom (2*h + border) $
|
|
cropRight (2*(w + border)) $
|
|
vertCat $
|
|
intersperse (char defAttr ' ')
|
|
[
|
|
horizCat $
|
|
intersperse (char defAttr ' ')
|
|
[
|
|
case stackedLoc world locMap (Location name1 y_ x_) of
|
|
Nothing -> unit (withForeColor defAttr black) h w '?'
|
|
Just (Location n y x) ->
|
|
let box = worldBoxes world Map.! n in
|
|
renderCell world locMap n box y x h w
|
|
| x_ <- [x1-1 .. x1+1]
|
|
]
|
|
| y_ <- [y1-1 .. y1+1]
|
|
]
|
|
where
|
|
h = worldHeight world
|
|
w = worldWidth world
|
|
-- name1 is the box the player is standing in
|
|
Location name0 _ _ = myLocation world
|
|
Location name1 y1 x1 = boxLocation (worldBoxes world Map.! name0)
|
|
|
|
|
|
stackedLoc :: World -> Map Location Char -> Location -> Maybe Location
|
|
stackedLoc world locMap = go Set.empty
|
|
where
|
|
go visited loc@(Location b y x)
|
|
| Set.member loc visited =
|
|
do b' <- findInfinity world b
|
|
go visited (Location b' y x)
|
|
|
|
go visited loc@(Location b y x) =
|
|
do box <- Map.lookup b (worldBoxes world)
|
|
let bnds@((ylo,xlo),(yhi,xhi)) = bounds (boxWalls world box)
|
|
if inRange bnds (y, x)
|
|
then Just loc
|
|
else
|
|
let dx = overflow (xlo,xhi) x
|
|
dy = overflow (ylo,yhi) y
|
|
Location parent py px = boxLocation box
|
|
in fixup world locMap dy dx y x <$> go (Set.insert loc visited) (Location parent (py+dy) (px+dx))
|
|
|
|
|
|
overflow :: (Int, Int) -> Int -> Int
|
|
overflow (lo,hi) x
|
|
| x < lo = x - lo
|
|
| x > hi = x - hi
|
|
| otherwise = 0
|
|
|
|
fixup :: World ->
|
|
Map Location Char ->
|
|
Int ->
|
|
Int ->
|
|
Int ->
|
|
Int ->
|
|
Location ->
|
|
Location
|
|
fixup world locMap dy dx py px loc =
|
|
case Map.lookup loc locMap of
|
|
Nothing -> loc
|
|
Just name -> Location name (fixup1 ylo yhi dy py) (fixup1 xlo xhi dx px)
|
|
where
|
|
((ylo,xlo),(yhi,xhi)) = bounds (boxWalls world (worldBoxes world Map.! name))
|
|
|
|
fixup1 :: Int -> Int -> Int -> Int -> Int
|
|
fixup1 _ _ 0 i = i
|
|
fixup1 _ hi (-1) _ = hi
|
|
fixup1 lo _ 1 _ = lo
|
|
fixup1 _ _ _ _ = error "fixup1: bad delta"
|
|
|
|
divisions :: Int -> Int -> [Int]
|
|
divisions divs size =
|
|
map length $ group
|
|
[ round (
|
|
(fromIntegral i + 1 / 2)
|
|
/ fromIntegral size
|
|
* fromIntegral divs
|
|
- 1/2
|
|
)
|
|
| i <- [0 ..size-1]
|
|
]
|