exist 0.1.1.0 → 0.2.0.0

raw patch · 2 files changed

+6/−3 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Data.Exists.Constrained: liftE :: (forall k. c k => a k -> b k) -> E c a -> E c b

+ Data.Exists.Constrained: map :: (forall k. c k => a k -> b k) -> E c a -> E c b

+ Data.Exists.Constrained: mapF :: Functor f => (forall k. c k => a k -> f (b k)) -> E c a -> f (E c b)

Files

Data/Exists/Constrained.hs +5/−2
exist.cabal +1/−1

Data/Exists/Constrained.hs view

@@ -6,5 +6,8 @@ -- | Dependent sum data E c a = ∀ k . (Typeable k, c k) => E { unE :: a k } -liftE :: (∀ k . c k => a k -> b k) -> E c a -> E c b-liftE f (E a) = E (f a)+map :: (∀ k . c k => a k -> b k) -> E c a -> E c b+map f (E a) = E (f a)++mapF :: Functor f => (∀ k . c k => a k -> f (b k)) -> E c a -> f (E c b)+mapF f (E a) = E <$> f a

exist.cabal view

@@ -1,5 +1,5 @@ name:                exist-version:             0.1.1.0+version:             0.2.0.0 synopsis:            Dependent sum type -- description: license:             BSD3