System.UV.Timer

This module provides functions for running computations
once or more at discrete time intervals.

This provides a layer of abstraction and security on top
of module `System.UV.Timer.Raw`.

Definitions

mkTimer : UVLoop => Has UVError es => Async es (Ptr Timer)

Totality: total
Visibility: export

repeatedly : UVLoop => Has UVError es => Bits64 -> Bits64 -> (Event Nat -> Async es a) -> Async es a

  Sends a signal every `repeat` milliseconds, the first time
  after `timeout` has passed.

Totality: total
Visibility: export

sleep : UVLoop => Has UVError es => Bits64 -> Async es ()

  Sends a signal after `timeout` milliseconds have passed.

Totality: total
Visibility: export