def take.go

gralha-coverage@0.1.0.1 · cover.bend:310

import Base

310def take.go(t: Take, +sy: F32) -> Take:
311  match t:
312    case Take{done, pending, acc}:
313      match done:
314        case True{}: Take{True{}, pending, acc}
315        case False{}:
316          match pending:
317            case Nil{}: Take{True{}, Nil{}, acc}
318            case Con{l, rest}:
319              +ll = l
320              take.go(take.pick(F32.is_le(line.top(ll), sy), ll, rest, sy, acc), sy)