def none_prefixed

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/nix_darwin/setting/ops.bend:56

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/setting/type.bend as St

56def none_prefixed(xs: List<&2, St.Setting>, +p: String) -> Bool:
57  match xs:
58    case []:
59      True{}
60    case s <> rest:
61      Bool.not(String.starts_with(option_of(s), p)) && none_prefixed(rest, p)