tagged 0.4.4 → 0.4.5

raw patch · 3 files changed

+10/−1 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

+ Data.Tagged: witness :: Tagged a b -> a -> b

Files

CHANGELOG.markdown +4/−0
Data/Tagged.hs +5/−0
tagged.cabal +1/−1

CHANGELOG.markdown view

@@ -1,3 +1,7 @@+0.4.5+-----+* Added `witness`+ 0.4.4 ----- * Actually working polymorphic kind support

Data/Tagged.hs view

@@ -26,6 +26,7 @@     , tagSelf     , untagSelf     , asTaggedTypeOf+    , witness     ) where  import Control.Applicative ((<$>), liftA2, Applicative(..))@@ -243,6 +244,10 @@ asTaggedTypeOf :: s -> Tagged s b -> s asTaggedTypeOf = const {-# INLINE asTaggedTypeOf #-}++witness :: Tagged a b -> a -> b+witness (Tagged b) _ = b+{-# INLINE witness #-}  -- | 'untagSelf' is a type-restricted version of 'untag'. untagSelf :: Tagged a a -> a

tagged.cabal view

@@ -1,5 +1,5 @@ name:           tagged-version:        0.4.4+version:        0.4.5 license:        BSD3 license-file:   LICENSE author:         Edward A. Kmett