type Registration

bendvy-ecs-core@0.1.0.4 · ordinary_app_relation_failure_reader.bend:28

import Base
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
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

28# Registration returns the mixed runtime on both branches; only Registered
29# supplies a reader owner. Other event-family state is reattached on refusal.
30type Registration<S:Data,C:Type,R:Type,P:Data,F:Type,H:Type,Owner:Type> is Type:
31  Registered{runtime:Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,owner:Owner}
32  RegistrationFailed{runtime:Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>}