Module Event.KeySource

The type for keyboard events.

Wraps an Input.Key.event with propagation and default-prevention flags that the renderer inspects during two-tier dispatch (global handlers first, then focused-node handlers).

of_input ev is a keyboard event wrapping ev. Propagation and default-prevention flags start as false.

data t is the underlying terminal key event.

stop_propagation t prevents t from reaching the focused-node handler tier. When called in a global handler, the event is not dispatched to focused-node handlers.

propagation_stopped t is true iff stop_propagation has been called on t.

prevent_default t marks renderer-level default behaviour as prevented. After all handlers run, the renderer skips its default key behaviour for the focused node.

default_prevented t is true iff prevent_default has been called on t.

equal a b is true iff a and b wrap the same key event. Dispatch control state is ignored.

pp formats a keyboard event for debugging.