Create a Timer Channel configured to schedule periodic time events.
Create a Timer Channel configured to schedule periodic time events. The first event occurs after the specified period.
apply
Create a Timer Channel configured to schedule periodic time events that occur first after the given initial delay, and subsequently with the given period; that is executions will commence after initialDelay then initialDelay+period, then initialDelay + 2 * period, and so on.
Create a Timer Channel configured to schedule periodic time events that occur first after the given initial delay, and subsequently with the given period; that is executions will commence after initialDelay then initialDelay+period, then initialDelay + 2 * period, and so on. The generation of periodic events will only terminate via cancellation. Time events not consumed with the period interval are silently dropped.
the time to delay first execution
the time unit of the initialDelay and period parameters
the maximum number of time events that can be created without being consumed. The timer channel closes itself with an error if this capacity is exceeded.
a Timer counting the number of ticks generated since the channel was created
if period less than or equal to zero
scheduleAtFixedRate
Create a delayed channel.
Create a Timer Channel configured to schedule periodic time events.
Create a Timer Channel configured to schedule periodic time events. The first event occurs immediately.
apply
timeout
Create a periodic channel.
Create a Timer Channel that schedules a task after the given delay.
Create a Timer Channel that schedules a task after the given delay.
the time from now to delay execution.
the time unit of the delay parameter.
the task to schedule.
a result channel that produces the result of the task executed after the timeout has elapsed.
if period less than or equal to zero
Schedule a sequence of delayed messages.
Schedule a sequence of delayed messages.
the type of the messages
a sequence of pairs delay/message.
the time unit
A channel that schedule the delivery of each message sequentially according to its delay.
Create a Timer Channel that schedule an event after the given delay.
Create a Timer Channel that schedule an event after the given delay.
the time from now to delay execution.
the time unit of the delay parameter.
a result channel that returns unit
when the timer expires.
if period less than or equal to zero
A timer channel schedules time events on its output using the platform's internal timers facilities. Each time event generated contains the number of ticks generated since the channel was created (2038 bug ready).