barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-19 19:41:31 +03:00
Code Issues Projects Releases Wiki Activity

Add MonadSTM constraint to MonadConc

Browse Source
This commit is contained in:
Michael Walker 2015-02-10 01:19:45 +00:00
parent 1cc5ade782
commit 78ee2b2f75
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,4 +1,5 @@
{-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeFamilies #-}
-- | This module captures in a typeclass the interface of concurrency -- | This module captures in a typeclass the interface of concurrency
-- monads. -- monads.
@ -35,7 +36,7 @@ import qualified Control.Monad.STM as S
-- 'takeCVar' and 'putCVar', however, are very inefficient, and should -- 'takeCVar' and 'putCVar', however, are very inefficient, and should
-- probably always be overridden to make use of -- probably always be overridden to make use of
-- implementation-specific blocking functionality. -- implementation-specific blocking functionality.
class Monad m => MonadConc m where class (Monad m, MonadSTM (STMLike m)) => MonadConc m where
-- | The associated 'MonadSTM' for this class. -- | The associated 'MonadSTM' for this class.
type STMLike m :: * -> * type STMLike m :: * -> *