def first_safe.go

minebender-game@1.0.0.0 · game.bend:405

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

405def first_safe.go(ps: List<&2, T.Pos>, hit: Bool, +layout: T.Grid(Bool),
406  +shown: T.Grid(Bool)) -> Maybe<&2, T.Pos>:
407  match ps:
408    case Nil{}:
409      None{}
410    case p <> +t:
411      match hit:
412        case True{}:
413          Some{p}
414        case False{}:
415          first_safe.go(t, safe_here(layout, shown, t), layout, shown)