diff options
| author | Eduardo Julian | 2017-09-19 21:52:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-09-19 21:52:42 -0400 |
| commit | 70534ffd9c346ac23f9d5574b9c7820dccebc350 (patch) | |
| tree | e2370a43a8bb2bdcb349d5bbbe477312859365f3 /stdlib/source/lux/concurrency/task.lux | |
| parent | e717f33e192a5969760c033c47f9c4709485dd76 (diff) | |
- Some refactoring.
- Moved "assume" and "default" to lux/data/maybe.
Diffstat (limited to 'stdlib/source/lux/concurrency/task.lux')
| -rw-r--r-- | stdlib/source/lux/concurrency/task.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/concurrency/task.lux b/stdlib/source/lux/concurrency/task.lux index 9fc35ee5f..4be7ead9d 100644 --- a/stdlib/source/lux/concurrency/task.lux +++ b/stdlib/source/lux/concurrency/task.lux @@ -1,8 +1,8 @@ (;module: lux (lux (data ["R" result]) - (control functor - applicative + (control ["F" functor] + ["A" applicative] monad ["ex" exception #+ Exception]) (concurrency ["P" promise]) @@ -29,7 +29,7 @@ (All [a] (-> (Task a) (Task (R;Result a)))) (:: P;Functor<Promise> map (|>. #R;Success) computation)) -(struct: #export _ (Functor Task) +(struct: #export _ (F;Functor Task) (def: (map f fa) (:: P;Functor<Promise> map (function [fa'] @@ -41,7 +41,7 @@ (#R;Success (f a)))) fa))) -(struct: #export _ (Applicative Task) +(struct: #export _ (A;Applicative Task) (def: functor Functor<Task>) (def: wrap return) |