def writes.one

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

import Base

1020# whether an effect writes, lays or removes anything
1021def writes.one(effect: Effect) -> Bool:
1022  match effect:
1023    case Write{_at, _text}:
1024      True{}
1025    case Lay{_place, _hash, _files}:
1026      True{}
1027    case Drop{_hash}:
1028      True{}
1029    case Say{_text}:
1030      False{}
1031    case Name{_nv, _hash}:
1032      True{}