streaming 0.2.3.1 → 0.2.4.0

raw patch · 4 files changed

+21/−15 lines, 4 filesdep ~basedep ~mtldep ~transformersnew-uploader

Dependency ranges changed: base, mtl, transformers

Files

• changelog.md +3/−0
• src/Data/Functor/Of.hs +1/−1
• src/Streaming/Internal.hs +14/−11
• streaming.cabal +3/−3

@@ -1,4 +1,7 @@ - 0.2.4.0+    Build on GHC 9.6.++- 0.2.3.1     Bifoldable and Bitraversable instances for Of.      Various documentation fixes.

@@ -78,7 +78,7 @@ instance Monoid a => Monad (Of a) where   return = pure   {-#INLINE return #-}-  (m :> _) >> (m' :> y) = mappend m m' :> y+  (>>) = (*>)   {-#INLINE (>>) #-}   (m :> x) >>= f = let m' :> y = f x in mappend m m' :> y   {-#INLINE (>>=) #-}

@@ -194,21 +194,26 @@ -- like producing @m String@, except that a @ShowSWrapper@ can be -- shown at any precedence. So the 'Show' instance for @m@ can show -- the contents at the correct precedence.-instance (Monad m, Show r, Show (m ShowSWrapper), Show (f (Stream f m r)))+instance (Monad m, Functor f, Show (m ShowSWrapper), Show (f ShowSWrapper), Show r)          => Show (Stream f m r) where-  showsPrec p xs = showParen (p > 10) $-                     showString "Effect " . (showsPrec 11 $-    flip fmap (inspect xs) $ \front ->-      SS $ \d -> showParen (d > 10) $-        case front of-          Left  r -> showString "Return " . showsPrec 11 r-          Right f -> showString "Step "   . showsPrec 11 f)+  showsPrec = liftShowsPrec' showsPrec showList  #if MIN_VERSION_base(4,9,0)  instance (Monad m, Functor f, Show (m ShowSWrapper), Show (f ShowSWrapper))          => Show1 (Stream f m) where-  liftShowsPrec sp sl p xs = showParen (p > 10) $+  liftShowsPrec = liftShowsPrec'++#endif++liftShowsPrec'+  :: (Monad m, Functor f, Show (m ShowSWrapper), Show (f ShowSWrapper))+  => (Int -> a -> ShowS)+  -> ([a] -> ShowS)+  -> Int+  -> Stream f m a+  -> ShowS+liftShowsPrec' sp sl p xs = showParen (p > 10) $                      showString "Effect " . (showsPrec 11 $     flip fmap (inspect xs) $ \front ->       SS $ \d -> showParen (d > 10) $@@ -216,8 +221,6 @@           Left  r -> showString "Return " . sp 11 r           Right f -> showString "Step "   .                      showsPrec 11 (fmap (SS . (\str i -> liftShowsPrec sp sl i str)) f))--#endif  newtype ShowSWrapper = SS (Int -> ShowS) instance Show ShowSWrapper where

@@ -1,5 +1,5 @@ name:                streaming-version:             0.2.3.1+version:             0.2.4.0 cabal-version:       >=1.10 build-type:          Simple synopsis:            an elementary streaming prelude and general stream type.@@ -206,9 +206,9 @@     , Data.Functor.Of   build-depends:       base >=4.8 && <5-    , mtl >=2.1 && <2.3+    , mtl >=2.1 && <2.4     , mmorph >=1.0 && <1.3-    , transformers >=0.4 && <0.6+    , transformers >=0.4 && <0.7     , transformers-base < 0.5     , ghc-prim     , containers