def seen_pick

minebender-game@1.0.0.0 · game.bend:38

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

38# What the player sees at p.
39def seen_pick(s: Bool, m: Bool, w: Nat, h: Nat, layout: T.Grid(Bool), p: T.Pos) -> T.Seen:
40  match s m:
41    case False{} _:
42      T.Hidden{}
43    case True{} True{}:
44      T.Boom{}
45    case True{} False{}:
46      T.Shown{B.adj_mines(w, h, layout, p)}