test:laws

Dependencies

• QuickCheck lib:QuickCheck >=2.9.2 && <2.14
• base lib:base >=4.8 && <5.0
• primitive lib:primitive >=0
• quickcheck-classes lib:quickcheck-classes >=0.6.3 && <0.7.0
• semirings lib:semirings >=0.2 && <0.6
• wide-word lib:wide-word >=0

Reverse dependencies

None.