├── .github └── workflows │ └── haskell.yaml ├── .gitignore ├── README.md ├── Setup.hs ├── cabal.project ├── projects ├── ghc-7-10-3-no-semigroupoids.project ├── ghc-7-10-3-transformers-0-4-1-0.project ├── ghc-7-10-3-transformers-0-5-5-0.project ├── ghc-7-10-3-transformers-0-5-containers-0-6-quickcheck-2-12.project ├── ghc-7-4-2-transformers-0-4-1-0.project ├── ghc-7-8-4-transformers-0-3-0-0.project ├── ghc-7-8-4-transformers-0-3-containers-0-5-9.project ├── ghc-8-4-3-containers-0-6-quickcheck-2-9.project └── ghc-8-4-3-no-semigroupoids.project ├── quickcheck-classes-base ├── LICENSE ├── changelog.md ├── quickcheck-classes-base.cabal └── src │ └── Test │ └── QuickCheck │ └── Classes │ ├── Alternative.hs │ ├── Applicative.hs │ ├── Arrow.hs │ ├── Base.hs │ ├── Base │ └── IsList.hs │ ├── Bifoldable.hs │ ├── Bifunctor.hs │ ├── Bitraversable.hs │ ├── Bits.hs │ ├── Category.hs │ ├── Contravariant.hs │ ├── Enum.hs │ ├── Eq.hs │ ├── Foldable.hs │ ├── Functor.hs │ ├── Generic.hs │ ├── Integral.hs │ ├── Internal.hs │ ├── Ix.hs │ ├── Monad.hs │ ├── MonadFail.hs │ ├── MonadPlus.hs │ ├── MonadZip.hs │ ├── Monoid.hs │ ├── Num.hs │ ├── Ord.hs │ ├── Semigroup.hs │ ├── Show.hs │ ├── ShowRead.hs │ ├── Storable.hs │ └── Traversable.hs ├── quickcheck-classes ├── LICENSE ├── README.md ├── changelog.md ├── quickcheck-classes.cabal ├── src │ └── Test │ │ └── QuickCheck │ │ ├── Classes.hs │ │ └── Classes │ │ ├── Alt.hs │ │ ├── Apply.hs │ │ ├── Euclidean.hs │ │ ├── IsList.hs │ │ ├── Json.hs │ │ ├── MVector.hs │ │ ├── Plus.hs │ │ ├── Prim.hs │ │ ├── Ring.hs │ │ ├── Semigroupoid.hs │ │ └── Semiring.hs └── test │ ├── Advanced.hs │ ├── Basic.hs │ ├── Spec.hs │ └── Spec │ └── ShowRead.hs └── stack.yaml /.github/workflows/haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/.github/workflows/haskell.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/cabal.project -------------------------------------------------------------------------------- /projects/ghc-7-10-3-no-semigroupoids.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-7-10-3-no-semigroupoids.project -------------------------------------------------------------------------------- /projects/ghc-7-10-3-transformers-0-4-1-0.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-7-10-3-transformers-0-4-1-0.project -------------------------------------------------------------------------------- /projects/ghc-7-10-3-transformers-0-5-5-0.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-7-10-3-transformers-0-5-5-0.project -------------------------------------------------------------------------------- /projects/ghc-7-10-3-transformers-0-5-containers-0-6-quickcheck-2-12.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-7-10-3-transformers-0-5-containers-0-6-quickcheck-2-12.project -------------------------------------------------------------------------------- /projects/ghc-7-4-2-transformers-0-4-1-0.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-7-4-2-transformers-0-4-1-0.project -------------------------------------------------------------------------------- /projects/ghc-7-8-4-transformers-0-3-0-0.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-7-8-4-transformers-0-3-0-0.project -------------------------------------------------------------------------------- /projects/ghc-7-8-4-transformers-0-3-containers-0-5-9.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-7-8-4-transformers-0-3-containers-0-5-9.project -------------------------------------------------------------------------------- /projects/ghc-8-4-3-containers-0-6-quickcheck-2-9.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-8-4-3-containers-0-6-quickcheck-2-9.project -------------------------------------------------------------------------------- /projects/ghc-8-4-3-no-semigroupoids.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/projects/ghc-8-4-3-no-semigroupoids.project -------------------------------------------------------------------------------- /quickcheck-classes-base/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/LICENSE -------------------------------------------------------------------------------- /quickcheck-classes-base/changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/changelog.md -------------------------------------------------------------------------------- /quickcheck-classes-base/quickcheck-classes-base.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/quickcheck-classes-base.cabal -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Alternative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Alternative.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Applicative.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Applicative.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Arrow.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Arrow.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Base.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Base.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Base/IsList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Base/IsList.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Bifoldable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Bifoldable.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Bifunctor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Bifunctor.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Bitraversable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Bitraversable.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Bits.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Bits.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Category.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Category.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Contravariant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Contravariant.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Enum.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Enum.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Eq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Eq.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Foldable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Foldable.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Functor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Functor.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Generic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Generic.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Integral.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Integral.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Internal.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Ix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Ix.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Monad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Monad.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/MonadFail.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/MonadFail.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/MonadPlus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/MonadPlus.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/MonadZip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/MonadZip.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Monoid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Monoid.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Num.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Num.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Ord.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Ord.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Semigroup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Semigroup.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Show.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Show.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/ShowRead.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/ShowRead.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Storable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Storable.hs -------------------------------------------------------------------------------- /quickcheck-classes-base/src/Test/QuickCheck/Classes/Traversable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes-base/src/Test/QuickCheck/Classes/Traversable.hs -------------------------------------------------------------------------------- /quickcheck-classes/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/LICENSE -------------------------------------------------------------------------------- /quickcheck-classes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/README.md -------------------------------------------------------------------------------- /quickcheck-classes/changelog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/changelog.md -------------------------------------------------------------------------------- /quickcheck-classes/quickcheck-classes.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/quickcheck-classes.cabal -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Alt.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Alt.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Apply.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Apply.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Euclidean.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Euclidean.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/IsList.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/IsList.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Json.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Json.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/MVector.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/MVector.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Plus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Plus.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Prim.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Prim.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Ring.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Ring.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Semigroupoid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Semigroupoid.hs -------------------------------------------------------------------------------- /quickcheck-classes/src/Test/QuickCheck/Classes/Semiring.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/src/Test/QuickCheck/Classes/Semiring.hs -------------------------------------------------------------------------------- /quickcheck-classes/test/Advanced.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/test/Advanced.hs -------------------------------------------------------------------------------- /quickcheck-classes/test/Basic.hs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /quickcheck-classes/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/test/Spec.hs -------------------------------------------------------------------------------- /quickcheck-classes/test/Spec/ShowRead.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/quickcheck-classes/test/Spec/ShowRead.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/andrewthad/quickcheck-classes/HEAD/stack.yaml --------------------------------------------------------------------------------