global 0.2.0.1 → 0.2.1.0
raw patch · 3 files changed
+18/−5 lines, 3 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Data.Global: instance (Data (u a), Typeable u, Typeable a) => Data (UDEmpty u a)
+ Data.Global: instance Eq (u a) => Eq (UDEmpty u a)
+ Data.Global: instance Ord (u a) => Ord (UDEmpty u a)
+ Data.Global: instance Read (u a) => Read (UDEmpty u a)
+ Data.Global: instance Show (u a) => Show (UDEmpty u a)
+ Data.Global: instance Typeable UDEmpty
+ Data.Global: unUDEmpty :: UDEmpty u a -> u a
- Data.Global: UDEmpty :: (u a) -> UDEmpty u a
+ Data.Global: UDEmpty :: u a -> UDEmpty u a
Files
- CHANGELOG.md +9/−0
- global.cabal +5/−3
- src/Data/Global.hs +4/−2
CHANGELOG.md view
@@ -1,6 +1,15 @@ PLACEHOLDER ----- +0.2.1.0+-----+* Add instances to `UDEmpty`.++0.2.0.2+-----+* Add homepage and bug-reports to cabal file, linking to the github repository+ and its issue tracker, respectively.+ 0.2.0.1 ----- * Revise synopsis, because "Haskell2010 compatible" suggests that both the
global.cabal view
@@ -1,6 +1,6 @@ name: global -- Don't forget to bump the tag and CHANGELOG placeholder too.-version: 0.2.0.1+version: 0.2.1.0 cabal-version: >= 1.18 build-type: Simple license: BSD3@@ -9,6 +9,8 @@ author: Byron James Johnson maintainer: ByronJohnsonFP@gmail.com category: Data, Language, System+homepage: https://github.com/bairyn/global+bug-reports: https://github.com/bairyn/global/issues tested-with: GHC == 7.8.3 extra-source-files: -- The extra-doc-files property requires cabal-version >= 1.18.@@ -62,7 +64,7 @@ default-extensions: --,GADTs TemplateHaskell- --,DeriveDataTypeable+ ,DeriveDataTypeable other-extensions: FlexibleInstances @@ -73,4 +75,4 @@ source-repository this type: git location: git@github.com:bairyn/global.git- tag: v0.2.0.1+ tag: v0.2.1.0
src/Data/Global.hs view
@@ -1,4 +1,4 @@-{-# LANGUAGE TemplateHaskell, FlexibleInstances #-}+{-# LANGUAGE TemplateHaskell, DeriveDataTypeable, FlexibleInstances #-} -- TODO: The DRY principle is violated in the instance declarations of -- 'UniqueDeclaration'. Fix by writing an abstraction.@@ -53,6 +53,7 @@ import Control.Concurrent.STM.TVar import Control.Concurrent.STM.TMVar import Control.Concurrent.STM.TChan+import Data.Data import Data.IORef import Data.Tagged import Debug.Trace.LocationTH@@ -736,7 +737,8 @@ ] -- | Identity type wrapper that indicates that the unique declaration should be "empty" by default.-newtype UDEmpty u a = UDEmpty (u a)+newtype UDEmpty u a = UDEmpty {unUDEmpty :: u a}+ deriving (Eq, Ord, Show, Read, Data, Typeable) -- | Tagged name type. type UN u = Tagged (Cnt u) Name