def put.one

ezx@1.11.0.0 · src/lock/plan.bend:983

import Base

983# one effect's part in what a path is left holding, with what the effects
984# after it leave already known. A later write wins.
985def put.one(effect: Effect, +path: String, rest: Wrote) -> Wrote:
986  match effect:
987    case Write{at, text}:
988      match rest:
989        case Kept{}:
990          Bool.pick(Wrote, String.eq(at, path), Put{text}, Kept{})
991        case Put{later}:
992          Put{later}
993    case Lay{_place, _hash, _files}:
994      rest
995    case Drop{_hash}:
996      rest
997    case Say{_text}:
998      rest
999    case Name{_nv, _hash}:
1000      rest