lib:ClassLaws

Modules

• Control.Monad.Laws
• Control.Monad.Laws.Instances
• Control.Monad.State.Class.Laws
• Control.Monad.State.Class.Laws.Instances
• Data.Monoid.Laws
• Data.Monoid.Laws.Instances
• Test.ClassLaws
• Test.ClassLaws.Core
• Test.ClassLaws.Partial
• Test.ClassLaws.TestingDatatypes
• Test.ClassLaws.TestingEquality
• Test.ClassLaws.TestingFinFuns
• Test.ClassLaws.TestingState
• Text.Show.Laws

Dependencies

• ChasingBottoms lib:ChasingBottoms >=1.3 && <2
• QuickCheck lib:QuickCheck >=2 && <2.5
• base lib:base >=4.1.0.0 && <5
• mtl lib:mtl >=1 && <3

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything