def unwritten

near-v-framework@0.4.0.0 · domain/architecture/system/container/ops.bend:81

import Base

81# The extensions in a built container's source that no declared or migrating language is written in,
82# and that are not themselves migrating.
83def unwritten(xs: List<&2, String>, +languages: List<&2, String>, +migrating: List<&2, String>) -> List<&2, String>:
84  match xs:
85    case []:
86      []
87    case +x <> rest:
88      +more = unwritten(rest, languages, migrating)
89      Bool.pick(List<&2, String>, any_language(x, languages) || any_language(x, migrating) || List.contains(~String, ~String.eq, migrating, x), more, x <> more)