(millis: number)
| 3166 | * @category delays & timeouts |
| 3167 | */ |
| 3168 | export const sleep = (millis: number): Micro<void> => |
| 3169 | async((resume) => { |
| 3170 | const timeout = setTimeout(() => { |
| 3171 | resume(void_) |
| 3172 | }, millis) |
| 3173 | return sync(() => { |
| 3174 | clearTimeout(timeout) |
| 3175 | }) |
| 3176 | }) |
| 3177 | |
| 3178 | /** |
| 3179 | * Returns an effect that will delay the execution of this effect by the |