Tests the following properties:
- Partial Isomorphism
fromList . toList ≡ id- Length Preservation
fromList xs ≡ fromListN (length xs) xs
Note: This property test is only available when
using base-4.7 or newer.
Modulequickcheck-classes-base-0.6.2.0Haskell2010
Test.QuickCheck.Classes.Base.IsList
This module provides property tests for functions that operate on
list-like data types. If your data type is fully polymorphic in its
element type, is it recommended that you use foldableLaws and
traversableLaws from Test.QuickCheck.Classes. However, if your
list-like data type is either monomorphic in its element type
(like Text or ByteString) or if it requires a typeclass
constraint on its element (like Data.Vector.Unboxed), the properties
provided here can be helpful for testing that your functions have
the expected behavior. All properties in this module require your data
type to have an IsList instance.
Synopsis
- value isListLaws
- value foldrProp
- value foldlProp
- value foldlMProp
- value mapProp
- value imapProp
- value imapMProp
- value traverseProp
- value generateProp
- value generateMProp
- value replicateProp
- value replicateMProp
- value filterProp
- value filterMProp
- value mapMaybeProp
- value mapMaybeMProp
- Packagequickcheck-classes-base-0.6.2.0
- Exports16
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceIsList.hs
value
imapMProp value
generateProp Property for the generate function, which builds a container
of a given length by applying a function to each index.
value
filterProp Property for the filter function, which keeps elements for which
the predicate holds true.
value
filterMProp Property for the filterM function, which keeps elements for which
the predicate holds true in an applicative context.
value
mapMaybeProp Property for the mapMaybe function, which keeps elements for which
the predicate holds true.