Cabal revisions of stock-quickcheck-0.1.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 3.0-name: stock-quickcheck-version: 0.1.0.0-synopsis: Derive Arbitrary via the stock plugin-description:- The @stock@ plugin provides a datatype for deriving and synthesising- instances at compile time. @stock-quickcheck@ extends the @stock@- with support for @Arbitrary@ (and higher-kinded variants) and- @CoArbitrary@.-- > {-# options_ghc -fplugin Stock #-}- > - > {-# language DerivingVia #-}- > {-# language DataKinds #-}- > - > import Stock- > import Stock.QuickCheck- > import Stock.Override- > - > import Test.QuickCheck- > - > data Person = P { name :: String, age :: Int }- > deriving (Eq, Ord, Show, Read) via- > Stock Person- > deriving Arbitrary via- > Overriding Person- > [ name via ASCIIString, age via Positive ]-- @stock-quickcheck@ provides four instances, that signal to the- plugin how to derive @Arbitrary@, @Arbitrary1@, @Arbitrary2@ and- @CoArbitrary@. -- @arbitrary@ is structural and size-aware, in the style of- @generic-arbitrary@. It picks a constructor, preferring terminal- constructors once the size runs out, so recursive types terminate,- and fills each field with its own @arbitrary@, dividing the size- among recursive fields. @shrink@ defaults.-- > instance DeriveStock Arbitrary ..- > instance DeriveStock1 Arbitrary1 ..- > instance DeriveStock2 Arbitrary2 ..- > instance DeriveStock CoArbitrary ..-license: BSD-3-Clause-license-file: LICENSE-author: Baldur Blöndal-maintainer: baldur.blondal@iohk.io-category: Type System-build-type: Simple-tested-with: GHC == 9.8.1- , GHC == 9.10.3- , GHC == 9.12.4- , GHC == 9.14.1--library- exposed-modules: Stock.QuickCheck- build-depends: base >=4.18 && <5- , ghc >=9.6 && <9.16- , stock >=0.1 && <0.2- , QuickCheck >=2.14 && <2.19- hs-source-dirs: .- default-language: GHC2021- ghc-options: -Wall--test-suite test- type: exitcode-stdio-1.0- main-is: Test.hs- build-depends: base, stock, stock-quickcheck, QuickCheck- ghc-options: -fplugin=Stock- hs-source-dirs: test- default-language: GHC2021--source-repository head- type: git- location: https://github.com/Icelandjack/stock.git- subdir: quickcheck+cabal-version: 3.0 +name: stock-quickcheck +version: 0.1.0.0 +x-revision: 1 +synopsis: Derive Arbitrary via the stock plugin +description: + The <https://hackage.haskell.org/package/stock stock> plugin provides a datatype for deriving and synthesising + instances at compile time. @stock-quickcheck@ extends the <https://hackage.haskell.org/package/stock stock> + with support for @Arbitrary@ (and higher-kinded variants) and + @CoArbitrary@. + + > {-# options_ghc -fplugin Stock #-} + > + > {-# language DerivingVia #-} + > {-# language DataKinds #-} + > + > import Stock + > import Stock.QuickCheck + > import Stock.Override + > + > import Test.QuickCheck + > + > data Person = P { name :: String, age :: Int } + > deriving (Eq, Ord, Show, Read) via + > Stock Person + > deriving Arbitrary via + > Overriding Person + > [ name via ASCIIString, age via Positive ] + + @stock-quickcheck@ provides four instances, that signal to the + plugin how to derive @Arbitrary@, @Arbitrary1@, @Arbitrary2@ and + @CoArbitrary@. + + @arbitrary@ is structural and size-aware, in the style of + @generic-arbitrary@. It picks a constructor, preferring terminal + constructors once the size runs out, so recursive types terminate, + and fills each field with its own @arbitrary@, dividing the size + among recursive fields. @shrink@ defaults. + + > instance DeriveStock Arbitrary .. + > instance DeriveStock1 Arbitrary1 .. + > instance DeriveStock2 Arbitrary2 .. + > instance DeriveStock CoArbitrary .. +license: BSD-3-Clause +license-file: LICENSE +author: Baldur Blöndal +maintainer: baldur.blondal@iohk.io +category: Type System +build-type: Simple +tested-with: GHC == 9.8.1 + , GHC == 9.10.3 + , GHC == 9.12.4 + , GHC == 9.14.1 + +library + exposed-modules: Stock.QuickCheck + build-depends: base >=4.18 && <5 + , ghc >=9.6 && <9.16 + , stock >=0.1 && <0.2 + , QuickCheck >=2.14 && <2.19 + hs-source-dirs: . + default-language: GHC2021 + ghc-options: -Wall + +test-suite test + type: exitcode-stdio-1.0 + main-is: Test.hs + build-depends: base, stock, stock-quickcheck, QuickCheck + ghc-options: -fplugin=Stock + hs-source-dirs: test + default-language: GHC2021 + +source-repository head + type: git + location: https://github.com/Icelandjack/stock.git + subdir: quickcheck
revision 2
cabal-version: 3.0 name: stock-quickcheck version: 0.1.0.0 -x-revision: 1 +x-revision: 2 synopsis: Derive Arbitrary via the stock plugin description: - The <https://hackage.haskell.org/package/stock stock> plugin provides a datatype for deriving and synthesising - instances at compile time. @stock-quickcheck@ extends the <https://hackage.haskell.org/package/stock stock> - with support for @Arbitrary@ (and higher-kinded variants) and - @CoArbitrary@. + The @<https://hackage.haskell.org/package/stock stock>@ plugin + provides a datatype for deriving and synthesising instances at + compile time. __stock-quickcheck__ extends it to support + @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, + @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@, + and their higher-kinded variants. + > {-# options_ghc -fplugin Stock #-} - > + > > {-# language DerivingVia #-} > {-# language DataKinds #-} - > + > > import Stock > import Stock.QuickCheck > import Stock.Override - > + > > import Test.QuickCheck - > + > > data Person = P { name :: String, age :: Int } > deriving (Eq, Ord, Show, Read) via > Stock Person > Overriding Person > [ name via ASCIIString, age via Positive ] - @stock-quickcheck@ provides four instances, that signal to the + __stock-quickcheck__ provides four instances, that signal to the plugin how to derive @Arbitrary@, @Arbitrary1@, @Arbitrary2@ and - @CoArbitrary@. + @CoArbitrary@. @arbitrary@ is structural and size-aware, in the style of @generic-arbitrary@. It picks a constructor, preferring terminal > instance DeriveStock1 Arbitrary1 .. > instance DeriveStock2 Arbitrary2 .. > instance DeriveStock CoArbitrary .. + + @<https://hackage.haskell.org/package/stock-deepseq stock>@ companion packages include: + + * @<https://hackage.haskell.org/package/stock-deepseq stock-deepseq>@: @<https://hackage.haskell.org/package/deepseq/docs/Control-DeepSeq.html#t:NFData NFData>@, @<https://hackage.haskell.org/package/deepseq/docs/Control-DeepSeq.html#t:NFData1 NFData1>@, @<https://hackage.haskell.org/package/deepseq/docs/Control-DeepSeq.html#t:NFData2 NFData2>@ + * @<https://hackage.haskell.org/package/stock-hashable stock-hashable>@: @<https://hackage.haskell.org/package/hashable/docs/Data-Hashable.html#t:Hashable Hashable>@, @<https://hackage.haskell.org/package/hashable/docs/Data-Hashable-Lifted.html#t:Hashable1 Hashable1>@, @<https://hackage.haskell.org/package/hashable/docs/Data-Hashable-Lifted.html#t:Hashable2 Hashable2>@ + * @<https://hackage.haskell.org/package/stock-aeson stock-aeson>@: @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:ToJSON ToJSON>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:ToJSON1 ToJSON1>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:ToJSON2 ToJSON2>@; @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:FromJSON FromJSON>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:FromJSON1 FromJSON1>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:FromJSON2 FromJSON2>@ + * __stock-quickcheck__: @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary1 Arbitrary1>@, @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary2 Arbitrary2>@; @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@ + * @<https://hackage.haskell.org/package/stock-profunctors stock-profunctors>@: @<https://hackage.haskell.org/package/profunctors/docs/Data-Profunctor.html#t:Profunctor Profunctor>@ + license: BSD-3-Clause license-file: LICENSE author: Baldur Blöndal
revision 3
cabal-version: 3.0 name: stock-quickcheck version: 0.1.0.0 -x-revision: 2 +x-revision: 3 synopsis: Derive Arbitrary via the stock plugin description: > > import Stock > import Stock.QuickCheck - > import Stock.Override > > import Test.QuickCheck >
revision 4
cabal-version: 3.0 name: stock-quickcheck version: 0.1.0.0 -x-revision: 3 +x-revision: 4 synopsis: Derive Arbitrary via the stock plugin description: - The @<https://hackage.haskell.org/package/stock stock>@ plugin - provides a datatype for deriving and synthesising instances at - compile time. __stock-quickcheck__ extends it to support + The <https://hackage.haskell.org/package/stock stock> plugin + provides a newtype + __@<https://hackage-content.haskell.org/package/stock-0.1.0.0/docs/Stock.html#t:Stock Stock>@__ + for deriving and synthesising instances at compile + time. __stock-quickcheck__ extends it to support @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@, and their higher-kinded variants. > [ name via ASCIIString, age via Positive ] __stock-quickcheck__ provides four instances, that signal to the - plugin how to derive @Arbitrary@, @Arbitrary1@, @Arbitrary2@ and - @CoArbitrary@. + plugin how to derive @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, + @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary1 Arbitrary1>@, + @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary2 Arbitrary2>@ and + @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@. @arbitrary@ is structural and size-aware, in the style of - @generic-arbitrary@. It picks a constructor, preferring terminal - constructors once the size runs out, so recursive types terminate, - and fills each field with its own @arbitrary@, dividing the size - among recursive fields. @shrink@ defaults. + @<https://hackage-content.haskell.org/package/generic-arbitrary generic-arbitrary>@. + It picks a constructor, preferring terminal constructors once the + size runs out, so recursive types terminate, and fills each field + with its own @arbitrary@, dividing the size among recursive + fields. @shrink@ defaults. > instance DeriveStock Arbitrary .. > instance DeriveStock1 Arbitrary1 .. > instance DeriveStock2 Arbitrary2 .. > instance DeriveStock CoArbitrary .. - @<https://hackage.haskell.org/package/stock-deepseq stock>@ companion packages include: + <https://hackage.haskell.org/package/stock stock> companion packages include: - * @<https://hackage.haskell.org/package/stock-deepseq stock-deepseq>@: @<https://hackage.haskell.org/package/deepseq/docs/Control-DeepSeq.html#t:NFData NFData>@, @<https://hackage.haskell.org/package/deepseq/docs/Control-DeepSeq.html#t:NFData1 NFData1>@, @<https://hackage.haskell.org/package/deepseq/docs/Control-DeepSeq.html#t:NFData2 NFData2>@ - * @<https://hackage.haskell.org/package/stock-hashable stock-hashable>@: @<https://hackage.haskell.org/package/hashable/docs/Data-Hashable.html#t:Hashable Hashable>@, @<https://hackage.haskell.org/package/hashable/docs/Data-Hashable-Lifted.html#t:Hashable1 Hashable1>@, @<https://hackage.haskell.org/package/hashable/docs/Data-Hashable-Lifted.html#t:Hashable2 Hashable2>@ - * @<https://hackage.haskell.org/package/stock-aeson stock-aeson>@: @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:ToJSON ToJSON>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:ToJSON1 ToJSON1>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:ToJSON2 ToJSON2>@; @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:FromJSON FromJSON>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:FromJSON1 FromJSON1>@, @<https://hackage.haskell.org/package/aeson/docs/Data-Aeson.html#t:FromJSON2 FromJSON2>@ - * __stock-quickcheck__: @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary1 Arbitrary1>@, @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary2 Arbitrary2>@; @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@ - * @<https://hackage.haskell.org/package/stock-profunctors stock-profunctors>@: @<https://hackage.haskell.org/package/profunctors/docs/Data-Profunctor.html#t:Profunctor Profunctor>@ + * __@<https://hackage.haskell.org/package/stock-deepseq stock-deepseq>@__: @<https://hackage-content.haskell.org/package/deepseq-1.5.2.0/docs/Control-DeepSeq.html#t:NFData NFData>@, @<https://hackage-content.haskell.org/package/deepseq-1.5.2.0/docs/Control-DeepSeq.html#t:NFData1 NFData1>@, @<https://hackage-content.haskell.org/package/deepseq-1.5.2.0/docs/Control-DeepSeq.html#t:NFData2 NFData2>@ + * __@<https://hackage.haskell.org/package/stock-hashable stock-hashable>@__: @<https://hackage-content.haskell.org/package/hashable-1.5.1.0/docs/Data-Hashable.html#t:Hashable Hashable>@, @<https://hackage-content.haskell.org/package/hashable-1.5.1.0/docs/Data-Hashable-Lifted.html#t:Hashable1 Hashable1>@, @<https://hackage-content.haskell.org/package/hashable-1.5.1.0/docs/Data-Hashable-Lifted.html#t:Hashable2 Hashable2>@ + * __@<https://hackage.haskell.org/package/stock-aeson stock-aeson>@__: @<https://hackage-content.haskell.org/package/aeson-2.3.0.0/docs/Data-Aeson.html#t:ToJSON ToJSON>@, @<https://hackage-content.haskell.org/package/aeson-2.3.0.0/docs/Data-Aeson.html#t:ToJSON1 ToJSON1>@, @<https://hackage-content.haskell.org/package/aeson-2.3.0.0/docs/Data-Aeson.html#t:ToJSON2 ToJSON2>@; @<https://hackage-content.haskell.org/package/aeson-2.3.0.0/docs/Data-Aeson.html#t:FromJSON FromJSON>@, @<https://hackage-content.haskell.org/package/aeson-2.3.0.0/docs/Data-Aeson.html#t:FromJSON1 FromJSON1>@, @<https://hackage-content.haskell.org/package/aeson-2.3.0.0/docs/Data-Aeson.html#t:FromJSON2 FromJSON2>@ + * __@stock-quickcheck@__: @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:Arbitrary1 Arbitrary1>@, @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:Arbitrary2 Arbitrary2>@; @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@ + * __@<https://hackage.haskell.org/package/stock-profunctors stock-profunctors>@__: @<https://hackage-content.haskell.org/package/profunctors-5.6.3/docs/Data-Profunctor.html#t:Profunctor Profunctor>@ license: BSD-3-Clause license-file: LICENSE
revision 5
cabal-version: 3.0 name: stock-quickcheck version: 0.1.0.0 -x-revision: 4 +x-revision: 5 synopsis: Derive Arbitrary via the stock plugin description: __@<https://hackage-content.haskell.org/package/stock-0.1.0.0/docs/Stock.html#t:Stock Stock>@__ for deriving and synthesising instances at compile time. __stock-quickcheck__ extends it to support - @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, - @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@, + @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, + @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@, and their higher-kinded variants. > {-# options_ghc -fplugin Stock #-} > [ name via ASCIIString, age via Positive ] __stock-quickcheck__ provides four instances, that signal to the - plugin how to derive @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, - @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary1 Arbitrary1>@, - @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:Arbitrary2 Arbitrary2>@ and - @<https://hackage.haskell.org/package/QuickCheck/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@. + plugin how to derive @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:Arbitrary Arbitrary>@, + @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:Arbitrary1 Arbitrary1>@, + @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:Arbitrary2 Arbitrary2>@ and + @<https://hackage-content.haskell.org/package/QuickCheck-2.18.0.0/docs/Test-QuickCheck.html#t:CoArbitrary CoArbitrary>@. @arbitrary@ is structural and size-aware, in the style of @<https://hackage-content.haskell.org/package/generic-arbitrary generic-arbitrary>@. maintainer: baldur.blondal@iohk.io category: Type System build-type: Simple -tested-with: GHC == 9.8.1 +tested-with: GHC == 9.8.1, GHC == 9.10.3, GHC == 9.12.4, GHC == 9.14.1 , GHC == 9.10.3 , GHC == 9.12.4 , GHC == 9.14.1