package eio

  1. Overview
  2. Docs
On This Page
  1. Timeouts
Effect-based direct-style IO API for OCaml

Install

dune-project
 Dependency

Authors

Maintainers

Sources

eio-1.1.tbz
sha256=346104884077f140b3574e1daccc02212960c6efeb793c803e3e6b8bafea0fab
sha512=18abde418c56b1ceed3e8f075cb94e5c951b5cfea967ec4cb5f8e1e4d635b801b3c9e6ec61f89483490dbec143c33b9b76d947bff1183d44e6e0e01d93821dfb

doc/eio/Eio/Time/index.html

Module Eio.TimeSource

Clocks, time, sleeping and timeouts.

Sourcetype 'a clock_ty = [
  1. | `Clock of 'a
]
Sourcetype 'a clock_base = 'a Std.r constraint 'a = [> _ clock_ty ]
Sourcetype 'a clock = ([> float clock_ty ] as 'a) Std.r
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.

Sourcemodule Pi : sig ... end