def solve.go

minebender-game@1.0.0.0 · solver.bend:529

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

529def solve.go(ok: Bool, +hs: List<&2, T.Pos>, +w: Nat, +h: Nat, n: Nat,
530  +rows: T.Grid(T.Seen)) -> Maybe<&2, T.Pos>:
531  match ok:
532    case False{}:
533      List.head(&2, T.Pos, hs)
534    case True{}:
535      +its = items(w, h, rows, B.cells(w, h))
536      loop(hs, Nil{}, plan(w, h, todos(its, hs)), start(rows), Ctx{w, h, n, rows, its})