module Control.Monad.Par.State
(
SplittableState(..)
)
where
import Control.Monad
import qualified Control.Monad.Par.Class as PC
import Control.Monad.Trans
import qualified Control.Monad.Trans.State.Strict as S
import qualified Control.Monad.Trans.State.Lazy as SL
class SplittableState a where
splitState :: a -> (a,a)
instance (SplittableState s, PC.ParFuture fut p)
=> PC.ParFuture fut (S.StateT s p)
where
get = lift . PC.get
spawn_ (task :: S.StateT s p ans) =
do s <- S.get
let (s1,s2) = splitState s
S.put s2
lift$ PC.spawn_ $ S.evalStateT task s1
instance (SplittableState s, PC.ParIVar iv p)
=> PC.ParIVar iv (S.StateT s p)
where
fork (task :: S.StateT s p ()) =
do s <- S.get
let (s1,s2) = splitState s
S.put s2
lift$ PC.fork $ do S.runStateT task s1; return ()
new = lift PC.new
put_ v x = lift$ PC.put_ v x
newFull_ = lift . PC.newFull_
#if 0
instance (SplittableState s, PC.ParChan snd rcv p)
=> PC.ParChan snd rcv (S.StateT s p)
where
newChan = lift PC.newChan
recv r = lift $ PC.recv r
send s x = lift $ PC.send s x
#endif
instance (SplittableState s, PC.ParFuture fut p)
=> PC.ParFuture fut (SL.StateT s p)
where
get = lift . PC.get
spawn_ (task :: SL.StateT s p ans) =
do s <- SL.get
let (s1,s2) = splitState s
SL.put s2
lift$ PC.spawn_ $ SL.evalStateT task s1
instance (SplittableState s, PC.ParIVar iv p)
=> PC.ParIVar iv (SL.StateT s p)
where
fork (task :: SL.StateT s p ()) =
do s <- SL.get
let (s1,s2) = splitState s
SL.put s2
lift$ PC.fork $ do SL.runStateT task s1; return ()
new = lift PC.new
put_ v x = lift$ PC.put_ v x
newFull_ = lift . PC.newFull_
#if 0
instance (SplittableState s, PC.ParChan snd rcv p)
=> PC.ParChan snd rcv (SL.StateT s p)
where
newChan = lift PC.newChan
recv r = lift $ PC.recv r
send s x = lift $ PC.send s x
#endif