def returned

bendvy-ecs-core@0.1.0.4 · decode_fallible_constructed_resource.bend:13

import Base
import decode_validated_resource.bend as Resource

13def returned(~I:Type,~R:Type,~Custom:Data,~H:Type,undo:R -> I,result:H & Resource.Output<R>) -> H & Output<I,R,Custom>:
14  match result:
15    case (ctx,Resource.Replaced{canonical}):(ctx,Replaced{canonical,undo})
16    case (ctx,Resource.Refused{owner,error}):(ctx,Refused{undo(owner),Admission{error}})