Test.QuickCheck.Classes.IsList · quickcheck-classes-0.6.5.0

valueisListLaws

:: (IsList a, Show a, Show (Item a), Arbitrary a, Arbitrary (Item a), Eq a)
=> Proxy a
-> Laws

#

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.

valuemapProp

:: (IsList c, IsList d, Eq d, Show d, Show b, Item c ~ a, Item d ~ b, Arbitrary c, Arbitrary b, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> Proxy b
output element type
-> ((a -> b) -> c -> d)
map function
-> Property

#

valuefilterMProp

:: (IsList c, Item c ~ a, Arbitrary c, Show c, Show a, Eq c, CoArbitrary a, Function a)
=> Proxy a
element type
-> (forall s. (a -> ST s Bool) -> c -> ST s c)
traverse function
-> Property

#

Property for the filterM function, which keeps elements for which the predicate holds true in an applicative context.

valuefilterProp

:: (IsList c, Item c ~ a, Arbitrary c, Show c, Show a, Eq c, CoArbitrary a, Function a)
=> Proxy a
element type
-> ((a -> Bool) -> c -> c)
map function
-> Property

#

Property for the filter function, which keeps elements for which the predicate holds true.

valuefoldlMProp

:: (IsList c, Item c ~ a, Arbitrary c, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> (forall s b. (b -> a -> ST s b) -> b -> c -> ST s b)
monadic foldl function
-> Property

#

valuefoldlProp

:: (IsList c, Item c ~ a, Arbitrary c, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> (forall b. (b -> a -> b) -> b -> c -> b)
foldl function
-> Property

#

valuefoldrProp

:: (IsList c, Item c ~ a, Arbitrary c, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> (forall b. (a -> b -> b) -> b -> c -> b)
foldr function
-> Property

#

valuegenerateMProp

:: (Item c ~ a, Eq c, Show c, IsList c, Arbitrary a, Show a)
=> Proxy a
input element type
-> (forall s. Int -> (Int -> ST s a) -> ST s c)
-> Property

#

valuegenerateProp

:: (Item c ~ a, Eq c, Show c, IsList c, Arbitrary a, Show a)
=> Proxy a
input element type
-> (Int -> (Int -> a) -> c)
-> Property

#

Property for the generate function, which builds a container of a given length by applying a function to each index.

valueimapMProp

:: (IsList c, IsList d, Eq d, Show d, Show b, Item c ~ a, Item d ~ b, Arbitrary c, Arbitrary b, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> Proxy b
output element type
-> (forall s. (Int -> a -> ST s b) -> c -> ST s d)
monadic indexed map function
-> Property

#

valueimapProp

:: (IsList c, IsList d, Eq d, Show d, Show b, Item c ~ a, Item d ~ b, Arbitrary c, Arbitrary b, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> Proxy b
output element type
-> ((Int -> a -> b) -> c -> d)
indexed map function
-> Property

#

valuemapMaybeMProp

:: (IsList c, IsList d, Eq d, Show d, Show b, Item c ~ a, Item d ~ b, Arbitrary c, Arbitrary b, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> Proxy b
output element type
-> (forall s. (a -> ST s (Maybe b)) -> c -> ST s d)
traverse function
-> Property

#

valuemapMaybeProp

:: (IsList c, Item c ~ a, Item d ~ b, Eq d, IsList d, Arbitrary b, Show d, Show b, Arbitrary c, Show c, Show a, Eq c, CoArbitrary a, Function a)
=> Proxy a
input element type
-> Proxy b
output element type
-> ((a -> Maybe b) -> c -> d)
map function
-> Property

#

Property for the mapMaybe function, which keeps elements for which the predicate holds true.

valuereplicateMProp

:: (Item c ~ a, Eq c, Show c, IsList c, Arbitrary a, Show a)
=> Proxy a
input element type
-> (forall s. Int -> ST s a -> ST s c)
-> Property

#

valuereplicateProp

:: (Item c ~ a, Eq c, Show c, IsList c, Arbitrary a, Show a)
=> Proxy a
input element type
-> (Int -> a -> c)
-> Property

#

valuetraverseProp

:: (IsList c, IsList d, Eq d, Show d, Show b, Item c ~ a, Item d ~ b, Arbitrary c, Arbitrary b, Show c, Show a, CoArbitrary a, Function a)
=> Proxy a
input element type
-> Proxy b
output element type
-> (forall s. (a -> ST s b) -> c -> ST s d)
traverse function
-> Property

#