text-show 3.8.2 → 3.8.3
raw patch · 96 files changed
+262/−280 lines, 96 filesdep −contravariantdep −natsdep −semigroupsdep ~base-compat-batteriesdep ~th-abstraction
Dependencies removed: contravariant, nats, semigroups, tagged, void
Dependency ranges changed: base-compat-batteries, th-abstraction
Files
- CHANGELOG.md +4/−0
- benchmarks/Bench.hs +53/−49
- src/TextShow/Control/Concurrent.hs +2/−2
- src/TextShow/Data/Char.hs +11/−11
- src/TextShow/Data/Data.hs +6/−6
- src/TextShow/Data/Fixed.hs +1/−1
- src/TextShow/Data/Floating.hs +21/−17
- src/TextShow/Data/Functor/Product.hs +3/−3
- src/TextShow/Data/Functor/Sum.hs +3/−3
- src/TextShow/Data/List/NonEmpty.hs +1/−1
- src/TextShow/Data/Proxy.hs +1/−1
- src/TextShow/Data/Semigroup.hs +1/−1
- src/TextShow/Data/Type/Equality.hs +7/−11
- src/TextShow/Data/Void.hs +1/−1
- src/TextShow/Foreign/Ptr.hs +1/−1
- src/TextShow/GHC/Fingerprint.hs +1/−1
- src/TextShow/GHC/Generics.hs +4/−4
- src/TextShow/GHC/RTS/Flags.hs +11/−11
- src/TextShow/GHC/Stack.hs +3/−3
- src/TextShow/Generic.hs +1/−1
- src/TextShow/Numeric/Natural.hs +1/−1
- src/TextShow/TH.hs +1/−1
- src/TextShow/TH/Internal.hs +2/−10
- src/TextShow/Text/Read.hs +3/−2
- tests/Derived/RankNTypes.hs +11/−11
- tests/Derived/TypeSynonyms.hs +3/−0
- tests/Instances/Data/Semigroup.hs +1/−1
- tests/Instances/Data/Type/Equality.hs +2/−7
- tests/Instances/GHC/RTS/Flags.hs +18/−18
- tests/Instances/GHC/Stack.hs +5/−5
- tests/Instances/Text/Read.hs +5/−5
- tests/Spec/Control/ApplicativeSpec.hs +1/−1
- tests/Spec/Control/ConcurrentSpec.hs +1/−1
- tests/Spec/Control/ExceptionSpec.hs +1/−1
- tests/Spec/Control/Monad/STSpec.hs +1/−1
- tests/Spec/Data/ArraySpec.hs +1/−1
- tests/Spec/Data/BoolSpec.hs +1/−1
- tests/Spec/Data/ByteStringSpec.hs +1/−1
- tests/Spec/Data/CharSpec.hs +1/−1
- tests/Spec/Data/ComplexSpec.hs +1/−1
- tests/Spec/Data/DataSpec.hs +1/−1
- tests/Spec/Data/DynamicSpec.hs +1/−1
- tests/Spec/Data/EitherSpec.hs +1/−1
- tests/Spec/Data/FixedSpec.hs +1/−1
- tests/Spec/Data/FloatingSpec.hs +1/−1
- tests/Spec/Data/Functor/ComposeSpec.hs +1/−1
- tests/Spec/Data/Functor/IdentitySpec.hs +1/−1
- tests/Spec/Data/Functor/ProductSpec.hs +1/−1
- tests/Spec/Data/Functor/SumSpec.hs +1/−1
- tests/Spec/Data/IntegralSpec.hs +1/−1
- tests/Spec/Data/List/NonEmptySpec.hs +2/−2
- tests/Spec/Data/ListSpec.hs +1/−1
- tests/Spec/Data/MaybeSpec.hs +1/−1
- tests/Spec/Data/MonoidSpec.hs +1/−1
- tests/Spec/Data/OldTypeableSpec.hs +1/−1
- tests/Spec/Data/OrdSpec.hs +1/−1
- tests/Spec/Data/ProxySpec.hs +1/−1
- tests/Spec/Data/RatioSpec.hs +1/−1
- tests/Spec/Data/SemigroupSpec.hs +2/−2
- tests/Spec/Data/TextSpec.hs +1/−1
- tests/Spec/Data/TupleSpec.hs +1/−1
- tests/Spec/Data/Type/CoercionSpec.hs +1/−1
- tests/Spec/Data/Type/EqualitySpec.hs +4/−13
- tests/Spec/Data/TypeableSpec.hs +1/−1
- tests/Spec/Data/VersionSpec.hs +1/−1
- tests/Spec/Derived/DataFamiliesSpec.hs +1/−1
- tests/Spec/Derived/DatatypeContextsSpec.hs +1/−1
- tests/Spec/Derived/ExistentialQuantificationSpec.hs +1/−1
- tests/Spec/Derived/InfixSpec.hs +1/−1
- tests/Spec/Derived/MagicHashSpec.hs +1/−1
- tests/Spec/Derived/PolyKindsSpec.hs +1/−1
- tests/Spec/Derived/RankNTypesSpec.hs +1/−1
- tests/Spec/Derived/RecordsSpec.hs +1/−1
- tests/Spec/Derived/TypeSynonymsSpec.hs +1/−1
- tests/Spec/Foreign/C/TypesSpec.hs +1/−1
- tests/Spec/Foreign/PtrSpec.hs +1/−1
- tests/Spec/FromStringTextShowSpec.hs +1/−1
- tests/Spec/FunctionsSpec.hs +1/−1
- tests/Spec/GHC/Conc/WindowsSpec.hs +1/−1
- tests/Spec/GHC/EventSpec.hs +1/−1
- tests/Spec/GHC/FingerprintSpec.hs +1/−1
- tests/Spec/GHC/GenericsSpec.hs +1/−1
- tests/Spec/GHC/RTS/FlagsSpec.hs +1/−1
- tests/Spec/GHC/StackSpec.hs +1/−1
- tests/Spec/GHC/StaticPtrSpec.hs +1/−1
- tests/Spec/GHC/StatsSpec.hs +1/−1
- tests/Spec/GHC/TypeLitsSpec.hs +1/−1
- tests/Spec/GenericSpec.hs +1/−1
- tests/Spec/Numeric/NaturalSpec.hs +2/−2
- tests/Spec/OptionsSpec.hs +1/−1
- tests/Spec/System/ExitSpec.hs +1/−1
- tests/Spec/System/IOSpec.hs +1/−1
- tests/Spec/System/Posix/TypesSpec.hs +1/−1
- tests/Spec/Text/ReadSpec.hs +1/−1
- tests/Spec/Utils.hs +1/−1
- text-show.cabal +4/−12
CHANGELOG.md view
@@ -1,3 +1,7 @@+### 3.8.3 [2019.11.06]+* Use `base-compat-batteries-0.11.0` to define instances for `(:~:)` back to+ `base-4.5` and instances for `(:~~:)` back to `base-4.9`.+ ### 3.8.2 [2019.05.02] * Make the `TextShow` instances for `UArray` and `Fixed` use the correct precedence on `base-4.13` or later.
benchmarks/Bench.hs view
@@ -27,6 +27,59 @@ import TextShow.Generic (genericShowbPrec, genericShowtPrec, genericShowtlPrec) import TextShow.TH (deriveTextShow) +-------------------------------------------------------------------------------+-- Tree-like ADTs+-------------------------------------------------------------------------------++-- NB: constructors must be same length!+data BinTree1 a = BTEmpty1+ | BTLeaf1 a+ | BTBranch1 (BinTree1 a) (BinTree1 a)+ deriving Show++data BinTree2 a = BTEmpty2+ | BTLeaf2 a+ | BTBranch2 (BinTree2 a) (BinTree2 a)++data BinTree3 a = BTEmpty3+ | BTLeaf3 a+ | BTBranch3 (BinTree3 a) (BinTree3 a)+ deriving Generic++instance TextShow a => TextShow (BinTree3 a) where+ showbPrec = genericShowbPrec++-------------------------------------------------------------------------------+-- Simple enumeration types+-------------------------------------------------------------------------------++data Color = Red | Green | Blue | Orange | Violet+ deriving (Generic, Show)++newtype Color2 = Color2 Color++instance TextShow Color2 where+ showbPrec p (Color2 c) = genericShowbPrec p c+ showtPrec p (Color2 c) = genericShowtPrec p c+ showtlPrec p (Color2 c) = genericShowtlPrec p c++colorShowt :: Color -> T.Text+colorShowt c = case c of+ Red -> T.pack "Red"+ Green -> T.pack "Green"+ Blue -> T.pack "Blue"+ Orange -> T.pack "Orange"+ Violet -> T.pack "Violet"++-------------------------------------------------------------------------------++$(deriveTextShow ''BinTree2)+$(deriveTextShow ''Color)++-------------------------------------------------------------------------------+-- Benchmarks+-------------------------------------------------------------------------------+ main :: IO () main = defaultMain [ sampleGroup "String Show" BTLeaf1 BTBranch1 BTEmpty1 show@@ -42,10 +95,6 @@ ] ] ----------------------------------------------------------------------------------- Tree-like ADTs--------------------------------------------------------------------------------- sampleGroup :: forall a b. NFData b => String -> (Int -> a) -> (a -> a -> a) -> a -> (a -> b) -> Benchmark sampleGroup title leaf branch empty showFun =@@ -85,48 +134,3 @@ (leaf 12345 `branch` leaf 1234) `branch` leaf 123456 `branch` (leaf 1234567 `branch` leaf 123456)---- NB: constructors must be same length!-data BinTree1 a = BTEmpty1- | BTLeaf1 a- | BTBranch1 (BinTree1 a) (BinTree1 a)- deriving Show--data BinTree2 a = BTEmpty2- | BTLeaf2 a- | BTBranch2 (BinTree2 a) (BinTree2 a)--data BinTree3 a = BTEmpty3- | BTLeaf3 a- | BTBranch3 (BinTree3 a) (BinTree3 a)- deriving Generic--instance TextShow a => TextShow (BinTree3 a) where- showbPrec = genericShowbPrec------------------------------------------------------------------------------------ Simple enumeration types----------------------------------------------------------------------------------data Color = Red | Green | Blue | Orange | Violet- deriving (Generic, Show)--newtype Color2 = Color2 Color--instance TextShow Color2 where- showbPrec p (Color2 c) = genericShowbPrec p c- showtPrec p (Color2 c) = genericShowtPrec p c- showtlPrec p (Color2 c) = genericShowtlPrec p c--colorShowt :: Color -> T.Text-colorShowt c = case c of- Red -> T.pack "Red"- Green -> T.pack "Green"- Blue -> T.pack "Blue"- Orange -> T.pack "Orange"- Violet -> T.pack "Violet"-----------------------------------------------------------------------------------$(deriveTextShow ''BinTree2)-$(deriveTextShow ''Color)
src/TextShow/Control/Concurrent.hs view
@@ -44,6 +44,6 @@ getThreadId (ThreadId tid) = getThreadId# (unsafeCoerce# tid) -- | /Since: 2/-$(deriveTextShow ''ThreadStatus)--- | /Since: 2/ $(deriveTextShow ''BlockReason)+-- | /Since: 2/+$(deriveTextShow ''ThreadStatus)
src/TextShow/Data/Char.hs view
@@ -33,6 +33,17 @@ import TextShow.Data.Integral () import TextShow.TH.Internal (deriveTextShow) +-- | /Since: 2/+$(deriveTextShow ''GeneralCategory)++-- | /Since: 2/+instance TextShow Char where+ showb = showbChar+ {-# INLINE showb #-}++ showbList = showbString+ {-# INLINE showbList #-}+ -- | A table of ASCII control characters that needs to be escaped with a backslash. -- -- /Since: 2/@@ -94,14 +105,3 @@ showbGeneralCategory :: GeneralCategory -> Builder showbGeneralCategory = showb {-# INLINE showbGeneralCategory #-}---- | /Since: 2/-instance TextShow Char where- showb = showbChar- {-# INLINE showb #-}-- showbList = showbString- {-# INLINE showbList #-}---- | /Since: 2/-$(deriveTextShow ''GeneralCategory)
src/TextShow/Data/Data.hs view
@@ -23,15 +23,15 @@ import TextShow.TH.Internal (deriveTextShow) -- | /Since: 2/-$(deriveTextShow ''DataType)+instance TextShow Constr where+ showb = fromString . showConstr+ {-# INLINE showb #-}+ -- | /Since: 2/ $(deriveTextShow ''DataRep) -- | /Since: 2/+$(deriveTextShow ''DataType)+-- | /Since: 2/ $(deriveTextShow ''ConstrRep) -- | /Since: 2/ $(deriveTextShow ''Fixity)---- | /Since: 2/-instance TextShow Constr where- showb = fromString . showConstr- {-# INLINE showb #-}
src/TextShow/Data/Fixed.hs view
@@ -25,7 +25,7 @@ #if MIN_VERSION_base(4,7,0) import Data.Fixed (Fixed(..)) import Data.Int (Int64)-import Data.Semigroup (mtimesDefault)+import Data.Semigroup.Compat (mtimesDefault) import Data.Text.Lazy.Builder (singleton) import TextShow.Data.Integral ()
src/TextShow/Data/Floating.hs view
@@ -41,6 +41,27 @@ import TextShow.TH.Internal (deriveTextShow) import TextShow.Utils (i2d) +-------------------------------------------------------------------------------+-- TextShow instances+-------------------------------------------------------------------------------++-- | /Since: 2/+$(deriveTextShow ''FPFormat)++-- | /Since: 2/+instance TextShow Float where+ showbPrec = showbRealFloatPrec+ {-# INLINE showbPrec #-}++-- | /Since: 2/+instance TextShow Double where+ showbPrec = showbRealFloatPrec+ {-# INLINE showbPrec #-}++-------------------------------------------------------------------------------+-- Standalone showb* functions+-------------------------------------------------------------------------------+ -- | Convert a 'RealFloat' value to a 'Builder' with the given precedence. -- -- /Since: 2/@@ -398,20 +419,3 @@ -- | Cached powers of 10. expts10 :: Array Int Integer expts10 = array (minExpt,maxExpt10) [(n,10^n) | n <- [minExpt .. maxExpt10]]------------------------------------------------------------------------------------ TextShow instances------------------------------------------------------------------------------------ | /Since: 2/-instance TextShow Float where- showbPrec = showbRealFloatPrec- {-# INLINE showbPrec #-}---- | /Since: 2/-instance TextShow Double where- showbPrec = showbRealFloatPrec- {-# INLINE showbPrec #-}---- | /Since: 2/-$(deriveTextShow ''FPFormat)
src/TextShow/Data/Functor/Product.hs view
@@ -22,9 +22,9 @@ import TextShow.TH.Internal (deriveTextShow1) -- | /Since: 3/+$(deriveTextShow1 ''Product)++-- | /Since: 3/ instance (TextShow1 f, TextShow1 g, TextShow a) => TextShow (Product f g a) where showbPrec = showbPrec1 {-# INLINE showbPrec #-}---- | /Since: 3/-$(deriveTextShow1 ''Product)
src/TextShow/Data/Functor/Sum.hs view
@@ -22,9 +22,9 @@ import TextShow.TH.Internal (deriveTextShow1) -- | /Since: 3/+$(deriveTextShow1 ''Sum)++-- | /Since: 3/ instance (TextShow1 f, TextShow1 g, TextShow a) => TextShow (Sum f g a) where showbPrec = showbPrec1 {-# INLINE showbPrec #-}---- | /Since: 3/-$(deriveTextShow1 ''Sum)
src/TextShow/Data/List/NonEmpty.hs view
@@ -15,7 +15,7 @@ -} module TextShow.Data.List.NonEmpty () where -import Data.List.NonEmpty (NonEmpty)+import Data.List.NonEmpty.Compat (NonEmpty) import TextShow.Data.List () import TextShow.TH.Internal (deriveTextShow, deriveTextShow1)
src/TextShow/Data/Proxy.hs view
@@ -22,7 +22,7 @@ -} module TextShow.Data.Proxy () where -import Data.Proxy (Proxy)+import Data.Proxy.Compat (Proxy) import TextShow.Classes (TextShow(..)) import TextShow.TH.Internal (deriveTextShow1, makeShowbPrec,
src/TextShow/Data/Semigroup.hs view
@@ -15,7 +15,7 @@ -} module TextShow.Data.Semigroup () where -import Data.Semigroup (Min, Max, First, Last, WrappedMonoid, Option, Arg)+import Data.Semigroup.Compat (Min, Max, First, Last, WrappedMonoid, Option, Arg) import TextShow.Data.Maybe () import TextShow.TH.Internal (deriveTextShow, deriveTextShow1, deriveTextShow2)
src/TextShow/Data/Type/Equality.hs view
@@ -1,12 +1,13 @@ {-# LANGUAGE CPP #-}--#if MIN_VERSION_base(4,7,0) {-# LANGUAGE GADTs #-}-{-# LANGUAGE PolyKinds #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeOperators #-}-{-# OPTIONS_GHC -fno-warn-orphans #-}++#if __GLASGOW_HASKELL__ >= 706+{-# LANGUAGE PolyKinds #-} #endif++{-# OPTIONS_GHC -fno-warn-orphans #-} {-| Module: TextShow.Data.Type.Equality Copyright: (C) 2014-2017 Ryan Scott@@ -22,11 +23,7 @@ -} module TextShow.Data.Type.Equality () where -#if MIN_VERSION_base(4,7,0)-import Data.Type.Equality ((:~:))-# if MIN_VERSION_base(4,10,0)-import Data.Type.Equality ((:~~:))-# endif+import Data.Type.Equality.Compat import TextShow.Classes (TextShow1(..)) import TextShow.TH.Internal (deriveTextShow, deriveTextShow2, makeLiftShowbPrec)@@ -41,7 +38,7 @@ -- | /Since: 2/ $(deriveTextShow2 ''(:~:)) -# if MIN_VERSION_base(4,10,0)+#if MIN_VERSION_base(4,9,0) -- | /Since: 3.6/ $(deriveTextShow ''(:~~:)) @@ -51,5 +48,4 @@ -- | /Since: 3.6/ $(deriveTextShow2 ''(:~~:))-# endif #endif
src/TextShow/Data/Void.hs view
@@ -13,7 +13,7 @@ -} module TextShow.Data.Void () where -import Data.Void (Void, absurd)+import Data.Void.Compat (Void, absurd) import Prelude () import TextShow.Classes (TextShow(..))
src/TextShow/Foreign/Ptr.hs view
@@ -16,7 +16,7 @@ -} module TextShow.Foreign.Ptr () where -import Data.Semigroup (mtimesDefault)+import Data.Semigroup.Compat (mtimesDefault) import Data.Text.Lazy.Builder (Builder, singleton) import Foreign.ForeignPtr (ForeignPtr)
src/TextShow/GHC/Fingerprint.hs view
@@ -14,7 +14,7 @@ -} module TextShow.GHC.Fingerprint () where -import Data.Semigroup (mtimesDefault)+import Data.Semigroup.Compat (mtimesDefault) import Data.Text.Lazy.Builder (Builder, singleton) import Data.Word (Word64)
src/TextShow/GHC/Generics.hs view
@@ -33,10 +33,10 @@ makeLiftShowbPrec, makeLiftShowbPrec2) -- | /Since: 2/+$(deriveTextShow1 ''U1)+-- | /Since: 2/ instance TextShow (U1 p) where showbPrec = liftShowbPrec undefined undefined--- | /Since: 2/-$(deriveTextShow1 ''U1) -- | /Since: 2/ $(deriveTextShow ''Par1)@@ -115,9 +115,9 @@ $(deriveTextShow1 'UWord) -- | /Since: 2/-$(deriveTextShow ''Fixity)--- | /Since: 2/ $(deriveTextShow ''Associativity)+-- | /Since: 2/+$(deriveTextShow ''Fixity) #if MIN_VERSION_base(4,9,0) -- | Only available with @base-4.9.0.0@ or later. --
src/TextShow/GHC/RTS/Flags.hs view
@@ -32,8 +32,15 @@ import TextShow.TH.Names (giveGCStatsTypeName, doCostCentresTypeName, doHeapProfileTypeName, doTraceTypeName) --- | /Since: 2/-$(deriveTextShow ''RTSFlags)+-- | /Since: 2.1/+$(deriveTextShow giveGCStatsTypeName)+-- | /Since: 2.1/+$(deriveTextShow doCostCentresTypeName)+-- | /Since: 2.1/+$(deriveTextShow doHeapProfileTypeName)+-- | /Since: 2.1/+$(deriveTextShow doTraceTypeName)+ -- | /Since: 2/ $(deriveTextShow ''GCFlags) -- | /Since: 2/@@ -56,13 +63,6 @@ -- /Since: 3.3/ $(deriveTextShow ''ParFlags) # endif---- | /Since: 2.1/-$(deriveTextShow giveGCStatsTypeName)--- | /Since: 2.1/-$(deriveTextShow doCostCentresTypeName)--- | /Since: 2.1/-$(deriveTextShow doHeapProfileTypeName)--- | /Since: 2.1/-$(deriveTextShow doTraceTypeName)+-- | /Since: 2/+$(deriveTextShow ''RTSFlags) #endif
src/TextShow/GHC/Stack.hs view
@@ -34,6 +34,9 @@ import TextShow.Data.Tuple () import TextShow.TH.Internal (deriveTextShow) +-- | /Since: 3.0.1/+$(deriveTextShow ''SrcLoc)+ # if MIN_VERSION_base(4,9,0) -- | /Since: 3.0.1/ instance TextShow CallStack where@@ -43,7 +46,4 @@ -- | /Since: 3.0.1/ $(deriveTextShow ''CallStack) # endif---- | /Since: 3.0.1/-$(deriveTextShow ''SrcLoc) #endif
src/TextShow/Generic.hs view
@@ -96,7 +96,7 @@ ) where import Data.Data (Data, Typeable)-import Data.Functor.Contravariant (Contravariant(..))+import Data.Functor.Contravariant.Compat (Contravariant(..)) import qualified Data.Text as TS (Text, pack, singleton) import qualified Data.Text.IO as TS (putStrLn, hPutStrLn) import qualified Data.Text.Lazy as TL (Text, pack, singleton)
src/TextShow/Numeric/Natural.hs view
@@ -22,7 +22,7 @@ import GHC.Natural (Natural(..)) import GHC.Types (Word(..)) #else-import Numeric.Natural (Natural)+import Numeric.Natural.Compat (Natural) #endif import TextShow.Classes (TextShow(..))
src/TextShow/TH.hs view
@@ -22,5 +22,5 @@ ------------------------------------------------------------------------------- -$(deriveTextShow ''Options) $(deriveTextShow ''GenTextMethods)+$(deriveTextShow ''Options)
src/TextShow/TH/Internal.hs view
@@ -59,8 +59,8 @@ import Control.Monad (unless, when) import Data.Foldable.Compat import Data.List.Compat-import qualified Data.List.NonEmpty as NE (reverse)-import Data.List.NonEmpty (NonEmpty(..), (<|))+import qualified Data.List.NonEmpty.Compat as NE (reverse)+import Data.List.NonEmpty.Compat (NonEmpty(..), (<|)) import qualified Data.Map as Map (fromList, keys, lookup, singleton) import Data.Map (Map) import Data.Maybe@@ -466,11 +466,7 @@ case info of DatatypeInfo { datatypeContext = ctxt , datatypeName = parentName-#if MIN_VERSION_th_abstraction(0,3,0) , datatypeInstTypes = instTys-#else- , datatypeVars = instTys-#endif , datatypeVariant = variant , datatypeCons = cons } -> do@@ -513,11 +509,7 @@ case info of DatatypeInfo { datatypeContext = ctxt , datatypeName = parentName-#if MIN_VERSION_th_abstraction(0,3,0) , datatypeInstTypes = instTys-#else- , datatypeVars = instTys-#endif , datatypeVariant = variant , datatypeCons = cons } ->
src/TextShow/Text/Read.hs view
@@ -28,11 +28,12 @@ import TextShow.TH.Names (numberTypeName) #endif --- | /Since: 2/-$(deriveTextShow ''Lexeme) #if MIN_VERSION_base(4,6,0) -- | Only available with @base-4.6.0.0@ or later. -- -- /Since: 2/ $(deriveTextShow numberTypeName) #endif++-- | /Since: 2/+$(deriveTextShow ''Lexeme)
tests/Derived/RankNTypes.hs view
@@ -74,6 +74,17 @@ $(return []) +instance TextShow c => TextShow (Tagged2 s t c) where+ showbPrec = $(makeShowbPrec ''Tagged2)++instance TextShow1 (Tagged2 s t) where+ liftShowbPrec = $(makeLiftShowbPrec ''Tagged2)++instance TextShow2 (Tagged2 s) where+ liftShowbPrec2 = $(makeLiftShowbPrec2 ''Tagged2)++-------------------------------------------------------------------------------+ instance Show1 (Tagged2 s t) where #if defined(NEW_FUNCTOR_CLASSES) liftShowsPrec = $(makeLiftShowsPrec ''Tagged2)@@ -104,14 +115,3 @@ $(deriveTextShow 'TyFamily) $(deriveTextShow1 'TyFamily) $(deriveTextShow2 'TyFamily)-----------------------------------------------------------------------------------instance TextShow c => TextShow (Tagged2 s t c) where- showbPrec = $(makeShowbPrec ''Tagged2)--instance TextShow1 (Tagged2 s t) where- liftShowbPrec = $(makeLiftShowbPrec ''Tagged2)--instance TextShow2 (Tagged2 s) where- liftShowbPrec2 = $(makeLiftShowbPrec2 ''Tagged2)
tests/Derived/TypeSynonyms.hs view
@@ -43,9 +43,12 @@ type Id a = a type Flip f a b = f b a +#if __GLASGOW_HASKELL__ < 809 -- Needed for the Generic1 instances+-- TODO: Obtain this instance from base-orphans instead instance Functor ((,,,) a b c) where fmap f (a, b, c, d) = (a, b, c, f d)+#endif -------------------------------------------------------------------------------
tests/Instances/Data/Semigroup.hs view
@@ -12,7 +12,7 @@ -} module Instances.Data.Semigroup () where -import Data.Semigroup (Arg(..))+import Data.Semigroup.Compat (Arg(..)) import Instances.Utils.GenericArbitrary (genericArbitrary) import Test.QuickCheck (Arbitrary(..))
tests/Instances/Data/Type/Equality.hs view
@@ -20,19 +20,14 @@ -} module Instances.Data.Type.Equality () where -#if MIN_VERSION_base(4,7,0)-import Data.Type.Equality ((:~:))-# if MIN_VERSION_base(4,10,0)-import Data.Type.Equality ((:~~:), type (~~))-# endif+import Data.Type.Equality.Compat import Test.QuickCheck (Arbitrary(..), arbitraryBoundedEnum) instance a ~ b => Arbitrary (a :~: b) where arbitrary = arbitraryBoundedEnum -# if MIN_VERSION_base(4,10,0)+#if MIN_VERSION_base(4,9,0) instance a ~~ b => Arbitrary (a :~~: b) where arbitrary = arbitraryBoundedEnum-# endif #endif
tests/Instances/GHC/RTS/Flags.hs view
@@ -36,6 +36,24 @@ import Test.QuickCheck (Arbitrary(..)) import TextShow.TH.Names +$(Generics.deriveAll0 ''RTSFlags)+$(Generics.deriveAll0 ''GCFlags)+$(Generics.deriveAll0 ''ConcFlags)+$(Generics.deriveAll0 ''MiscFlags)+$(Generics.deriveAll0 ''DebugFlags)+$(Generics.deriveAll0 ''CCFlags)+$(Generics.deriveAll0 ''ProfFlags)+$(Generics.deriveAll0 ''TraceFlags)+$(Generics.deriveAll0 ''TickyFlags)+# if MIN_VERSION_base(4,10,0)+$(Generics.deriveAll0 ''ParFlags)+# endif++$(Generics.deriveAll0 giveGCStatsTypeName)+$(Generics.deriveAll0 doCostCentresTypeName)+$(Generics.deriveAll0 doHeapProfileTypeName)+$(Generics.deriveAll0 doTraceTypeName)+ instance Arbitrary RTSFlags where arbitrary = genericArbitrary @@ -86,22 +104,4 @@ instance Arbitrary DoTrace' where arbitrary = genericArbitrary--$(Generics.deriveAll0 ''RTSFlags)-$(Generics.deriveAll0 ''GCFlags)-$(Generics.deriveAll0 ''ConcFlags)-$(Generics.deriveAll0 ''MiscFlags)-$(Generics.deriveAll0 ''DebugFlags)-$(Generics.deriveAll0 ''CCFlags)-$(Generics.deriveAll0 ''ProfFlags)-$(Generics.deriveAll0 ''TraceFlags)-$(Generics.deriveAll0 ''TickyFlags)-# if MIN_VERSION_base(4,10,0)-$(Generics.deriveAll0 ''ParFlags)-# endif--$(Generics.deriveAll0 giveGCStatsTypeName)-$(Generics.deriveAll0 doCostCentresTypeName)-$(Generics.deriveAll0 doHeapProfileTypeName)-$(Generics.deriveAll0 doTraceTypeName) #endif
tests/Instances/GHC/Stack.hs view
@@ -34,6 +34,11 @@ import Test.QuickCheck (Arbitrary(..)) +# if !(MIN_VERSION_base(4,9,0))+$(Generics.deriveAll0 ''CallStack)+# endif+$(Generics.deriveAll0 ''SrcLoc)+ instance Arbitrary CallStack where # if MIN_VERSION_base(4,9,0) arbitrary = oneof [ pure EmptyCallStack@@ -46,9 +51,4 @@ instance Arbitrary SrcLoc where arbitrary = genericArbitrary--# if !(MIN_VERSION_base(4,9,0))-$(Generics.deriveAll0 ''CallStack)-# endif-$(Generics.deriveAll0 ''SrcLoc) #endif
tests/Instances/Text/Read.hs view
@@ -32,6 +32,11 @@ import TextShow.TH.Names (numberTypeName) #endif +$(Generics.deriveAll0 ''Lexeme)+#if MIN_VERSION_base(4,6,0)+$(Generics.deriveAll0 numberTypeName)+#endif+ instance Arbitrary Lexeme where arbitrary = genericArbitrary @@ -45,9 +50,4 @@ instance Arbitrary $(conT numberTypeName) where arbitrary = genericArbitrary-#endif--$(Generics.deriveAll0 ''Lexeme)-#if MIN_VERSION_base(4,6,0)-$(Generics.deriveAll0 numberTypeName) #endif
tests/Spec/Control/ApplicativeSpec.hs view
@@ -14,7 +14,7 @@ import Control.Monad.Trans.Instances () import Data.Orphans ()-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Instances ()
tests/Spec/Control/ConcurrentSpec.hs view
@@ -12,7 +12,7 @@ import Control.Concurrent (myThreadId) -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.Conc (BlockReason, ThreadStatus)
tests/Spec/Control/ExceptionSpec.hs view
@@ -16,7 +16,7 @@ #if MIN_VERSION_base(4,11,0) import Control.Exception.Base (FixIOException) #endif-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Control.Exception () import Spec.Utils (matchesTextShowSpec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Control/Monad/STSpec.hs view
@@ -1,7 +1,7 @@ module Spec.Control.Monad.STSpec (main, spec) where import Control.Monad.ST-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Control.Monad.ST () import Spec.Utils (matchesTextShowSpec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Data/ArraySpec.hs view
@@ -21,7 +21,7 @@ #if !defined(mingw32_HOST_OS) && MIN_VERSION_text(1,0,0) import Data.Array (Array) import Data.Array.Unboxed (UArray)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/BoolSpec.hs view
@@ -12,7 +12,7 @@ -} module Spec.Data.BoolSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec, genericTextShowSpec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Data/ByteStringSpec.hs view
@@ -13,7 +13,7 @@ import qualified Data.ByteString as BS (ByteString) import qualified Data.ByteString.Lazy as BL (ByteString) import Data.ByteString.Short (ShortByteString)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/CharSpec.hs view
@@ -12,7 +12,7 @@ import Data.Array (elems) import Data.Char (GeneralCategory)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.Show (asciiTab)
tests/Spec/Data/ComplexSpec.hs view
@@ -11,7 +11,7 @@ module Spec.Data.ComplexSpec (main, spec) where import Data.Complex (Complex)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/DataSpec.hs view
@@ -11,7 +11,7 @@ module Spec.Data.DataSpec (main, spec) where import Data.Data (Constr, ConstrRep, DataRep, DataType, Fixity)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Data.Data ()
tests/Spec/Data/DynamicSpec.hs view
@@ -11,7 +11,7 @@ module Spec.Data.DynamicSpec (main, spec) where import Data.Dynamic (Dynamic)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Data.Dynamic ()
tests/Spec/Data/EitherSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Data.EitherSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Instances () import Spec.Utils (matchesTextShow1Spec, genericTextShowSpec, genericTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Data/FixedSpec.hs view
@@ -11,7 +11,7 @@ module Spec.Data.FixedSpec (main, spec) where import Data.Fixed (Fixed, E0, E1, E2, E3, E6, E9, E12, showFixed)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/FloatingSpec.hs view
@@ -12,7 +12,7 @@ -} module Spec.Data.FloatingSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Data.Text.Lazy.Builder.RealFloat (FPFormat) import Instances.Data.Floating ()
tests/Spec/Data/Functor/ComposeSpec.hs view
@@ -13,7 +13,7 @@ import Control.Monad.Trans.Instances () import Data.Functor.Compose (Compose)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShow1Spec)
tests/Spec/Data/Functor/IdentitySpec.hs view
@@ -13,7 +13,7 @@ import Control.Monad.Trans.Instances () import Data.Functor.Identity (Identity)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShow1Spec)
tests/Spec/Data/Functor/ProductSpec.hs view
@@ -13,7 +13,7 @@ import Control.Monad.Trans.Instances () import Data.Functor.Product (Product)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShow1Spec)
tests/Spec/Data/Functor/SumSpec.hs view
@@ -13,7 +13,7 @@ import Control.Monad.Trans.Instances () import Data.Functor.Sum (Sum)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShow1Spec)
tests/Spec/Data/IntegralSpec.hs view
@@ -13,7 +13,7 @@ module Spec.Data.IntegralSpec (main, spec) where import Data.Int (Int8, Int16, Int32, Int64)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Data.Word (Word8, Word16, Word32, Word64) import Prelude ()
tests/Spec/Data/List/NonEmptySpec.hs view
@@ -10,8 +10,8 @@ -} module Spec.Data.List.NonEmptySpec (main, spec) where -import Data.Proxy (Proxy(..))-import Data.List.NonEmpty (NonEmpty)+import Data.Proxy.Compat (Proxy(..))+import Data.List.NonEmpty.Compat (NonEmpty) import Data.Orphans () import Spec.Utils (matchesTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Data/ListSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Data.ListSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/MaybeSpec.hs view
@@ -11,7 +11,7 @@ module Spec.Data.MaybeSpec (main, spec) where import Data.Orphans ()-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShow1Spec, genericTextShowSpec, genericTextShow1Spec)
tests/Spec/Data/MonoidSpec.hs view
@@ -13,7 +13,7 @@ module Spec.Data.MonoidSpec (main, spec) where import Data.Monoid-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Instances ()
tests/Spec/Data/OldTypeableSpec.hs view
@@ -25,7 +25,7 @@ #if MIN_VERSION_base(4,7,0) && !(MIN_VERSION_base(4,8,0)) import Data.OldTypeable (TyCon, TypeRep)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/OrdSpec.hs view
@@ -11,7 +11,7 @@ module Spec.Data.OrdSpec (main, spec) where import Data.Orphans ()-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Instances ()
tests/Spec/Data/ProxySpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Data.ProxySpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Base ()
tests/Spec/Data/RatioSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Data.RatioSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Data.Ratio (Ratio) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/SemigroupSpec.hs view
@@ -10,8 +10,8 @@ -} module Spec.Data.SemigroupSpec (main, spec) where -import Data.Proxy (Proxy(..))-import Data.Semigroup (Min, Max, First, Last, WrappedMonoid, Option, Arg)+import Data.Proxy.Compat (Proxy(..))+import Data.Semigroup.Compat (Min, Max, First, Last, WrappedMonoid, Option, Arg) import Instances.Data.Semigroup ()
tests/Spec/Data/TextSpec.hs view
@@ -12,7 +12,7 @@ -} module Spec.Data.TextSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Data.Text ()
tests/Spec/Data/TupleSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Data.TupleSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Instances () import Instances.Data.Tuple () import Spec.Utils (matchesTextShowSpec, matchesTextShow1Spec,
tests/Spec/Data/Type/CoercionSpec.hs view
@@ -21,7 +21,7 @@ #if MIN_VERSION_base(4,7,0) import Data.Monoid (All(..))-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Data.Type.Coercion (Coercion) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Data/Type/EqualitySpec.hs view
@@ -13,6 +13,9 @@ -} module Spec.Data.Type.EqualitySpec (main, spec) where +import Data.Proxy.Compat (Proxy(..))+import Data.Type.Equality.Compat+ import Instances.Data.Type.Equality () import Prelude ()@@ -20,29 +23,17 @@ import Test.Hspec (Spec, hspec, parallel) -#if MIN_VERSION_base(4,7,0)-import Data.Proxy (Proxy(..))-import Data.Type.Equality ((:~:))-# if MIN_VERSION_base(4,10,0)-import Data.Type.Equality ((:~~:))-# endif- import Spec.Utils (matchesTextShowSpec) import Test.Hspec (describe)-#endif main :: IO () main = hspec spec spec :: Spec spec = parallel $ do-#if MIN_VERSION_base(4,7,0) describe "Int :~: Int" $ matchesTextShowSpec (Proxy :: Proxy (Int :~: Int))-# if MIN_VERSION_base(4,10,0)+# if MIN_VERSION_base(4,9,0) describe "Int :~~: Int" $ matchesTextShowSpec (Proxy :: Proxy (Int :~~: Int)) # endif-#else- pure ()-#endif
tests/Spec/Data/TypeableSpec.hs view
@@ -16,7 +16,7 @@ -} module Spec.Data.TypeableSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Data.Typeable (TyCon) #if MIN_VERSION_base(4,9,0)
tests/Spec/Data/VersionSpec.hs view
@@ -1,6 +1,6 @@ module Spec.Data.VersionSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Data.Version (Version, showVersion) import Spec.Utils (matchesTextShowSpec)
tests/Spec/Derived/DataFamiliesSpec.hs view
@@ -16,7 +16,7 @@ -} module Spec.Derived.DataFamiliesSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.DataFamilies (NotAllShow)
tests/Spec/Derived/DatatypeContextsSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Derived.DatatypeContextsSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.DatatypeContexts import Spec.Utils (matchesTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Derived/ExistentialQuantificationSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Derived.ExistentialQuantificationSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.ExistentialQuantification import Spec.Utils (matchesTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Derived/InfixSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Derived.InfixSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.Infix import Spec.Utils (matchesTextShowSpec, genericTextShowSpec, genericTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Derived/MagicHashSpec.hs view
@@ -13,7 +13,7 @@ -} module Spec.Derived.MagicHashSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.MagicHash import Spec.Utils import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Derived/PolyKindsSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Derived.PolyKindsSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.PolyKinds import Spec.Utils (matchesTextShow1Spec, genericTextShowSpec, genericTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Derived/RankNTypesSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Derived.RankNTypesSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.RankNTypes import Spec.Utils (matchesTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Derived/RecordsSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Derived.RecordsSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.Records import Spec.Utils (matchesTextShow1Spec, genericTextShowSpec, genericTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Derived/TypeSynonymsSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Derived.TypeSynonymsSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Derived.TypeSynonyms import Spec.Utils (matchesTextShowSpec, genericTextShowSpec, genericTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Foreign/C/TypesSpec.hs view
@@ -12,7 +12,7 @@ -} module Spec.Foreign.C.TypesSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Foreign.C.Types import Instances.Foreign.C.Types () import Spec.Utils (matchesTextShowSpec)
tests/Spec/Foreign/PtrSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.Foreign.PtrSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Foreign.ForeignPtr (newForeignPtr_) import Foreign.Ptr (FunPtr, IntPtr, Ptr, WordPtr)
tests/Spec/FromStringTextShowSpec.hs view
@@ -12,7 +12,7 @@ -} module Spec.FromStringTextShowSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.FromStringTextShow () import Spec.Utils (matchesTextShowSpec, matchesTextShow1Spec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/FunctionsSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.FunctionsSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec) import Test.Hspec (Spec, describe, hspec, parallel) import Text.Show.Functions ()
tests/Spec/GHC/Conc/WindowsSpec.hs view
@@ -20,7 +20,7 @@ import Test.Hspec (Spec, hspec, parallel) #if !defined(__GHCJS__) && defined(mingw32_HOST_OS)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.Conc.Windows (ConsoleEvent) import Spec.Utils (matchesTextShowSpec) import Test.Hspec (describe)
tests/Spec/GHC/EventSpec.hs view
@@ -20,7 +20,7 @@ import Test.Hspec (Spec, hspec, parallel) #if !defined(__GHCJS__) && !defined(mingw32_HOST_OS)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.Event (Event) # if MIN_VERSION_base(4,8,1)
tests/Spec/GHC/FingerprintSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.GHC.FingerprintSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Data.Orphans () import GHC.Fingerprint.Type (Fingerprint)
tests/Spec/GHC/GenericsSpec.hs view
@@ -18,7 +18,7 @@ module Spec.GHC.GenericsSpec (main, spec) where import Data.Orphans ()-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Base ( U1, Par1, Rec1, K1, M1, (:+:), (:*:), (:.:) , UChar, UDouble, UFloat, UInt, UWord
tests/Spec/GHC/RTS/FlagsSpec.hs view
@@ -18,7 +18,7 @@ import Test.Hspec (Spec, hspec, parallel) #if MIN_VERSION_base(4,8,0)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.RTS.Flags import Instances.GHC.RTS.Flags import Spec.Utils (matchesTextShowSpec)
tests/Spec/GHC/StackSpec.hs view
@@ -20,7 +20,7 @@ import Test.Hspec (Spec, hspec, parallel) #if MIN_VERSION_base(4,8,1)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.Stack (CallStack) # if MIN_VERSION_base(4,9,0) import GHC.Stack (SrcLoc)
tests/Spec/GHC/StaticPtrSpec.hs view
@@ -20,7 +20,7 @@ import Test.Hspec (Spec, hspec, parallel) #if MIN_VERSION_base(4,8,0)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.StaticPtr (StaticPtrInfo) import Spec.Utils (matchesTextShowSpec) import Test.Hspec (describe)
tests/Spec/GHC/StatsSpec.hs view
@@ -21,7 +21,7 @@ import Test.Hspec (Spec, hspec, parallel) #if !(MIN_VERSION_base(4,11,0))-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.Stats (GCStats) import Spec.Utils (matchesTextShowSpec) import Test.Hspec (describe)
tests/Spec/GHC/TypeLitsSpec.hs view
@@ -24,7 +24,7 @@ import Test.Hspec (Spec, hspec, parallel) #if MIN_VERSION_base(4,6,0)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.TypeLits import Spec.Utils (matchesTextShowSpec) import Test.Hspec (describe)
tests/Spec/GenericSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.GenericSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Generic () import Instances.Utils (GenericExample) import Spec.Utils (matchesTextShowSpec, matchesTextShow1Spec, genericTextShowSpec)
tests/Spec/Numeric/NaturalSpec.hs view
@@ -10,8 +10,8 @@ -} module Spec.Numeric.NaturalSpec (main, spec) where -import Data.Proxy (Proxy(..))-import Numeric.Natural (Natural)+import Data.Proxy.Compat (Proxy(..))+import Numeric.Natural.Compat (Natural) import Spec.Utils (matchesTextShowSpec) import Test.Hspec (Spec, describe, hspec, parallel) import Test.QuickCheck.Instances ()
tests/Spec/OptionsSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.OptionsSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Options () import Spec.Utils (matchesTextShowSpec, genericTextShowSpec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/System/ExitSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.System.ExitSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Spec.Utils (matchesTextShowSpec) import System.Exit (ExitCode) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/System/IOSpec.hs view
@@ -10,7 +10,7 @@ -} module Spec.System.IOSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import GHC.IO.Encoding.Failure (CodingFailureMode) import GHC.IO.Encoding.Types (CodingProgress)
tests/Spec/System/Posix/TypesSpec.hs view
@@ -12,7 +12,7 @@ -} module Spec.System.Posix.TypesSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.System.Posix.Types () import Spec.Utils (matchesTextShowSpec) import System.Posix.Types
tests/Spec/Text/ReadSpec.hs view
@@ -13,7 +13,7 @@ -} module Spec.Text.ReadSpec (main, spec) where -import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Instances.Text.Read () import Spec.Utils (matchesTextShowSpec) import Test.Hspec (Spec, describe, hspec, parallel)
tests/Spec/Utils.hs view
@@ -24,7 +24,7 @@ ) where import Data.Functor.Classes (Show1, showsPrec1)-import Data.Proxy (Proxy(..))+import Data.Proxy.Compat (Proxy(..)) import Generics.Deriving.Base
text-show.cabal view
@@ -1,5 +1,5 @@ name: text-show-version: 3.8.2+version: 3.8.3 synopsis: Efficient conversion of values into Text description: @text-show@ offers a replacement for the @Show@ typeclass intended for use with @Text@ instead of @String@s. This package was created@@ -154,22 +154,17 @@ TextShow.TH.Names TextShow.Utils build-depends: array >= 0.3 && < 0.6- , base-compat-batteries >= 0.10 && < 0.11+ , base-compat-batteries >= 0.11 && < 0.12 , bifunctors >= 5.1 && < 6 , bytestring >= 0.9 && < 0.11 , bytestring-builder , containers >= 0.1 && < 0.7- , contravariant >= 0.5 && < 2 , generic-deriving >= 1.11 && < 2 , ghc-prim , integer-gmp- , nats >= 0.1 && < 2- , semigroups >= 0.17 && < 1- , tagged >= 0.4.4 && < 1 , text >= 0.11.1 && < 1.3- , th-abstraction >= 0.2.2 && < 0.4+ , th-abstraction >= 0.3 && < 0.4 , th-lift >= 0.7.6 && < 1- , void >= 0.5 && < 1 if flag(base-4-9) build-depends: base >= 4.9 && < 4.14@@ -339,7 +334,7 @@ TextShow.TH.Names build-depends: array >= 0.3 && < 0.6- , base-compat-batteries >= 0.10 && < 0.11+ , base-compat-batteries >= 0.11 && < 0.12 , base-orphans >= 0.6 && < 0.9 , bytestring >= 0.9 && < 0.11 , bytestring-builder@@ -347,11 +342,8 @@ , generic-deriving >= 1.11 && < 2 , ghc-prim , hspec >= 2 && < 3- , nats >= 0.1 && < 2 , QuickCheck >= 2.12 && < 2.14 , quickcheck-instances >= 0.3.18 && < 0.4- , semigroups >= 0.18.3 && < 1- , tagged >= 0.8.3 && < 1 , template-haskell >= 2.5 && < 2.16 , text >= 0.11.1 && < 1.3 , text-show