~/jendhub

def returned

bendvy-ecs-core@0.1.0.4 · decode_constructed_resource.bend:12

import bendvy-ecs-core@0.1.0.4/decode_constructed_resource.bend as DecodeConstructedResource
import Base
import decode_validated_resource.bend as Resource

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

Uses (4)

Used by (1)