Ops.external_providers: def of near-v-framework@0.4.0.0 Import: import near-v-framework@0.4.0.0/domain/architecture/ops.bend as Ops Lines 495-502 of near-v-framework@0.4.0.0/domain/architecture/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&start_line=495&end_line=502 import Base import near-v-framework@0.4.0.0/domain/architecture/environment/external/type.bend as X import near-v-framework@0.4.0.0/domain/architecture/category/type.bend as K2 def external_providers(+want: K2.Capability, xs: List<&2, X.External>) -> List<&2, String>: match xs: case []: [] case x <> rest: match x: case X.External{k, _, _, _, caps, _, _, _}: keep_all(has_cap(want, caps), [k], external_providers(want, rest)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/category/type.bend&name=Capability https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/external/type.bend&name=External https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=has_cap https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=keep_all