genifunctors 0.2.1.0 → 0.2.2.0

raw patch · 3 files changed

+12/−1 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Test.hs +4/−0
• TestTypes.hs +7/−0
• genifunctors.cabal +1/−1

@@ -43,6 +43,9 @@ travVCustom :: Applicative f => (a -> f a') -> (b -> f b') -> V a b -> f (V a' b') travVCustom = $(genTraverseT [(''U, 'travUCustom)] ''V) +travW :: Applicative f => (a -> f a') -> (b -> f b') -> W a b -> f (W a' b')+travW = $(genTraverse ''W)+ assertEq :: (Show a,Eq a) => a -> a -> IO () assertEq a b | a == b = return () assertEq a b = do@@ -59,5 +62,6 @@     let t = tell . s     assertEq (execWriter (travU t t t t v)) ([0,5,2,3,6])     assertEq (execWriter (travUCustom t t t t v)) ([0,5,3,2,6])+    assertEq (execWriter (travW t t (W 3))) [3]  

@@ -1,3 +1,8 @@+{-# LANGUAGE CPP #-}+{-# LANGUAGE KindSignatures #-}+#if __GLASGOW_HASKELL >= 704+{-# LANGUAGE PolyKinds #-}+#endif module TestTypes where  data U a b c d@@ -10,3 +15,5 @@ data V u v = X (U v v u u) | Z u  deriving (Eq,Show) +data W (a :: *) b = W b+ deriving (Eq,Show)

@@ -1,5 +1,5 @@ name:                genifunctors-version:             0.2.1.0+version:             0.2.2.0 synopsis:            Generate generalized fmap, foldMap and traverse description:         Generate (derive) fmap, foldMap and traverse for Bifunctors, Trifunctors, or a functor with any arity license:             BSD3