type Declaration

bendvy-ecs-core@0.1.0.4 · ordinary_owned_event_declaration.bend:31

import Base

31# Static publisher declaration carrying a recovery constructor and access names;
32# State, Recovery, Ops and builder keep its operational route typed. Canonical
33# ordinary-owned-event-family-write.declaration supplies the matching log/recovery
34# paths. Payloads may be arbitrary affine Type values; this is not a Data-event
35# stream reader and does not duplicate payloads for multiple readers.
36# Legacy Declaration has opaque metadata. Described adds operational-domain
37# metadata; automatic App publisher registration requires a complete description.
38# Classic publisher registration remains available for the legacy form. Raw
39# constructors/builders are trusted administration, not a gameplay permission API.
40# See docs/parity/affine-events.md for ownership and qualified publication bounds.
41type Declaration<-S:Data,-State:Type,-Recovery:Type,-Ops:Type -> Type,-builder:Builder(~State,~Recovery,~Ops)> is Type:
42  Declaration{empty:Unit -> Recovery,access:List<&2,String>}
43  Described{empty:Unit -> Recovery,access:List<&2,String>,description:Description}