def effect.back

ezx@1.11.0.0 · src/ws/up.bend:251

import ezx@1.11.0.0/src/ws/up.bend as Up
import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP

251# one effect of the plan: the write of ez.toml replaced by the ledgers'
252def effect.back(effect: LP.Effect, +ws: List<&2, LP.Effect>, rest: List<&2, LP.Effect>) -> List<&2, LP.Effect>:
253  match effect:
254    case LP.Write{+at, text}:
255      effect.write(String.eq(at, "ez.toml"), at, text, ws, rest)
256    case LP.Lay{pl, hash, files}:
257      LP.Lay{pl, hash, files} <> rest
258    case LP.Drop{hash}:
259      LP.Drop{hash} <> rest
260    case LP.Say{text}:
261      LP.Say{text} <> rest
262    case LP.Name{nv, hash}:
263      LP.Name{nv, hash} <> rest

Uses (4)

Used by (1)