constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Constrained.Examples.List

Synopsis

Documentation

type Numbery a = (Foldy a, OrdLike a, NumLike a, Ord a, Enum a) Source #

appendSizeSpecification ([Int], [Int]) Source #

appendSuffixSpecification ([Int], [Int]) Source #

appendForAllSpecification ([Int], [Int]) Source #

overconstrainedAppendSpecification ([Int], [Int]) Source #

Fails because the cant set is over constrained

overconstrainedPrefixesSpecification ([Int], [Int], [Int]) Source #

overconstrainedSuffixesSpecification ([Int], [Int], [Int]) Source #