~/jendhub

def explode

minebender-game@1.0.0.0 · game.bend:259

import minebender-game@1.0.0.0/game.bend as Game
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B

259def explode(g: Game, +p: T.Pos) -> Game:
260  match g:
261    case Game{w, h, layout, shown, flags, status}:
262      Game{w, h, layout, B.set_at(Bool, shown, p, True{}), flags, T.Lost{T.Exploded{p}}}

Uses (6)

Used by (1)