Jacket
Search the docs
/
API
Tools
Playground
main
Io module
← Io
Engine poll
poll_submit
poll_wait
poll_wants_write
poll_attempt_noted
poll_attempt
poll_ready
poll_cancel
poll_fail
poll_close
wait_append
wait_unlink
poll_arm
kqueue_start
kqueue_change
kqueue_flush
kqueue_wait_events
epoll_start
epoll_remove
epoll_arm
epoll_wait_events
On this page
See also
std
/
Extensions
/
Io
/
poll_cancel
poll_cancel
procedure
extension
experimental
since 0.31.0
Source
poll_cancel
:: (scheduler: *Scheduler, engine: *
Engine
, op: *
Op
)
Parameters
scheduler
:
*Scheduler
engine
:
*
Engine
op
:
*
Op
See also
poll_attempt
poll_ready
poll_fail
poll_close