Documentation

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

listSum ∷ Numbery a ⇒ Specification BaseFn [a] Source #

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 #

listEmpty ∷ Specification BaseFn [Int] Source #

pairListError ∷ Specification BaseFn [(Int, Int)] Source #

listMustSizeIssue ∷ Specification BaseFn [Int] Source #

sumListBad ∷ Specification BaseFn [Word64] Source #

listExistsUnfree ∷ Specification BaseFn [Int] Source #

listSumShort ∷ Specification BaseFn [Int] Source #

appendSize ∷ Specification BaseFn ([Int], [Int]) Source #

appendSingleton ∷ Specification BaseFn Int Source #

singletonSubset ∷ Specification BaseFn Int Source #

singletonErrorTooMany ∷ Specification BaseFn Int Source #

singletonErrorTooLong ∷ Specification BaseFn Int Source #

appendTooLong ∷ Specification BaseFn [Int] Source #