packages feed

logic-TPTP 0.4.5.0 → 0.4.6.0

raw patch · 3 files changed

+10/−5 lines, 3 filesdep +semigroupsPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependencies added: semigroups

API changes (from Hackage documentation)

- Codec.TPTP.Base: instance (Data.Data.Data formula, Data.Data.Data term) => Data.Data.Data (Codec.TPTP.Base.Formula0 term formula)
- Codec.TPTP.Base: instance (GHC.Classes.Eq term, GHC.Classes.Eq formula) => GHC.Classes.Eq (Codec.TPTP.Base.Formula0 term formula)
- Codec.TPTP.Base: instance (GHC.Classes.Ord term, GHC.Classes.Ord formula) => GHC.Classes.Ord (Codec.TPTP.Base.Formula0 term formula)
- Codec.TPTP.Base: instance (GHC.Read.Read term, GHC.Read.Read formula) => GHC.Read.Read (Codec.TPTP.Base.Formula0 term formula)
- Codec.TPTP.Base: instance (GHC.Show.Show term, GHC.Show.Show formula) => GHC.Show.Show (Codec.TPTP.Base.Formula0 term formula)
+ Codec.TPTP.Base: instance (Data.Data.Data term, Data.Data.Data formula) => Data.Data.Data (Codec.TPTP.Base.Formula0 term formula)
+ Codec.TPTP.Base: instance (GHC.Classes.Eq formula, GHC.Classes.Eq term) => GHC.Classes.Eq (Codec.TPTP.Base.Formula0 term formula)
+ Codec.TPTP.Base: instance (GHC.Classes.Ord formula, GHC.Classes.Ord term) => GHC.Classes.Ord (Codec.TPTP.Base.Formula0 term formula)
+ Codec.TPTP.Base: instance (GHC.Read.Read formula, GHC.Read.Read term) => GHC.Read.Read (Codec.TPTP.Base.Formula0 term formula)
+ Codec.TPTP.Base: instance (GHC.Show.Show formula, GHC.Show.Show term) => GHC.Show.Show (Codec.TPTP.Base.Formula0 term formula)
+ Codec.TPTP.Base: instance GHC.Base.Semigroup Codec.TPTP.Base.AtomicWord
+ Codec.TPTP.Base: instance GHC.Base.Semigroup Codec.TPTP.Base.V

Files

Codec/TPTP/Base.hs view
@@ -22,6 +22,7 @@ import Data.Data import Data.Function import Data.Monoid hiding(All)+import Data.Semigroup (Semigroup) import Data.Set as S hiding(fold) import Data.String import Prelude --hiding(concat,foldl,foldl1,foldr,foldr1)@@ -531,7 +532,7 @@ -- -- Tip: Use the @-XOverloadedStrings@ compiler flag if you don't want to have to type /AtomicWord/ to construct an 'AtomicWord' newtype AtomicWord = AtomicWord String-    deriving (Eq,Ord,Show,Data,Typeable,Read,Monoid,IsString)+    deriving (Eq,Ord,Show,Data,Typeable,Read,Semigroup,Monoid,IsString)  instance Arbitrary AtomicWord where     arbitrary = frequency [  (5, AtomicWord <$> arbLowerWord)@@ -540,7 +541,7 @@  -- | Variable names newtype V = V String-    deriving (Eq,Ord,Show,Data,Typeable,Read,Monoid,IsString)+    deriving (Eq,Ord,Show,Data,Typeable,Read,Semigroup,Monoid,IsString)  instance Arbitrary V where     arbitrary = V <$> arbVar
changelog.markdown view
@@ -1,3 +1,7 @@+## 0.4.6.0++* Add Semigroup instances for Monoids and fix cabal-version warning (Thanks to @msakai)+ ## 0.4.5.0  * Fix compilation error with containers >=0.5.8 (Thanks to @msakai)
logic-TPTP.cabal view
@@ -1,5 +1,5 @@ name: logic-TPTP-version: 0.4.5.0+version: 0.4.6.0 cabal-version: >= 1.6 build-type: Simple license: GPL@@ -34,7 +34,6 @@  category: Codec,Math,Theorem Provers author: Daniel Schüssler-cabal-version: >= 1.6 extra-source-files: testing/compileTests.sh                     testing/TestImportExportRandom.hs                     testing/TestImportExportImportFile.hs@@ -63,6 +62,7 @@                    , QuickCheck >= 2                    , mtl                    , pointed+                   , semigroups                    , transformers                    , transformers-compat >= 0.5 @@ -80,4 +80,4 @@                   , Codec.TPTP.QuickCheck                   , Util - build-tools: alex, happy+ build-tools: alex >= 3.1.1, happy >= 1.19.1