def edit.if

ezx@1.11.0.0 · src/lock/up.bend:1120

import Base

1120# a file, only when its text changes
1121def edit.if(same: Bool, +at: String, +text: String, rest: List<&2, Edit>) -> List<&2, Edit>:
1122  match same:
1123    case True{}:
1124      rest
1125    case False{}:
1126      Edit{at, text} <> rest