andrewthad/quickcheck-classes issues and pull requests

#137 - IsList's monadic tests do not test the order of effects

Issue - State: open - Opened by meooow25 6 months ago

#136 - Support primitive 0.9

Pull Request - State: closed - Opened by Vekhir 10 months ago - 1 comment

#135 - Remove note about flags only being for experts & update `README.md`

Pull Request - State: closed - Opened by konsumlamm 12 months ago - 1 comment

#134 - Allow transformers-0.6

Pull Request - State: closed - Opened by Bodigrim over 1 year ago - 1 comment

#133 - Allow primitive-0.8

Pull Request - State: closed - Opened by Bodigrim almost 2 years ago

#132 - Remove some unnecessary imports

Pull Request - State: closed - Opened by konsumlamm about 3 years ago - 1 comment

#131 - Replace backticks in description

Pull Request - State: closed - Opened by konsumlamm about 3 years ago - 1 comment

#130 - Add MonadTrans

Issue - State: open - Opened by treeowl over 3 years ago - 3 comments

#129 - quickcheck-classes-base: move qe1_q under UNARY_LAWS define

Pull Request - State: closed - Opened by trofi over 3 years ago

#128 - Suggestions: Return if test has succeded or failed (possibly why it has failed)

Issue - State: open - Opened by dschrempf over 3 years ago

#127 - Test a subset of laws / exclude some laws

Issue - State: open - Opened by dschrempf over 3 years ago - 3 comments

#126 - Added `with` versions to take QuickCheck `Args`

Pull Request - State: closed - Opened by AriFordsham over 3 years ago

#125 - Prepare for 0.6.2.0 and 0.6.5.0 releases

Pull Request - State: closed - Opened by andrewthad over 3 years ago

#124 - More redundant dependencies

Pull Request - State: closed - Opened by Bodigrim over 3 years ago - 1 comment

#123 - Do not depend on bifunctors/contravariant on modern GHCs

Pull Request - State: closed - Opened by Bodigrim over 3 years ago

#122 - api change proposal

Issue - State: open - Opened by chessai almost 4 years ago - 1 comment

#122 - api change proposal

Issue - State: open - Opened by chessai almost 4 years ago - 1 comment

#121 - Fix unaligned access in Storable laws

Pull Request - State: closed - Opened by Bodigrim about 4 years ago - 1 comment

#121 - Fix unaligned access in Storable laws

Pull Request - State: closed - Opened by Bodigrim about 4 years ago - 1 comment

#120 - Storable laws do not respect alignment

Issue - State: closed - Opened by Bodigrim about 4 years ago - 1 comment

#120 - Storable laws do not respect alignment

Issue - State: closed - Opened by Bodigrim about 4 years ago - 1 comment

#119 - Fix Ix laws

Pull Request - State: open - Opened by Topsii about 4 years ago - 3 comments

#119 - Fix Ix laws

Pull Request - State: open - Opened by Topsii about 4 years ago - 3 comments

#118 - Depend on fail only on GHC < 8

Pull Request - State: closed - Opened by felixonmars about 4 years ago - 1 comment

#118 - Depend on fail only on GHC < 8

Pull Request - State: closed - Opened by felixonmars about 4 years ago - 1 comment

#117 - Depend on semigroups only on GHC < 8.0

Pull Request - State: closed - Opened by felixonmars over 4 years ago

#117 - Depend on semigroups only on GHC < 8.0

Pull Request - State: closed - Opened by felixonmars over 4 years ago

#116 - Exception thrown when using finiteBitSize that evaluates its argument

Issue - State: open - Opened by chessai over 4 years ago - 1 comment

#116 - Exception thrown when using finiteBitSize that evaluates its argument

Issue - State: open - Opened by chessai over 4 years ago - 1 comment

#115 - Check that quotRem is (quot, rem) and divMod is (div, mod)

Pull Request - State: closed - Opened by Bodigrim about 5 years ago - 2 comments

#115 - Check that quotRem is (quot, rem) and divMod is (div, mod)

Pull Request - State: closed - Opened by Bodigrim about 5 years ago - 2 comments

#114 - add travis ci

Pull Request - State: closed - Opened by chessai about 5 years ago - 2 comments

#113 - add github ci

Issue - State: open - Opened by chessai about 5 years ago - 3 comments

#113 - add github ci

Issue - State: open - Opened by chessai about 5 years ago - 3 comments

#112 - semiringLaws: import Prelude.fromInteger qualified

Pull Request - State: closed - Opened by Bodigrim over 5 years ago - 4 comments

#112 - semiringLaws: import Prelude.fromInteger qualified

Pull Request - State: closed - Opened by Bodigrim over 5 years ago - 4 comments

#111 - Add laws for abs and signum

Pull Request - State: closed - Opened by Bodigrim over 5 years ago - 6 comments

#111 - Add laws for abs and signum

Pull Request - State: closed - Opened by Bodigrim over 5 years ago - 6 comments

#110 - Missing Num laws for abs and signum

Issue - State: closed - Opened by Bodigrim over 5 years ago - 3 comments

#110 - Missing Num laws for abs and signum

Issue - State: closed - Opened by Bodigrim over 5 years ago - 3 comments

#109 - Add law that tests that subtraction is the same as adding the negation of a number

Pull Request - State: closed - Opened by andrewthad over 5 years ago

#109 - Add law that tests that subtraction is the same as adding the negation of a number

Pull Request - State: closed - Opened by andrewthad over 5 years ago

#108 - Rotation laws

Pull Request - State: closed - Opened by andrewthad over 5 years ago - 1 comment

#108 - Rotation laws

Pull Request - State: closed - Opened by andrewthad over 5 years ago - 1 comment

#107 - Factor out quickcheck-classes-base

Pull Request - State: closed - Opened by andrewthad over 5 years ago - 4 comments

#107 - Factor out quickcheck-classes-base

Pull Request - State: closed - Opened by andrewthad over 5 years ago - 4 comments

#106 - Copyrights for T.QC.C.{Euclidean,MVector}

Pull Request - State: closed - Opened by Bodigrim over 5 years ago

#106 - Copyrights for T.QC.C.{Euclidean,MVector}

Pull Request - State: closed - Opened by Bodigrim over 5 years ago

#105 - Add num laws

Pull Request - State: closed - Opened by andrewthad over 5 years ago - 2 comments

#105 - Add num laws

Pull Request - State: closed - Opened by andrewthad over 5 years ago - 2 comments

#104 - numLaws

Issue - State: closed - Opened by andrewthad over 5 years ago - 1 comment

#104 - numLaws

Issue - State: closed - Opened by andrewthad over 5 years ago - 1 comment

#103 - Euclidean and GcdDomain laws

Pull Request - State: closed - Opened by Bodigrim over 5 years ago - 8 comments

#103 - Euclidean and GcdDomain laws

Pull Request - State: closed - Opened by Bodigrim over 5 years ago - 8 comments

#102 - Missing Apply law

Issue - State: open - Opened by eschnett over 5 years ago - 3 comments

#102 - Missing Apply law

Issue - State: open - Opened by eschnett over 5 years ago - 3 comments

#101 - Storable laws are missing the "set-set" case

Issue - State: closed - Opened by eschnett over 5 years ago - 1 comment

#101 - Storable laws are missing the "set-set" case

Issue - State: closed - Opened by eschnett over 5 years ago - 1 comment

#100 - move the Prim helper module into into primitive test suite

Issue - State: open - Opened by cartazio over 5 years ago - 10 comments

#100 - move the Prim helper module into into primitive test suite

Issue - State: open - Opened by cartazio over 5 years ago - 10 comments

#99 - monoidLaws: Check that mappend == (<>)?

Issue - State: closed - Opened by sjakobi over 5 years ago - 8 comments

#99 - monoidLaws: Check that mappend == (<>)?

Issue - State: closed - Opened by sjakobi over 5 years ago - 8 comments

#98 - Data.Semigroup.Sum isn't good for testing

Issue - State: closed - Opened by sjakobi over 5 years ago - 5 comments

#98 - Data.Semigroup.Sum isn't good for testing

Issue - State: closed - Opened by sjakobi over 5 years ago - 5 comments

#97 - Demonstrate how a bad 'fold' implementation goes uncaught

Pull Request - State: closed - Opened by sjakobi over 5 years ago

#97 - Demonstrate how a bad 'fold' implementation goes uncaught

Pull Request - State: closed - Opened by sjakobi over 5 years ago

#96 - binary put/get

Issue - State: open - Opened by chessai almost 6 years ago

#96 - binary put/get

Issue - State: open - Opened by chessai almost 6 years ago

#95 - Stackage

Issue - State: closed - Opened by Bodigrim almost 6 years ago - 2 comments

#95 - Stackage

Issue - State: closed - Opened by Bodigrim almost 6 years ago - 2 comments

#94 - missing eq laws

Issue - State: closed - Opened by chessai almost 6 years ago - 10 comments

#94 - missing eq laws

Issue - State: closed - Opened by chessai almost 6 years ago - 10 comments

#93 - More MVector laws

Pull Request - State: closed - Opened by Bodigrim almost 6 years ago - 3 comments

#93 - More MVector laws

Pull Request - State: closed - Opened by Bodigrim almost 6 years ago - 3 comments

#92 - consolidate with hedgehog-classes

Issue - State: closed - Opened by chessai almost 6 years ago - 5 comments

#92 - consolidate with hedgehog-classes

Issue - State: closed - Opened by chessai almost 6 years ago - 5 comments

#91 - note in documentation that library authors can provide 'Laws' for their own typeclasses

Issue - State: closed - Opened by chessai almost 6 years ago - 1 comment

#91 - note in documentation that library authors can provide 'Laws' for their own typeclasses

Issue - State: closed - Opened by chessai almost 6 years ago - 1 comment

#90 - Algebraic Graph (algebraic-graphs) laws?

Issue - State: closed - Opened by chessai almost 6 years ago - 2 comments

#90 - Algebraic Graph (algebraic-graphs) laws?

Issue - State: closed - Opened by chessai almost 6 years ago - 2 comments

#89 - WIP #88 Vector laws

Pull Request - State: closed - Opened by Bodigrim almost 6 years ago - 4 comments

#89 - WIP #88 Vector laws

Pull Request - State: closed - Opened by Bodigrim almost 6 years ago - 4 comments

#88 - Vector laws

Issue - State: closed - Opened by Bodigrim almost 6 years ago - 5 comments

#88 - Vector laws

Issue - State: closed - Opened by Bodigrim almost 6 years ago - 5 comments

#87 - add monadFixLaws

Pull Request - State: open - Opened by chessai almost 6 years ago - 1 comment

#87 - add monadFixLaws

Pull Request - State: open - Opened by chessai almost 6 years ago - 1 comment

#86 - add monadIOLaws

Pull Request - State: open - Opened by chessai almost 6 years ago

#86 - add monadIOLaws

Pull Request - State: open - Opened by chessai almost 6 years ago

#85 - add arrowLaws

Pull Request - State: closed - Opened by chessai almost 6 years ago - 1 comment

#85 - add arrowLaws

Pull Request - State: closed - Opened by chessai almost 6 years ago - 1 comment

#84 - less cpp noise in properties using type synonyms

Issue - State: open - Opened by chessai almost 6 years ago - 4 comments

#84 - less cpp noise in properties using type synonyms

Issue - State: open - Opened by chessai almost 6 years ago - 4 comments