packages feed

rio 0.1.16.0 → 0.1.17.0

raw patch · 4 files changed

+106/−65 lines, 4 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

+ RIO.Prelude: biList :: Bifoldable t => t a a -> [a]
+ RIO.Prelude: biall :: Bifoldable t => (a -> Bool) -> (b -> Bool) -> t a b -> Bool
+ RIO.Prelude: biand :: Bifoldable t => t Bool Bool -> Bool
+ RIO.Prelude: biany :: Bifoldable t => (a -> Bool) -> (b -> Bool) -> t a b -> Bool
+ RIO.Prelude: biasum :: (Bifoldable t, Alternative f) => t (f a) (f a) -> f a
+ RIO.Prelude: biconcat :: Bifoldable t => t [a] [a] -> [a]
+ RIO.Prelude: biconcatMap :: Bifoldable t => (a -> [c]) -> (b -> [c]) -> t a b -> [c]
+ RIO.Prelude: bielem :: (Bifoldable t, Eq a) => a -> t a a -> Bool
+ RIO.Prelude: bifind :: Bifoldable t => (a -> Bool) -> t a a -> Maybe a
+ RIO.Prelude: bifold :: (Bifoldable p, Monoid m) => p m m -> m
+ RIO.Prelude: bifoldMap :: (Bifoldable p, Monoid m) => (a -> m) -> (b -> m) -> p a b -> m
+ RIO.Prelude: bifoldl :: Bifoldable p => (c -> a -> c) -> (c -> b -> c) -> c -> p a b -> c
+ RIO.Prelude: bifoldl' :: Bifoldable t => (a -> b -> a) -> (a -> c -> a) -> a -> t b c -> a
+ RIO.Prelude: bifoldl1 :: Bifoldable t => (a -> a -> a) -> t a a -> a
+ RIO.Prelude: bifoldlM :: (Bifoldable t, Monad m) => (a -> b -> m a) -> (a -> c -> m a) -> a -> t b c -> m a
+ RIO.Prelude: bifoldr :: Bifoldable p => (a -> c -> c) -> (b -> c -> c) -> c -> p a b -> c
+ RIO.Prelude: bifoldr' :: Bifoldable t => (a -> c -> c) -> (b -> c -> c) -> c -> t a b -> c
+ RIO.Prelude: bifoldr1 :: Bifoldable t => (a -> a -> a) -> t a a -> a
+ RIO.Prelude: bifoldrM :: (Bifoldable t, Monad m) => (a -> c -> m c) -> (b -> c -> m c) -> c -> t a b -> m c
+ RIO.Prelude: bifor :: (Bitraversable t, Applicative f) => t a b -> (a -> f c) -> (b -> f d) -> f (t c d)
+ RIO.Prelude: bifor_ :: (Bifoldable t, Applicative f) => t a b -> (a -> f c) -> (b -> f d) -> f ()
+ RIO.Prelude: bilength :: Bifoldable t => t a b -> Int
+ RIO.Prelude: bimap :: Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d
+ RIO.Prelude: bimapAccumL :: Bitraversable t => (a -> b -> (a, c)) -> (a -> d -> (a, e)) -> a -> t b d -> (a, t c e)
+ RIO.Prelude: bimapAccumR :: Bitraversable t => (a -> b -> (a, c)) -> (a -> d -> (a, e)) -> a -> t b d -> (a, t c e)
+ RIO.Prelude: bimaximum :: (Bifoldable t, Ord a) => t a a -> a
+ RIO.Prelude: bimaximumBy :: Bifoldable t => (a -> a -> Ordering) -> t a a -> a
+ RIO.Prelude: biminimum :: (Bifoldable t, Ord a) => t a a -> a
+ RIO.Prelude: biminimumBy :: Bifoldable t => (a -> a -> Ordering) -> t a a -> a
+ RIO.Prelude: binotElem :: (Bifoldable t, Eq a) => a -> t a a -> Bool
+ RIO.Prelude: binull :: Bifoldable t => t a b -> Bool
+ RIO.Prelude: bior :: Bifoldable t => t Bool Bool -> Bool
+ RIO.Prelude: biproduct :: (Bifoldable t, Num a) => t a a -> a
+ RIO.Prelude: bisequence :: (Bitraversable t, Applicative f) => t (f a) (f b) -> f (t a b)
+ RIO.Prelude: bisequence_ :: (Bifoldable t, Applicative f) => t (f a) (f b) -> f ()
+ RIO.Prelude: bisum :: (Bifoldable t, Num a) => t a a -> a
+ RIO.Prelude: bitraverse :: (Bitraversable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f (t c d)
+ RIO.Prelude: bitraverse_ :: (Bifoldable t, Applicative f) => (a -> f c) -> (b -> f d) -> t a b -> f ()
+ RIO.Prelude.Types: class Bifoldable (p :: Type -> Type -> Type)
+ RIO.Prelude.Types: class Bifunctor (p :: Type -> Type -> Type)
+ RIO.Prelude.Types: class (Bifunctor t, Bifoldable t) => Bitraversable (t :: Type -> Type -> Type)
- RIO.Prelude: first :: Arrow a => a b c -> a (b, d) (c, d)
+ RIO.Prelude: first :: Bifunctor p => (a -> b) -> p a c -> p b c
- RIO.Prelude: second :: Arrow a => a b c -> a (d, b) (d, c)
+ RIO.Prelude: second :: Bifunctor p => (b -> c) -> p a b -> p a c

Files

ChangeLog.md view
@@ -1,5 +1,11 @@ # Changelog for rio +## 0.1.17.0++* Expose `Bifunctor`, `Bifoldable`, and `Bitraversable`.+* The `first` and `second` functions exported by `RIO` formerly originated from+  `Control.Arrow`. They now come from `Bifunctor`.+ ## 0.1.16.0  * Expand the number of `microlens` functions exported by the RIO prelude.
rio.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           rio-version:        0.1.16.0+version:        0.1.17.0 synopsis:       A standard library for Haskell description:    See README and Haddocks at <https://www.stackage.org/package/rio> category:       Control
src/RIO/Prelude.hs view
@@ -264,6 +264,55 @@   , Control.Monad.when   , Control.Monad.unless +    -- * @Bifunctor@+    -- | Re-exported from "Data.Bifunctor":+  , Data.Bifunctor.bimap+  , Data.Bifunctor.first+  , Data.Bifunctor.second++    -- * @Bifoldable@+    -- | Re-exported from "Data.Bifoldable":+  , Data.Bifoldable.bifold+  , Data.Bifoldable.bifoldMap+  , Data.Bifoldable.bifoldr+  , Data.Bifoldable.bifoldl+  , Data.Bifoldable.bifoldr'+  , Data.Bifoldable.bifoldr1+  , Data.Bifoldable.bifoldrM+  , Data.Bifoldable.bifoldl'+  , Data.Bifoldable.bifoldl1+  , Data.Bifoldable.bifoldlM+  , Data.Bifoldable.bitraverse_+  , Data.Bifoldable.bifor_+  , Data.Bifoldable.bisequence_+  , Data.Bifoldable.biasum+  , Data.Bifoldable.biList+  , Data.Bifoldable.binull+  , Data.Bifoldable.bilength+  , Data.Bifoldable.bielem+  , Data.Bifoldable.bimaximum+  , Data.Bifoldable.biminimum+  , Data.Bifoldable.bisum+  , Data.Bifoldable.biproduct+  , Data.Bifoldable.biconcat+  , Data.Bifoldable.biconcatMap+  , Data.Bifoldable.biand+  , Data.Bifoldable.bior+  , Data.Bifoldable.biany+  , Data.Bifoldable.biall+  , Data.Bifoldable.bimaximumBy+  , Data.Bifoldable.biminimumBy+  , Data.Bifoldable.binotElem+  , Data.Bifoldable.bifind++    -- * @Bitraverse@+    -- | Re-exported from "Data.Bitraversable":+  , Data.Bitraversable.bitraverse+  , Data.Bitraversable.bisequence+  , Data.Bitraversable.bifor+  , Data.Bitraversable.bimapAccumL+  , Data.Bitraversable.bimapAccumR+     -- * @MonadPlus@     -- | Re-exported from "Control.Monad":   , Control.Monad.mzero@@ -273,8 +322,6 @@      -- * @Arrow@     -- | Re-exported from "Control.Arrow" and "Control.Category":-  , Control.Arrow.first-  , Control.Arrow.second   , (Control.Arrow.&&&)   , (Control.Arrow.***)   , (Control.Category.>>>)@@ -385,61 +432,38 @@ import qualified RIO.Prelude.Text import qualified RIO.Prelude.Types -import Prelude ((*))-import qualified Prelude-+import qualified Control.Applicative+import qualified Control.Arrow+import qualified Control.Category+import qualified Control.DeepSeq+import qualified Control.Monad+import qualified Control.Monad.Primitive (primitive)+import qualified Control.Monad.Reader+import qualified Control.Monad.ST+import qualified Data.Bifoldable+import qualified Data.Bifunctor+import qualified Data.Bitraversable import qualified Data.Bool--import qualified Data.Maybe-+import qualified Data.ByteString.Short import qualified Data.Either--import qualified Data.Tuple- import qualified Data.Eq--import qualified Data.Ord--import qualified Data.Word--import qualified Data.Semigroup--import qualified Data.Monoid--import qualified Data.Functor--import qualified Control.Applicative--import qualified Control.Monad- import qualified Data.Foldable--import qualified Data.Traversable--import qualified Control.Arrow-import qualified Control.Category- import qualified Data.Function-+import qualified Data.Functor import qualified Data.List-+import qualified Data.Maybe+import qualified Data.Monoid+import qualified Data.Ord+import qualified Data.Semigroup import qualified Data.String--import qualified Text.Show--import qualified Text.Read--import qualified Control.DeepSeq--import qualified Data.Void--import qualified Control.Monad.Reader--import qualified Data.ByteString.Short--import qualified Data.Text.Encoding (decodeUtf8', decodeUtf8With, encodeUtf8,-                                     encodeUtf8Builder)+import qualified Data.Text.Encoding+    (decodeUtf8', decodeUtf8With, encodeUtf8, encodeUtf8Builder) import qualified Data.Text.Encoding.Error (lenientDecode)--import qualified Control.Monad.Primitive (primitive)-import qualified Control.Monad.ST+import qualified Data.Traversable+import qualified Data.Tuple+import qualified Data.Void+import qualified Data.Word+import           Prelude ((*))+import qualified Prelude+import qualified Text.Read+import qualified Text.Show
src/RIO/Prelude/Types.hs view
@@ -133,9 +133,15 @@     -- **** @Functor@     -- | Re-exported from "Data.Functor":   , Data.Functor.Functor+    -- **** @Bifunctor@+    -- | Re-exported from "Data.Bifunctor":+  , Data.Bifunctor.Bifunctor     -- **** @Foldable@     -- | Re-exported from "Data.Foldable":   , Data.Foldable.Foldable+    -- **** @Bifoldable@+    -- | Re-exported from "Data.Bifoldable":+  , Data.Bifoldable.Bifoldable     -- **** @Semigroup@     -- | Re-exported from "Data.Semigroup":   , Data.Semigroup.Semigroup@@ -151,6 +157,9 @@     -- **** @Traversable@     -- | Re-exported from "Data.Traversable":   , Data.Traversable.Traversable+    -- **** @Bitraversable@+    -- | Re-exported from "Data.Bitraversable":+  , Data.Bitraversable.Bitraversable     -- **** @Monad@     -- | Re-exported from "Control.Monad":   , Control.Monad.Monad@@ -287,17 +296,6 @@   , Control.Monad.Primitive.PrimMonad (PrimState)   ) where -import qualified Control.Monad.Primitive (PrimMonad(..))-import qualified Data.ByteString (ByteString)-import qualified Data.ByteString.Builder (Builder)-import qualified Data.Monoid (Monoid)-import qualified Data.Semigroup (Semigroup)-import qualified Data.String (IsString, String)-import qualified Data.Text (Text)-import qualified Data.Typeable-import qualified System.IO--import qualified Data.Vector.Unboxed (Unbox) import qualified RIO.Prelude.Renames  import qualified Control.Applicative@@ -308,9 +306,15 @@ import qualified Control.Monad import qualified Control.Monad.Catch import qualified Control.Monad.Fail+import qualified Control.Monad.Primitive (PrimMonad(..)) import qualified Control.Monad.Reader import qualified Control.Monad.ST+import qualified Data.Bifoldable+import qualified Data.Bifunctor+import qualified Data.Bitraversable import qualified Data.Bool+import qualified Data.ByteString (ByteString)+import qualified Data.ByteString.Builder (Builder) import qualified Data.ByteString.Short import qualified Data.Char import qualified Data.Data@@ -331,14 +335,20 @@ import qualified Data.List.NonEmpty import qualified Data.Map.Strict import qualified Data.Maybe+import qualified Data.Monoid (Monoid) import qualified Data.Ord import qualified Data.Proxy import qualified Data.Ratio+import qualified Data.Semigroup (Semigroup) import qualified Data.Sequence import qualified Data.Set+import qualified Data.String (IsString, String)+import qualified Data.Text (Text) import qualified Data.Text.Encoding.Error import qualified Data.Traversable+import qualified Data.Typeable import qualified Data.Vector+import qualified Data.Vector.Unboxed (Unbox) import qualified Data.Void import qualified Data.Word import qualified Foreign.Storable@@ -347,8 +357,9 @@ import qualified Numeric.Natural import qualified Prelude import qualified System.Exit+import qualified System.IO import qualified Text.Read import qualified Text.Show  -- Bring instances for some of the unliftio types in scope, so they can be documented here.-import UnliftIO ()+import           UnliftIO ()