package eio

  1. Overview
  2. Docs
On This Page
  1. Timeouts
package eio
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Eio.TimeSource

Clocks, time, sleeping and timeouts.

Sourceclass virtual 'a clock_base : object ... end
Sourceclass virtual clock : object ... end
Sourceval now : clock -> float

now t is the current time since 00:00:00 GMT, Jan. 1, 1970 - in seconds - according to t.

Sourceval sleep_until : clock -> float -> unit

sleep_until t time waits until the given time is reached.

Sourceval sleep : clock -> float -> unit

sleep t d waits for d seconds.

Sourcemodule Mono : sig ... end

Monotonic clocks.

Timeouts

Sourceexception Timeout
Sourceval with_timeout : clock -> float -> (unit -> ('a, 'e) result) -> ('a, [> `Timeout ] as 'e) result

with_timeout clock d fn runs fn () but cancels it after d seconds.

Sourceval with_timeout_exn : clock -> float -> (unit -> 'a) -> 'a

with_timeout_exn clock d fn runs fn () but cancels it after d seconds, raising exception Timeout.

Sourcemodule Timeout : sig ... end

Timeout values.