packages feed

text-show-instances 3.9.1 → 3.9.2

raw patch · 3 files changed

+9/−6 lines, 3 filesdep ~text-showPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: text-show

API changes (from Hackage documentation)

- TextShow.Language.Haskell.TH: instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.TyVarBndr
+ TextShow.Language.Haskell.TH: instance TextShow.Classes.TextShow Language.Haskell.TH.Syntax.Specificity
+ TextShow.Language.Haskell.TH: instance TextShow.Classes.TextShow flag => TextShow.Classes.TextShow (Language.Haskell.TH.Syntax.TyVarBndr flag)
- TextShow.Instances: class TextShow1 (f :: Type -> Type)
+ TextShow.Instances: class forall a. TextShow a => TextShow f a => TextShow1 (f :: TYPE LiftedRep -> TYPE LiftedRep)
- TextShow.Instances: class TextShow2 (f :: Type -> Type -> Type)
+ TextShow.Instances: class forall a. TextShow a => TextShow1 f a => TextShow2 (f :: TYPE LiftedRep -> TYPE LiftedRep -> TYPE LiftedRep)

Files

CHANGELOG.md view
@@ -1,3 +1,6 @@+### 3.9.2 [2022.10.05]+* Require `text-show-3.10` or later in the test suite.+ ### 3.9.1 [2022.07.28] * Add a `TextShow` instance for `UUID` from `uuid-types`.
tests/Spec/Utils.hs view
@@ -81,27 +81,27 @@ -- | Expect a type's 'TextShow' instance to coincide with the output produced -- by the equivalent 'Generic' functions. genericTextShowSpec :: forall a. (Arbitrary a, Show a, TextShow a,-                                  Generic a, GTextShowB Zero (Rep a))+                                  Generic a, GTextShowB (Rep a ()))                     => Proxy a -> Spec genericTextShowSpec _ = prop "generic TextShow" (prop_genericTextShow  :: Int -> a -> Expectation)  -- | Verifies that a type's 'TextShow' instance coincides with the output produced -- by the equivalent 'Generic' functions.-prop_genericTextShow :: (TextShow a, Generic a, GTextShowB Zero (Rep a))+prop_genericTextShow :: (TextShow a, Generic a, GTextShowB (Rep a ()))                      => Int -> a -> Expectation prop_genericTextShow p x = showbPrec p x `shouldBe` genericShowbPrec p x  -- | Expect a type's 'TextShow1' instance to coincide with the output produced -- by the equivalent 'Generic1' functions. genericTextShow1Spec :: forall f a. (Arbitrary (f a), Show (f a), TextShow1 f,-                                     Generic1 f, GTextShowB One (Rep1 f), TextShow a)+                                     Generic1 f, GTextShowB1 (Rep1 f), TextShow a)                      => Proxy (f a) -> Spec genericTextShow1Spec _ = prop "generic TextShow1" (prop_genericTextShow1 :: Int -> f a -> Expectation)  -- | Verifies that a type's 'TextShow1' instance coincides with the output produced -- by the equivalent 'Generic1' functions. prop_genericTextShow1 :: ( TextShow1 f, Generic1 f-                         , GTextShowB One (Rep1 f), TextShow a+                         , GTextShowB1 (Rep1 f), TextShow a                          )                       => Int -> f a -> Expectation prop_genericTextShow1 p x =
text-show-instances.cabal view
@@ -1,5 +1,5 @@ name:                text-show-instances-version:             3.9.1+version:             3.9.2 synopsis:            Additional instances for text-show description:         @text-show-instances@ is a supplemental library to @text-show@                      that provides additional @Show@ instances for data types in@@ -284,7 +284,7 @@                      , tagged                >= 0.4.4  && < 1                      , scientific            >= 0.3.7  && < 0.4                      , text-short            >= 0.1    && < 0.2-                     , text-show             >= 3.4    && < 4+                     , text-show             >= 3.10   && < 4                      , text-show-instances                      , th-orphans            >= 0.13.8 && < 1                      , time                  >= 0.1    && < 1.13