def serve_ports_distinct
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend as Opsimport Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/type.bend as ND
116# No two serves share a tailnet HTTPS port.
117def serve_ports_distinct(nd: ND.NixDarwin) -> Bool:
118 distinct(https_ports(serves(nd)))
Uses (5)
- Bool
- near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/type:NixDarwin
- near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops:serves
- near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops:distinct
- near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops:https_ports