Skip to main content

PostedEvent

PostedEvent<Protocol, EventName> = Protocol extends undefined ? string : EventName extends keyof State<any, any> ? never : EventName

Valid first argument to Base.post / State.postNow — a protocol key that names a void handler (event), excluding reserved State method names.

Type Parameters​

Protocol​

Protocol extends { } | undefined

Machine vocabulary interface, or undefined for untyped string mode

EventName​

EventName extends keyof Protocol

Member key being constrained

Remarks​

Collisions with keyof State become never, preventing post('transition', …) at compile time.