contravariant 0.3 → 0.4
raw patch · 2 files changed
+9/−4 lines, 2 filesdep +taggedPVP ok
version bump matches the API change (PVP)
Dependencies added: tagged
API changes (from Hackage documentation)
+ Data.Functor.Contravariant: instance Contravariant (Proxy *)
Files
- Data/Functor/Contravariant.hs +4/−0
- contravariant.cabal +5/−4
Data/Functor/Contravariant.hs view
@@ -42,6 +42,7 @@ import Data.Functor.Constant import Data.Functor.Compose import Data.Functor.Reverse+import Data.Proxy import Prelude hiding ((.),id) -- | Any instance should be subject to the following laws:@@ -86,6 +87,9 @@ instance Contravariant f => Contravariant (Reverse f) where contramap f = Reverse . contramap f . getReverse {-# INLINE contramap #-}++instance Contravariant Proxy where+ contramap _ Proxy = Proxy newtype Predicate a = Predicate { getPredicate :: a -> Bool }
contravariant.cabal view
@@ -1,6 +1,6 @@ name: contravariant category: Control, Data-version: 0.3+version: 0.4 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -23,9 +23,10 @@ library build-depends:- base < 5,- transformers >= 0.2 && < 0.4,- transformers-compat >= 0.1 && < 1+ base < 5,+ tagged >= 0.4.4 && < 1,+ transformers >= 0.2 && < 0.4,+ transformers-compat >= 0.1 && < 1 exposed-modules: Data.Functor.Contravariant Data.Functor.Contravariant.Compose