Module `Eio.Time`Source

Clocks, time, sleeping and timeouts.

Sourcetype 'a clock_ty = [

]

Sourcetype 'a clock_base = 'a Eio.Std.r constraint 'a = [> _ Eio.Time.clock_ty ]

Sourcetype 'a clock = ([> float Eio.Time.clock_ty ] as 'a) Eio.Std.r

Sourceval now : _ Eio.Time.clock -> float

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

Sourceval sleep_until : _ Eio.Time.clock -> float -> unit

sleep_until t time waits until the given time is reached.

Sourceval sleep : _ Eio.Time.clock -> float -> unit

sleep t d waits for d seconds.

Sourcemodule Mono : sig ... end

Monotonic clocks.

Sourceexception Timeout

val with_timeout : 
  _ Eio.Time.clock ->
  float ->
  (unit -> ('a, 'e) Stdlib.result) ->
  ('a, [> `Timeout ] as 'e) Stdlib.result

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

Sourceval with_timeout_exn : _ Eio.Time.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

Module Eio.TimeSource