Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constrained.Examples.Basic
Synopsis
- leqPair ∷ Specification (Int, Int)
- simplePairSpec ∷ Specification (Int, Int)
- sizeAddOrSub1 ∷ Specification Integer
- sizeAddOrSub2 ∷ Specification Integer
- sizeAddOrSub3 ∷ Specification Integer
- sizeAddOrSub4 ∷ Specification Integer
- sizeAddOrSub5 ∷ Specification Integer
- listSubSize ∷ Specification [Int]
- orPair ∷ Specification (Int, Int)
- trickyCompositional ∷ Specification (Int, Int)
- data Foo
- fooSpec ∷ Specification Foo
- intSpec ∷ Specification (Int, Int)
- mapElemKeySpec ∷ Specification Int
- intRangeSpec ∷ Int → Specification Int
- testRewriteSpec ∷ Specification ((Int, Int), (Int, Int))
- pairSingletonSpec ∷ Specification (Int, Int)
- parallelLet ∷ Specification (Int, Int)
- letExists ∷ Specification (Int, Int)
- letExistsLet ∷ Specification (Int, Int)
- dependencyWeirdness ∷ Specification (Int, Int, Int)
- parallelLetPair ∷ Specification (Int, Int)
- existsUnfree ∷ Specification Int
- reifyYucky ∷ Specification (Int, Int, Int)
- basicSpec ∷ Specification Int
- canFollowLike ∷ Specification ((Int, Int), (Int, Int))
- ifElseBackwards ∷ Specification (Int, Int)
- assertReal ∷ Specification Int
- assertRealMultiple ∷ Specification (Int, Int)
- reifiesMultiple ∷ Specification (Int, Int, Int)
- data Three
- trueSpecUniform ∷ Specification Three
- three ∷ Specification Three
- three' ∷ Specification Three
- threeSpecific ∷ Specification Three
- threeSpecific' ∷ Specification Three
- posNegDistr ∷ Specification Int
- ifElseMany ∷ Specification (Bool, Int, Int)
- propBack ∷ Specification (Int, Int)
- propBack' ∷ Specification (Int, Int)
- propBack'' ∷ Specification (Int, Int)
- chooseBackwards ∷ Specification (Int, [Int])
- chooseBackwards' ∷ Specification ([(Int, [Int])], (Int, [Int]))
- whenTrueExists ∷ Specification Int
- wtfSpec ∷ Specification ([Int], Maybe ((), [Int]))
Documentation
simplePairSpec ∷ Specification (Int, Int) Source #
sizeAddOrSub4 ∷ Specification Integer Source #
We expect a negative Integer, so ltSpec tests for that.
Instances
testRewriteSpec ∷ Specification ((Int, Int), (Int, Int)) Source #
parallelLet ∷ Specification (Int, Int) Source #
letExistsLet ∷ Specification (Int, Int) Source #
dependencyWeirdness ∷ Specification (Int, Int, Int) Source #
reifyYucky ∷ Specification (Int, Int, Int) Source #
canFollowLike ∷ Specification ((Int, Int), (Int, Int)) Source #
reifiesMultiple ∷ Specification (Int, Int, Int) Source #
Instances
ifElseMany ∷ Specification (Bool, Int, Int) Source #
propBack'' ∷ Specification (Int, Int) Source #
chooseBackwards ∷ Specification (Int, [Int]) Source #
chooseBackwards' ∷ Specification ([(Int, [Int])], (Int, [Int])) Source #