Cabal revisions of quickcheck-lockstep-0.5.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 2.4-name: quickcheck-lockstep-version: 0.5.0-license: BSD-3-Clause-license-file: LICENSE-author: Edsko de Vries-maintainer: edsko@well-typed.com, joris@well-typed.com-extra-doc-files: README.md-extra-source-files: CHANGELOG.md-category: Testing-synopsis: Library for lockstep-style testing with 'quickcheck-dynamic'-description: Lockstep-style testing is a particular approach for blackbox- testing of stateful APIs: we generate a random sequence of- APIs calls, then execute them both against the system under- test and against a model, and compare responses up to some- notion of observability.-tested-with: GHC ==8.10 || ==9.0 || ==9.2 || ==9.4 || ==9.6 || ==9.8--source-repository head- type: git- location: https://github.com/well-typed/quickcheck-lockstep--common lang- default-language:- Haskell2010- default-extensions:- FlexibleContexts- FlexibleInstances- GADTs- ImportQualifiedPost- LambdaCase- MultiParamTypeClasses- QuantifiedConstraints- RankNTypes- ScopedTypeVariables- StandaloneDeriving- TupleSections- TypeApplications- TypeFamilies- other-extensions:- UndecidableInstances- ghc-options:- -Wall- -Wprepositive-qualified-module- -Wredundant-constraints--library- import:- lang- exposed-modules:- Test.QuickCheck.StateModel.Lockstep- Test.QuickCheck.StateModel.Lockstep.Defaults- Test.QuickCheck.StateModel.Lockstep.Op- Test.QuickCheck.StateModel.Lockstep.Op.Identity- Test.QuickCheck.StateModel.Lockstep.Op.SumProd- Test.QuickCheck.StateModel.Lockstep.Run- other-modules:- Test.QuickCheck.StateModel.Lockstep.API- Test.QuickCheck.StateModel.Lockstep.EnvF- Test.QuickCheck.StateModel.Lockstep.GVar- build-depends:- -- quickcheck-dynamic requires ghc 8.10 minimum- base >= 4.14 && < 4.20- , constraints >= 0.13 && < 0.14- , mtl >= 2.2 && < 2.4- , containers >= 0.6 && < 0.7- , QuickCheck >= 2.14 && < 2.15- , quickcheck-dynamic >= 3.4.1 && < 3.5- hs-source-dirs:- src--test-suite test-quickcheck-lockstep- import:- lang- type:- exitcode-stdio-1.0- hs-source-dirs:- test- main-is:- Main.hs- other-modules:- Test.MockFS- Test.MockFS.Mock- Test.IORef.Full- Test.IORef.Simple- default-extensions:- DeriveGeneric- EmptyCase- build-depends:- -- Version bounds determined by main lib- base- , constraints- , containers- , directory- , filepath- , mtl- , QuickCheck- , quickcheck-dynamic- , quickcheck-lockstep- , tasty- , tasty-hunit- , tasty-quickcheck- , temporary+cabal-version: 2.4 +name: quickcheck-lockstep +version: 0.5.0 +x-revision: 1 +license: BSD-3-Clause +license-file: LICENSE +author: Edsko de Vries +maintainer: edsko@well-typed.com, joris@well-typed.com +extra-doc-files: README.md +extra-source-files: CHANGELOG.md +category: Testing +synopsis: Library for lockstep-style testing with 'quickcheck-dynamic' +description: Lockstep-style testing is a particular approach for blackbox + testing of stateful APIs: we generate a random sequence of + APIs calls, then execute them both against the system under + test and against a model, and compare responses up to some + notion of observability. +tested-with: GHC ==8.10 || ==9.0 || ==9.2 || ==9.4 || ==9.6 || ==9.8 + +source-repository head + type: git + location: https://github.com/well-typed/quickcheck-lockstep + +common lang + default-language: + Haskell2010 + default-extensions: + FlexibleContexts + FlexibleInstances + GADTs + ImportQualifiedPost + LambdaCase + MultiParamTypeClasses + QuantifiedConstraints + RankNTypes + ScopedTypeVariables + StandaloneDeriving + TupleSections + TypeApplications + TypeFamilies + other-extensions: + UndecidableInstances + ghc-options: + -Wall + -Wprepositive-qualified-module + -Wredundant-constraints + +library + import: + lang + exposed-modules: + Test.QuickCheck.StateModel.Lockstep + Test.QuickCheck.StateModel.Lockstep.Defaults + Test.QuickCheck.StateModel.Lockstep.Op + Test.QuickCheck.StateModel.Lockstep.Op.Identity + Test.QuickCheck.StateModel.Lockstep.Op.SumProd + Test.QuickCheck.StateModel.Lockstep.Run + other-modules: + Test.QuickCheck.StateModel.Lockstep.API + Test.QuickCheck.StateModel.Lockstep.EnvF + Test.QuickCheck.StateModel.Lockstep.GVar + build-depends: + -- quickcheck-dynamic requires ghc 8.10 minimum + base >= 4.14 && < 4.20 + , constraints >= 0.13 && < 0.15 + , mtl >= 2.2 && < 2.4 + , containers >= 0.6 && < 0.7 + , QuickCheck >= 2.14 && < 2.15 + , quickcheck-dynamic >= 3.4.1 && < 3.5 + hs-source-dirs: + src + +test-suite test-quickcheck-lockstep + import: + lang + type: + exitcode-stdio-1.0 + hs-source-dirs: + test + main-is: + Main.hs + other-modules: + Test.MockFS + Test.MockFS.Mock + Test.IORef.Full + Test.IORef.Simple + default-extensions: + DeriveGeneric + EmptyCase + build-depends: + -- Version bounds determined by main lib + base + , constraints + , containers + , directory + , filepath + , mtl + , QuickCheck + , quickcheck-dynamic + , quickcheck-lockstep + , tasty + , tasty-hunit + , tasty-quickcheck + , temporary