def differing

near-v-framework@0.4.0.0 · domain/architecture/system/effects.bend:71

import near-v-framework@0.4.0.0/domain/architecture/system/effects.bend as Effects
import Base
import near-v-framework@0.4.0.0/domain/architecture/system/effs/io.bend as X

71# ---- the Bend hub: has it published this package, with these exact files? ----
72def differing(fs: List<&2, String>, +local: String, +hub: String) -> IO(String):
73  match fs:
74    case []:
75      IO.pure(String, "")
76    case +f <> rest:
77      do IO<String>:
78        same : Bool <- X.succeeds("cmp", ["-s", local ++ "/" ++ f, hub ++ "/" ++ f])
79        more : String <- differing(rest, local, hub)
80        return Bool.pick(String, same, more, f)

Uses (9)

Used by (1)