def returned

bendvy-ecs-core@0.1.0.4 · decode_constructed_requests.bend:19

import Base
import decode_requests.bend as Request

19def returned(~S:Data,~I:Type,~P:Type,~H:Type,undo:P -> I,result:H & Request.Output<S,P>) -> H & Output<S,I,P>:
20  match result:
21    case (ctx,Request.Accepted{target,spawned,canonical}):(ctx,Accepted{target,spawned,canonical,undo})
22    case (ctx,Request.Refused{owner,error}):(ctx,refused(~S,~I,~P,undo,owner,error))