Time (p.eio.0.13.doc.eio.Eio.Time)

Sourcetype 'a clock_ty = [

]

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.

Sourceexception Timeout

val 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