exist 0.1.0.0 → 0.1.1.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

Files

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

Data/Exists/Constrained.hs view

@@ -1,7 +1,10 @@-{-# LANGUAGE ExistentialQuantification #-}+{-# LANGUAGE ExistentialQuantification, RankNTypes #-} module Data.Exists.Constrained where  import Data.Typeable  -- | Dependent sum-data E c a = forall k . (Typeable k, c k) => E { unE :: a k }+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)

exist.cabal view

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