diff options
Diffstat (limited to 'stdlib/source/library/lux/control/concurrency/async.lux')
| -rw-r--r-- | stdlib/source/library/lux/control/concurrency/async.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/async.lux b/stdlib/source/library/lux/control/concurrency/async.lux index 75bec2d4b..4285b3b82 100644 --- a/stdlib/source/library/lux/control/concurrency/async.lux +++ b/stdlib/source/library/lux/control/concurrency/async.lux @@ -19,7 +19,7 @@ [primitive (.except)] ["[0]" variance (.only Mutable)]]]]] [// - ["[0]" thread] + ["[0]" thread (.only Delay)] ["[0]" atom (.only Atom atom)]]) (def Value @@ -202,7 +202,7 @@ left||right)))) (def .public (schedule! milli_seconds computation) - (All (_ a) (-> Nat (IO a) (Async a))) + (All (_ a) (-> Delay (IO a) (Async a))) (let [[!out resolve] (sharing [a] (is (IO a) computation) @@ -221,14 +221,14 @@ (..schedule! 0)) (def .public (after milli_seconds value) - (All (_ a) (-> Nat a (Async a))) + (All (_ a) (-> Delay a (Async a))) (..schedule! milli_seconds (io value))) (def .public (delay milli_seconds) - (-> Nat (Async Any)) + (-> Delay (Async Any)) (..after milli_seconds [])) (def .public (within milli_seconds async) - (All (_ r w) (-> Nat (Async' r w) (Async (Maybe r)))) + (All (_ r w) (-> Delay (Async' r w) (Async (Maybe r)))) (..or (..delay milli_seconds) async)) |