def refused

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

import Base
import decode_requests.bend as Request

15def refused(~S:Data,~I:Type,~P:Type,undo:P -> I,owner:Maybe<&1,P>,error:Request.Error) -> Output<S,I,P>:
16  match owner:
17    case None{}:Refused{None{},error}
18    case Some{owner}:Refused{Some{undo(owner)},error}