representable-profunctors 3.0 → 3.1
raw patch · 2 files changed
+10/−2 lines, 2 filesdep +taggeddep ~profunctorsPVP ok
version bump matches the API change (PVP)
Dependencies added: tagged
Dependency ranges changed: profunctors
API changes (from Hackage documentation)
+ Data.Profunctor.Representable: instance RepresentableProfunctor (Tagged *)
Files
Data/Profunctor/Representable.hs view
@@ -6,8 +6,10 @@ import Data.Functor import Data.Functor.Identity import Data.Functor.Compose+import Data.Proxy import Data.Profunctor import Data.Profunctor.Composition+import Data.Tagged import Control.Comonad class (Profunctor k, Functor (Rep k)) => RepresentableProfunctor k where@@ -24,6 +26,11 @@ type Rep (Cokleisli w) = w tabulatePro = Cokleisli indexPro = runCokleisli++instance RepresentableProfunctor Tagged where+ type Rep Tagged = Proxy+ tabulatePro f = Tagged (f Proxy)+ indexPro (Tagged a) _ = a instance Functor f => RepresentableProfunctor (DownStar f) where type Rep (DownStar f) = f
representable-profunctors.cabal view
@@ -1,6 +1,6 @@ name: representable-profunctors category: Control, Categories-version: 3.0+version: 3.1 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE@@ -28,8 +28,9 @@ build-depends: base >= 4 && < 5, comonad == 3.0.*,- profunctors == 3.0.*,+ profunctors == 3.1.*, profunctor-extras == 3.0.*,+ tagged >= 0.4.4 && < 0.5, transformers >= 0.2 && < 0.4 exposed-modules: