Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constrained.Examples.List
Synopsis
- type Numbery a = (Foldy a, OrdLike a, NumLike a, Ord a, Enum a)
- listSum ∷ Numbery a ⇒ Specification [a]
- listSumForall ∷ Numbery a ⇒ Specification [a]
- listSumRange ∷ Numbery a ⇒ Specification [a]
- listSumRangeUpper ∷ Numbery a ⇒ Specification [a]
- listSumRangeRange ∷ Numbery a ⇒ Specification [a]
- listSumElemRange ∷ Numbery a ⇒ Specification [a]
- listSumPair ∷ Numbery a ⇒ Specification [(a, Int)]
- listEmpty ∷ Specification [Int]
- pairListError ∷ Specification [(Int, Int)]
- listMustSizeIssue ∷ Specification [Int]
- sumListBad ∷ Specification [Word64]
- listExistsUnfree ∷ Specification [Int]
- listSumShort ∷ Specification [Int]
- appendSize ∷ Specification ([Int], [Int])
- appendSingleton ∷ Specification Int
- singletonSubset ∷ Specification Int
- appendSuffix ∷ Specification ([Int], [Int])
- appendForAll ∷ Specification ([Int], [Int])
- singletonErrorTooMany ∷ Specification Int
- singletonErrorTooLong ∷ Specification Int
- appendTooLong ∷ Specification [Int]
- overconstrainedAppend ∷ Specification ([Int], [Int])
- overconstrainedPrefixes ∷ Specification ([Int], [Int], [Int])
- overconstrainedSuffixes ∷ Specification ([Int], [Int], [Int])
- appendForAllBad ∷ Specification ([Int], [Int])
Documentation
listSum ∷ Numbery a ⇒ Specification [a] Source #
listSumForall ∷ Numbery a ⇒ Specification [a] Source #
listSumRange ∷ Numbery a ⇒ Specification [a] Source #
listSumRangeUpper ∷ Numbery a ⇒ Specification [a] Source #
listSumRangeRange ∷ Numbery a ⇒ Specification [a] Source #
listSumElemRange ∷ Numbery a ⇒ Specification [a] Source #
listSumPair ∷ Numbery a ⇒ Specification [(a, Int)] Source #
listEmpty ∷ Specification [Int] Source #
pairListError ∷ Specification [(Int, Int)] Source #
listMustSizeIssue ∷ Specification [Int] Source #
sumListBad ∷ Specification [Word64] Source #
listExistsUnfree ∷ Specification [Int] Source #
listSumShort ∷ Specification [Int] Source #
appendSize ∷ Specification ([Int], [Int]) Source #
appendSingleton ∷ Specification Int Source #
singletonSubset ∷ Specification Int Source #
appendSuffix ∷ Specification ([Int], [Int]) Source #
appendForAll ∷ Specification ([Int], [Int]) Source #
appendTooLong ∷ Specification [Int] Source #
overconstrainedAppend ∷ Specification ([Int], [Int]) Source #
Fails because the cant set is over constrained
overconstrainedPrefixes ∷ Specification ([Int], [Int], [Int]) Source #
overconstrainedSuffixes ∷ Specification ([Int], [Int], [Int]) Source #
appendForAllBad ∷ Specification ([Int], [Int]) Source #