semigroupoids 1.3 → 1.3.1

raw patch · 5 files changed

+23/−4 lines, 5 filesdep ~transformers

Dependency ranges changed: transformers

Files

• Data/Semigroup/Foldable.hs +1/−0
• Data/Semigroup/Traversable.hs +1/−0
• Data/Semigroupoid/Dual.hs +2/−2
• Data/Traversable/Instances.hs +16/−0
• semigroupoids.cabal +3/−2

@@ -25,6 +25,7 @@ import Data.Functor.Compose import Data.Tree import Data.List.NonEmpty (NonEmpty(..))+import Data.Traversable.Instances () import Data.Semigroup hiding (Product) import Prelude hiding (foldr) 

@@ -22,6 +22,7 @@ import Data.Functor.Compose import Data.Semigroup.Foldable import Data.Traversable+import Data.Traversable.Instances () import Data.Tree import Data.List.NonEmpty (NonEmpty(..)) import Data.Semigroup hiding (Product)

@@ -8,7 +8,7 @@ -- Stability   :  provisional -- Portability :  portable ----- A semigroupoid satisfies all of the requirements to be a Category except +-- A semigroupoid satisfies all of the requirements to be a Category except -- for the existence of identity arrows. ---------------------------------------------------------------------------- module Data.Semigroupoid.Dual (Dual(..)) where@@ -17,7 +17,7 @@ import Control.Category import Prelude () -newtype Dual k a b = Dual { getDual :: k b a } +newtype Dual k a b = Dual { getDual :: k b a }  instance Semigroupoid k => Semigroupoid (Dual k) where   Dual f `o` Dual g = Dual (g `o` f)

@@ -0,0 +1,16 @@+{-# LANGUAGE CPP #-}+-- | Placeholders for missing instances of Traversable, until base catches up and adds them+{-# OPTIONS_GHC -fno-warn-orphans #-}+module Data.Traversable.Instances where++#if !MIN_VERSION_transformers(0,3,0)+import Control.Monad.Trans.Identity+import Data.Foldable+import Data.Traversable++instance Foldable m => Foldable (IdentityT m) where+  foldMap f = foldMap f . runIdentityT++instance Traversable m => Traversable (IdentityT m) where+  traverse f = fmap IdentityT . traverse f . runIdentityT+#endif

@@ -1,6 +1,6 @@ name:          semigroupoids category:      Control, Comonads-version:       1.3+version:       1.3.1 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE@@ -50,7 +50,7 @@ library   build-depends:     base          >= 4       && < 5,-    transformers  >= 0.3     && < 0.4,+    transformers  >= 0.2     && < 0.3,     containers    >= 0.3     && < 0.5,     contravariant >= 0.2.0.1 && < 0.3,     comonad       >= 1.1.1.2 && < 1.2,@@ -67,5 +67,6 @@     Data.Semigroupoid     Data.Semigroupoid.Dual     Data.Semigroupoid.Static+    Data.Traversable.Instances    ghc-options: -Wall