diff options
Diffstat (limited to 'stdlib/source/library/lux/control/thread.lux')
-rw-r--r-- | stdlib/source/library/lux/control/thread.lux | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/stdlib/source/library/lux/control/thread.lux b/stdlib/source/library/lux/control/thread.lux index 13ac32bf5..2725e4a84 100644 --- a/stdlib/source/library/lux/control/thread.lux +++ b/stdlib/source/library/lux/control/thread.lux @@ -64,35 +64,35 @@ (IO a))) (|>> ..result io.io)) -(implementation: .public functor +(def: .public functor (All (_ !) (Functor (Thread !))) + (implementation + (def: (each f) + (function (_ fa) + (function (_ !) + (f (fa !))))))) - (def: (each f) - (function (_ fa) - (function (_ !) - (f (fa !)))))) - -(implementation: .public apply +(def: .public apply (All (_ !) (Apply (Thread !))) + (implementation + (def: functor ..functor) - (def: functor ..functor) - - (def: (on fa ff) - (function (_ !) - ((ff !) (fa !))))) + (def: (on fa ff) + (function (_ !) + ((ff !) (fa !)))))) -(implementation: .public monad +(def: .public monad (All (_ !) (Monad (Thread !))) + (implementation + (def: functor ..functor) - (def: functor ..functor) + (def: (in value) + (function (_ !) + value)) - (def: (in value) - (function (_ !) - value)) - - (def: (conjoint ffa) - (function (_ !) - ((ffa !) !)))) + (def: (conjoint ffa) + (function (_ !) + ((ffa !) !))))) (def: .public (update! f box) (All (_ ! r w) (-> (-> r w) (Box' ! r w) (Thread ! [r w]))) |