barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-11-26 20:30:30 +03:00
Code Issues Projects Releases Wiki Activity

Drop 'spawnP', as it only really makes sense for NFData

Browse Source
This commit is contained in:
Michael Walker 2014-12-18 18:22:50 +00:00
parent f2dae49d71
commit 9361499b01
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Control/Monad/Conc/Class.hs
View File

@ -23,8 +23,6 @@ import Data.Maybe (maybe)
-- abstracts Conc monads which support futures. In itself, this is not
-- enough to implement nondeterminism, however the class is provided
-- to remove the 'NFData' constraints imposed by 'ParFuture'.
--
-- A minimal implementation consists of 'spawn' and 'get'.
class Monad m => ConcFuture future m | m -> future where
-- | Create a concurrent computation for the provided action, and
-- return a future which can be used to query the result.
@ -35,12 +33,6 @@ class Monad m => ConcFuture future m | m -> future where
-- 'get's are possible, unlike 'takeMVar' for example.
get :: future a -> m a
-- | Spawn a concurrent pure (non-monadic) computation.
--
-- > spawnP = spawn . return
spawnP :: a -> m (future a)
spawnP = spawn . return
instance ConcFuture MVar IO where
spawn ma = do
mvar <- newEmptyMVar