package eio

You can search for identifiers within the package.

in-package search v0.2.0

Effect-based direct-style IO API for OCaml

Install

dune-project

Dependency

github.com Readme Changelog ISC License Edit opam file Versions (19)

Authors

Maintainers

A

anil@recoil.org

Sources

eio-1.3.tbz

sha256=8ed5c13e6689f31c85dca5f12762d84b8cc0042a7b07d3e464df6eb4b72b3dfc

sha512=46e8f817f32c3316e7f35835a136ad177a295b3306351eb2efa2386482b0169a5b19ed2925b32da2a1f10d40f083fe3d588dd401908f9fec6e4a44cd68535204

doc/eio.mock/Eio_mock/Backend/index.html

Module `Eio_mock.Backend`Source

A dummy Eio backend with no actual IO.

This backend does not support the use of multiple domains or systhreads, but the tradeoff is that it can reliably detect deadlock, because if the run queue is empty then it knows that no wake up event can be coming from elsewhere.

Sourceexception Deadlock_detected

Sourceval run : (unit -> 'a) -> 'a

run fn runs an event loop and then calls fn env within it.

raises Deadlock_detected
if the run queue becomes empty but fn hasn't returned.

Source

type stdenv =
  < clock : Clock.t
  ; mono_clock : Clock.Mono.t
  ; debug : Eio.Debug.t
  ; backend_id : string >

Sourceval run_full : (stdenv -> 'a) -> 'a

run_full is like run but also provides a mock environment.

The mock monotonic clock it provides advances automatically when there is nothing left to do. The mock wall clock is linked directly to the monotonic time.