Test.QuickCheck.Classes

ordRel

ord

ordMorphism

semanticOrd

monoid

monoidMorphism

semanticMonoid

functor

functorMorphism

semanticFunctor

functorMonoid

applicative

applicativeMorphism

semanticApplicative

monad

monadMorphism

semanticMonad

monadFunctor

monadApplicative

arrow

arrowChoice

traversable

monadPlus

monadOr