| Copyright | 2018 Automattic Inc. |
|---|---|
| License | GPL-3 |
| Maintainer | Nathan Bloomfield (nbloomf@gmail.com) |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Test.Tasty.QuickCheck.Laws.Class
Description
Convenience typeclass for type signatures.
Documentation
class (Eq a, Show a, Arbitrary a, CoArbitrary a, Typeable a) => Checkable a Source #
Alias for convenience.
Instances
| Checkable Bool Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| Checkable Char Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| Checkable Double Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| Checkable Int Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| Checkable Integer Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| Checkable () Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| Checkable a => Checkable [a] Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| Checkable a => Checkable (Maybe a) Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| (Checkable a, Checkable b) => Checkable (Either a b) Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| (Checkable a, Checkable b) => Checkable (a, b) Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |
| (Checkable a, Checkable b, Checkable c) => Checkable (a, b, c) Source # | |
Defined in Test.Tasty.QuickCheck.Laws.Class | |