def spawn_output

bendvy-ecs-core@0.1.0.4 · decode_frame.bend:65

import Base
import bendvy-ecs-core@0.1.0.4/decode_requests.bend as Request
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/world.bend as World

65def spawn_output(~S:Data,~P:Type,canonical:D.Raw,result:Result<&2,&2,World.WorldError,World.Handle<S>>,packet:Maybe<&1,Request.Packet<P>>) -> Request.Output<S,P>:
66  match result packet:
67    case Done{target} _:Request.Accepted{target,True{},canonical}
68    case Fail{error} None{}:Request.Refused{None{},Request.Entity{error}}
69    case Fail{error} Some{Request.Packet{owner,_,_}}:Request.Refused{owner,Request.Entity{error}}