Jacket
Search the docs
/
API
Tools
Playground
main
Io module
← Io
Engine
engine_start
engine_stop
requested_backend
new_op
free_op
engine_submit
engine_cancel
engine_wait
finish_op
cancel_op
begin_op
end_op
await_op
error_from_code
error_from_result
internal_completion
On this page
See also
std
/
Extensions
/
Io
/
engine_stop
engine_stop
procedure
extension
experimental
since 0.31.0
Source
engine_stop
:: (scheduler: *Scheduler)
Parameters
scheduler
:
*Scheduler
See also
engine_start
requested_backend
new_op
Jacket
Jacket