def fill.row

minebender-game@1.0.0.0 · solver.bend:110

import Base

110def fill.row(r: List<&2, Maybe<&2, Bool>>) -> List<&2, Bool>:
111  match r:
112    case Nil{}:
113      Nil{}
114    case m <> t:
115      Maybe.default(&2, Bool, m, False{}) <> fill.row(t)