Module

Test.StrongCheck.Laws.Control.Category

checkCategory :: forall a. Category a => Arbitrary (a B C) => Eq (a B C) => Proxy3 a -> Effect Unit

Modules: Test.StrongCheck.Laws; Test.StrongCheck.Laws.Control; Test.StrongCheck.Laws.Control.Alt; Test.StrongCheck.Laws.Control.Alternative; Test.StrongCheck.Laws.Control.Applicative; Test.StrongCheck.Laws.Control.Apply; Test.StrongCheck.Laws.Control.Bind; Test.StrongCheck.Laws.Control.Category; Test.StrongCheck.Laws.Control.Comonad; Test.StrongCheck.Laws.Control.Extend; Test.StrongCheck.Laws.Control.Monad; Test.StrongCheck.Laws.Control.MonadPlus; Test.StrongCheck.Laws.Control.MonadZero; Test.StrongCheck.Laws.Control.Plus; Test.StrongCheck.Laws.Control.Semigroupoid; Test.StrongCheck.Laws.Data; Test.StrongCheck.Laws.Data.BooleanAlgebra; Test.StrongCheck.Laws.Data.Bounded; Test.StrongCheck.Laws.Data.CommutativeRing; Test.StrongCheck.Laws.Data.DivisionRing; Test.StrongCheck.Laws.Data.Eq; Test.StrongCheck.Laws.Data.EuclideanRing; Test.StrongCheck.Laws.Data.Field; Test.StrongCheck.Laws.Data.Functor; Test.StrongCheck.Laws.Data.HeytingAlgebra; Test.StrongCheck.Laws.Data.Monoid; Test.StrongCheck.Laws.Data.Ord; Test.StrongCheck.Laws.Data.Ring; Test.StrongCheck.Laws.Data.Semigroup; Test.StrongCheck.Laws.Data.Semiring