def returned

bendvy-ecs-core@0.1.0.4 · decode_fallible_constructed_requests.bend:20

import Base
import decode_requests.bend as Request

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