def known.group

bolt@1.26.0.0 · src/config.bend:140

import Base
import bolt@1.26.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.26.0.0/src/codes.bend as Codes

140# some row of the table has the name as its group
141def known.group(rows: List<&2, Codes.Entry>, +name: String) -> Bool:
142  match rows:
143    case Nil{}:
144      False{}
145    case Con{Codes.Entry{_s, _id, +grp}, rest}:
146      Lazy.or_else(String.eq(grp, name), _u => known.group(rest, name))