Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constrained.Examples.Set
Documentation
setPairSpec ∷ Specification (Set Int, Set Int) Source #
setOfPairLetSpec ∷ Specification (Set (Int, Int)) Source #
setSingletonSpec ∷ Specification (Set (Int, Int)) Source #
maybeJustSetSpec ∷ Specification (Set (Maybe Int)) Source #
notSubsetSpec ∷ Specification (Set Int, Set Int) Source #
emptyEitherSpec ∷ Specification (Set (Either Int Int)) Source #
unionSized ∷ Specification (Set Int) Source #
eitherSetSpec ∷ Specification (Set (Either Int Int), Set (Either Int Int), Set (Either Int Int)) Source #
weirdSetPairSpec ∷ Specification ([Int], Set (Either Int Int)) Source #
setSubSize ∷ Specification (Set Int) Source #
Instances
emptyListSpec ∷ Specification ([Int], NotASet (Either Int Int, Int)) Source #
complexUnion ∷ Specification (Set Int, Set Int) Source #