def reserved_failure_reader

bendvy-ecs-core@0.1.0.4 · event_notice_runtime.bend:121

import Base
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/relation_failure_runtime.bend as K
import bendvy-ecs-core@0.1.0.4/event_family_runtime.bend as Family
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

121# Reserve from the same failure-reader pool used by standalone K.register.
122def reserved_failure_reader(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,held:Family.State<P,F,H> & Nat,result:K.Runtime<S,C,R,Notice.Notice<S,P>> & Maybe<&2,U32>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,State<S,P,F,H>> & Maybe<&2,U32>:
123  match result:
124    case (runtime,id):(failure_returned(~S,~C,~R,~P,~F,~H,held,runtime),id)