diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/type/resource.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux index 5a2b79c1d..5fc4e760a 100644 --- a/stdlib/source/library/lux/type/resource.lux +++ b/stdlib/source/library/lux/type/resource.lux @@ -9,7 +9,7 @@ ["." exception (#+ exception:)] ["." io (#+ IO)] [concurrency - ["." promise (#+ Promise)]] + ["." async (#+ Async)]] ["<>" parser ["<.>" code (#+ Parser)]]] [data @@ -78,7 +78,7 @@ [pure Identity identity.monad run_pure lift_pure] [sync IO io.monad run_sync lift_sync] - [async Promise promise.monad run_async lift_async] + [async Async async.monad run_async lift_async] ) (abstract: #export Ordered Any) @@ -110,10 +110,10 @@ [ordered_pure Identity identity.monad Ordered ordered_key] [ordered_sync IO io.monad Ordered ordered_key] - [ordered_async Promise promise.monad Ordered ordered_key] + [ordered_async Async async.monad Ordered ordered_key] [commutative_sync IO io.monad Commutative commutative_key] [commutative_pure Identity identity.monad Commutative commutative_key] - [commutative_async Promise promise.monad Commutative commutative_key] + [commutative_async Async async.monad Commutative commutative_key] ) (template [<name> <m> <monad>] @@ -125,7 +125,7 @@ [read_pure Identity identity.monad] [read_sync IO io.monad] - [read_async Promise promise.monad] + [read_async Async async.monad] )) (exception: #export (index_cannot_be_repeated {index Nat}) @@ -185,7 +185,7 @@ [exchange_pure Identity identity.monad] [exchange_sync IO io.monad] - [exchange_async Promise promise.monad] + [exchange_async Async async.monad] ) (def: amount @@ -211,8 +211,8 @@ [group_pure Identity identity.monad (~+ g!keys) [(~+ g!keys)]] [group_sync IO io.monad (~+ g!keys) [(~+ g!keys)]] - [group_async Promise promise.monad (~+ g!keys) [(~+ g!keys)]] + [group_async Async async.monad (~+ g!keys) [(~+ g!keys)]] [un_group_pure Identity identity.monad [(~+ g!keys)] (~+ g!keys)] [un_group_sync IO io.monad [(~+ g!keys)] (~+ g!keys)] - [un_group_async Promise promise.monad [(~+ g!keys)] (~+ g!keys)] + [un_group_async Async async.monad [(~+ g!keys)] (~+ g!keys)] ) |