Ops.private_hosts: 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 518-526 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=518&end_line=526 import Base import near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend as Ct import near-v-framework@0.4.0.0/domain/architecture/category/type.bend as K2 # How many containers host the app privately: Hosting, on the tailnet. def private_hosts(cs: List<&2, Ct.Container>) -> Nat: match cs: case []: 0n case c <> rest: match c: case Ct.Container{_, _, _, _, _, e, +caps, _, _, _, _, _, _, _, _}: Nat.add(one_if(has_cap(K2.Hosting{}, caps) && is_tailnet(e)), private_hosts(rest)) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add 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/ops.bend&name=has_cap https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=is_tailnet https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=one_if https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend&name=Container