diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/control/thread.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/control/thread.lux b/stdlib/source/lux/control/thread.lux index 9aad8aca0..708f385a2 100644 --- a/stdlib/source/lux/control/thread.lux +++ b/stdlib/source/lux/control/thread.lux @@ -47,7 +47,7 @@ a)) (thread [])) -(structure: #export Functor<Thread> +(structure: #export functor (All [!] (Functor (Thread !))) (def: (map f) @@ -55,19 +55,19 @@ (function (_ !) (f (fa !)))))) -(structure: #export Apply<Thread> +(structure: #export apply (All [!] (Apply (Thread !))) - (def: functor Functor<Thread>) + (def: &functor ..functor) (def: (apply ff fa) (function (_ !) ((ff !) (fa !))))) -(structure: #export Monad<Thread> +(structure: #export monad (All [!] (Monad (Thread !))) - (def: functor Functor<Thread>) + (def: &functor ..functor) (def: (wrap value) (function (_ !) @@ -79,7 +79,7 @@ (def: #export (update f box) (All [a] (-> (-> a a) (All [!] (-> (Box ! a) (Thread ! a))))) - (do Monad<Thread> + (do ..monad [old (read box) _ (write (f old) box)] (wrap old))) |