Effects.ports: def of near-v-framework@0.4.0.0 Import: import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/effects.bend as Effects Lines 205-211 of near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/effects.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/effects.bend&start_line=205&end_line=211 import Base import near-v-framework@0.4.0.0/domain/architecture/system/effs/io.bend as X # ---- the steps ---- def ports(xs: List<&2, U32>) -> List<&2, String>: match xs: case []: [] case +p <> rest: X.keep_filled(Bool.not(U32.is_eq(p, 0)), U32.show(p), ports(rest)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not 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=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/effs/io.bend&name=keep_filled