def key.cleared

yaml-for-bend@0.1.1.0 · scan.bend:559

import yaml-for-bend@0.1.1.0/scan.bend as Scan

import Base

559def key.cleared(keys: List<&2, SKey>) -> List<&2, SKey>:
560  match keys:
561    case Nil{}:
562      []
563    case Con{k, +rest}:
564      match k:
565        case SKey{possible, required, number, at, tab, low}:
566          SKey{False{}, required, number, at, tab, low.of(rest)} <> rest

Uses (4)

Used by (1)

yaml-for-bend@0.1.1.0/scan:insert.key