contravariant 1.3.1.1 → 1.3.2

raw patch · 3 files changed

+13/−6 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Data.Functor.Contravariant: ($<) :: Contravariant f => f b -> b -> f a

Files

CHANGELOG.markdown +4/−0
contravariant.cabal +1/−1
src/Data/Functor/Contravariant.hs +8/−5

CHANGELOG.markdown view

@@ -1,3 +1,7 @@+1.3.2+-----+* Add `($<)` operator+ 1.3.1.1 ------- * Fixed builds on GHC 7.2

contravariant.cabal view

@@ -1,6 +1,6 @@ name:          contravariant category:      Control, Data-version:       1.3.1.1+version:       1.3.2 license:       BSD3 cabal-version: >= 1.6 license-file:  LICENSE

src/Data/Functor/Contravariant.hs view

@@ -43,7 +43,7 @@   , phantom    -- * Operators-  , (>$<), (>$$<)+  , (>$<), (>$$<), ($<)    -- * Predicates   , Predicate(..)@@ -90,8 +90,6 @@ import Data.Proxy #endif -import Data.Void- #ifdef MIN_VERSION_StateVar import Data.StateVar #endif@@ -132,9 +130,14 @@ -- 'contramap' f ≡ 'phantom' -- @ phantom :: (Functor f, Contravariant f) => f a -> f b-phantom x = absurd <$> contramap absurd x+phantom x = () <$ x $< () -infixl 4 >$, >$<, >$$<+infixl 4 >$, $<, >$<, >$$<++-- | This is '>$' with its arguments flipped.+($<) :: Contravariant f => f b -> b -> f a+($<) = flip (>$)+{-# INLINE ($<) #-}  -- | This is an infix alias for 'contramap' (>$<) :: Contravariant f => (a -> b) -> f b -> f a