def with_c

minebender-game@1.0.0.0 · solver.bend:436

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

436def with_c(ts: List<&2, Todo>, +q: T.Pos) -> List<&2, Todo>:
437  match ts:
438    case Nil{}:
439      Nil{}
440    case +t <> rest:
441      List.filter.put(Todo, t, with_c(rest, q), B.same(todo_c(t), q))