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
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)