def checked

bendvy-ecs-core@0.1.0.3 · execution_save_gate.bend:8

import Base

8# Framework boundary. The ordinary adapter supplies the closed owner inventory,
9# not deferred history or a caller's estimate of outstanding work.
10def checked(~Actual:Type,~Value:Data,~Error:Data,~project:Actual -> Actual & Outcome<Value,Error>,result:Actual & Bool) -> Actual & Outcome<Value,Error>:
11  match result:
12    case (actual,True{}):(actual,RefusedPending{})
13    case (actual,False{}):project(actual)