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