def mixed_after_success

bendvy-ecs-core@0.1.0.4 · ordinary_reader_system.bend:284

import Base
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/internal/relation_failures/domains.bend as D

284def mixed_after_success(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,
285  ~sync:F -> Nat -> List<&2,P> -> F,
286  ~classify:Notice.Notice<S,P> -> Maybe<D.DescriptorKey<S>>,
287  context:Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>:
288  Mixed.after_success(~S,~C,~R,~P,~F,~H,~sync,~classify,context)