colonnade 0.4.1 → 0.4.4
raw patch · 3 files changed
+5/−7 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Colonnade.Internal: foldMapM :: (Foldable t, Monoid b, Monad m) => (a -> m b) -> t a -> m b
- Colonnade.Types: DecodingAp :: !(f content) -> !(content -> Either String a) -> !(Decoding f content (a -> b)) -> Decoding f content b
- Colonnade.Types: DecodingPure :: !a -> Decoding f content a
+ Colonnade.Internal: foldlMapM :: (Foldable t, Monoid b, Monad m) => (a -> m b) -> t a -> m b
+ Colonnade.Types: [DecodingAp] :: !(f content) -> !(content -> Either String a) -> !(Decoding f content (a -> b)) -> Decoding f content b
+ Colonnade.Types: [DecodingPure] :: !a -> Decoding f content a
- Colonnade.Decoding: contramapContent :: Contravariant f => (c2 -> c1) -> Decoding f c1 a -> Decoding f c2 a
+ Colonnade.Decoding: contramapContent :: forall c1 c2 f a. Contravariant f => (c2 -> c1) -> Decoding f c1 a -> Decoding f c2 a
- Colonnade.Decoding: headedToIndexed :: Eq content => Vector content -> Decoding Headed content a -> Either (HeadingErrors content) (Decoding (Indexed Headed) content a)
+ Colonnade.Decoding: headedToIndexed :: forall content a. Eq content => Vector content -> Decoding Headed content a -> Either (HeadingErrors content) (Decoding (Indexed Headed) content a)
- Colonnade.Decoding: headlessToIndexed :: Decoding Headless c a -> Decoding (Indexed Headless) c a
+ Colonnade.Decoding: headlessToIndexed :: forall c a. Decoding Headless c a -> Decoding (Indexed Headless) c a
- Colonnade.Decoding: length :: Decoding f c a -> Int
+ Colonnade.Decoding: length :: forall f c a. Decoding f c a -> Int
- Colonnade.Decoding: maxIndex :: Decoding (Indexed f) c a -> Int
+ Colonnade.Decoding: maxIndex :: forall f c a. Decoding (Indexed f) c a -> Int
- Colonnade.Decoding: uncheckedRun :: Decoding (Indexed f) content a -> Vector content -> Either (DecodingCellErrors f content) a
+ Colonnade.Decoding: uncheckedRun :: forall content a f. Decoding (Indexed f) content a -> Vector content -> Either (DecodingCellErrors f content) a
Files
- colonnade.cabal +1/−1
- src/Colonnade/Encoding.hs +1/−3
- src/Colonnade/Internal.hs +3/−3
colonnade.cabal view
@@ -1,5 +1,5 @@ name: colonnade-version: 0.4.1+version: 0.4.4 synopsis: Generic types and functions for columnar encoding and decoding description: Please see README.md homepage: https://github.com/andrewthad/colonnade#readme
src/Colonnade/Encoding.hs view
@@ -32,9 +32,7 @@ -> a -> m b runRowMonadic (Encoding v) g a =- -- fmap (mconcat . Vector.toList)- -- $ Vector.forM v- flip Internal.foldMapM v+ flip Internal.foldlMapM v $ \e -> g (oneEncodingEncode e a) runRowMonadicWith :: (Monad m)
src/Colonnade/Internal.hs view
@@ -1,7 +1,7 @@ {-# LANGUAGE DeriveFunctor #-} module Colonnade.Internal where -import Data.Foldable (foldrM)+import Data.Foldable (foldrM,foldlM) newtype EitherWrap a b = EitherWrap { getEitherWrap :: Either a b@@ -18,6 +18,6 @@ mapLeft _ (Right a) = Right a mapLeft f (Left a) = Left (f a) -foldMapM :: (Foldable t, Monoid b, Monad m) => (a -> m b) -> t a -> m b-foldMapM f = foldrM (\a b -> fmap (flip mappend b) (f a)) mempty+foldlMapM :: (Foldable t, Monoid b, Monad m) => (a -> m b) -> t a -> m b+foldlMapM f = foldlM (\b a -> fmap (mappend b) (f a)) mempty