def all_nix
near-v-framework@0.4.0.0 · domain/architecture/system/deployment/nix_darwin/brew/ops.bend:90
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/brew/ops.bend as Ops
import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/brew/type.bend as Br
90
91def all_nix(xs: List<&2, Br.Brew>, +part: Nat, +names: List<&2, String>) -> String:
92 match xs:
93 case []:
94 ""
95 case +b <> rest:
96 Bool.pick(String, Nat.is_eq(part, 0n), tap_nix(b),
97 Bool.pick(String, Nat.is_eq(part, 1n), mas_nix(b, names),
98 Bool.pick(String, Nat.is_eq(part, 2n), formula_nix(b),
99 Bool.pick(String, Nat.is_eq(part, 3n), cask_nix(b), other_nix(b))))) ++ all_nix(rest, part, names)