~/jendhub

def refused

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

import bendvy-ecs-core@0.1.0.4/decode_fallible_constructed_requests.bend as DecodeFallibleConstructedRequests
import Base
import decode_requests.bend as Request

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

Uses (4)

Used by (1)