stateWriter 0.2.10 → 0.3.0

raw patch · 4 files changed

+16/−3 lines, 4 filesdep ~base

Dependency ranges changed: base

Files

• Control/Monad/Trans/RSS/Lazy.hs +2/−0
• Control/Monad/Trans/RSS/Strict.hs +2/−0
• stateWriter.cabal +3/−3
• tests/rwscompare.hs +9/−0

@@ -128,6 +128,8 @@     m >>= k  = RSST $ \r s -> do         ~(a, (s', w))  <- runRSST' m r s         runRSST' (k a) r (s',w)++instance (MonadFail m) => MonadFail (RSST r w s m) where     fail msg = RSST $ \_ _ -> fail msg  instance (MonadPlus m) => MonadPlus (RSST r w s m) where

@@ -131,6 +131,8 @@         (a, (s', w))  <- runRSST' m r s         runRSST' (k a) r (s',w)     {-# INLINE (>>=) #-}++instance (MonadFail m) => MonadFail (RSST r w s m) where     fail msg = RSST $ \_ _ -> fail msg  instance (MonadPlus m) => MonadPlus (RSST r w s m) where

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                stateWriter-version:             0.2.10+version:             0.3.0 synopsis:            A faster variant of the RWS monad transformers. description:         This is a version of the RWS monad transformers that should be much faster than what's found in transformers. The writer in the strict version does not leak memory. license:             BSD3@@ -14,7 +14,7 @@ build-type:          Simple -- extra-source-files: cabal-version:       >=1.10-Tested-With:         GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1, GHC == 8.2.1+Tested-With:         GHC == 8.8.4, GHC == 8.10.2  source-repository head   type: git@@ -24,7 +24,7 @@   exposed-modules:     Control.Monad.Trans.RSS.Lazy, Control.Monad.Trans.RSS.Strict, Control.Monad.RSS.Lazy, Control.Monad.RSS.Strict, Control.Monad.RSS, Control.Monad.Trans.RSS   ghc-options:         -Wall   other-extensions:    FlexibleInstances, MultiParamTypeClasses-  build-depends:       base >=4.6 && < 5, transformers >=0.3 && <0.6, mtl >=2.1 && <2.3+  build-depends:       base >= 4.13 && < 5, transformers >=0.3 && <0.6, mtl >=2.1 && <2.3   default-language:    Haskell2010  test-suite spaceleak

@@ -5,6 +5,7 @@ import Control.Monad.RWS import Test.Hspec import Test.QuickCheck+import Data.Functor.Classes import Control.Applicative import Control.Monad.Free import Prelude@@ -57,6 +58,14 @@     show (AskAndStore i n) = "AskAndStore " ++ show i ++ " / " ++ show n     show (GetAndStore i n) = "GetAndStore " ++ show i ++ " / " ++ show n     show (Modify s n) = "Modify " ++ show s ++ " / " ++ show n++instance Show1 ActionF where+  liftShowsPrec showp _ _ a = case a of+    Tell x n -> showString "Tell " . shows x . showString " / " . showp 0 n+    SetState s n -> showString "Set " . shows s . showString " / " . showp 0 n+    AskAndStore i n -> showString "AskAndStore " . shows i . showString " / " . showp 0 n+    GetAndStore i n -> showString "GetAndStore " . shows i . showString " / " . showp 0 n+    Modify s n -> showString "Modify " . shows s . showString " / " . showp 0 n  evaluateActions :: (MonadRWS Int [Int] Int m) => Action x -> m x evaluateActions (Free (Tell x next))        = tell x >>  evaluateActions next