def others

near-v-framework@0.4.0.0 · domain/architecture/system/effects.bend:177

import Base
import bend-net-json@0.3.0.0/json.bend as Json

177# The marketplace's other plugins, as listed now.
178def others(vs: List<&2, Json.Val>, +n: String) -> List<&2, Json.Val>:
179  match vs:
180    case []:
181      []
182    case +v <> rest:
183      +kept = others(rest, n)
184      Bool.pick(List<&2, Json.Val>, String.eq(str_of(Json.get(v, "name")), n), kept, v <> kept)