def flag.go

minebender-game@1.0.0.0 · game.bend:377

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

377def flag.go(c: Bool, g: Game, p: T.Pos) -> Game:
378  match c:
379    case False{}:
380      g
381    case True{}:
382      match g:
383        case Game{w, h, layout, shown, flags, status}:
384          Game{w, h, layout, shown, toggle(flags, p), status}