| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Constrained.Examples.Map
Synopsis
- mapElemSpec ∷ Specification (Map Int (Bool, Int))
- mapPairSpec ∷ Specification (Map Int Int, Set Int)
- mapEmptyDomainSpec ∷ Specification (Map Int Int)
- mapSubSize ∷ Specification (Map Int Int)
- knownDomainMap ∷ Specification (Map Int Int)
- mapSizeConstrained ∷ Specification (Map Three Int)
- sumRange ∷ Specification (Map Word64 Word64)
- fixedRange ∷ Specification (Map Int Int)
- rangeHint ∷ Specification (Map Int Int)
- rangeSumSize ∷ Specification (Map Int Int)
- elemSpec ∷ Specification (Int, Int, Map Int Int)
- lookupSpecific ∷ Specification (Int, Int, Map Int Int)
- mapRestrictedValues ∷ Specification (Map (Either Int ()) Int)
- mapRestrictedValuesThree ∷ Specification (Map Three Int)
- mapRestrictedValuesBool ∷ Specification (Map Bool Int)
- mapSetSmall ∷ Specification (Map (Set Int) Int)
- mapIsJust ∷ Specification (Int, Int)
Documentation
mapElemSpec ∷ Specification (Map Int (Bool, Int)) Source #
mapPairSpec ∷ Specification (Map Int Int, Set Int) Source #
mapEmptyDomainSpec ∷ Specification (Map Int Int) Source #
mapSubSize ∷ Specification (Map Int Int) Source #
knownDomainMap ∷ Specification (Map Int Int) Source #
mapSizeConstrained ∷ Specification (Map Three Int) Source #
sumRange ∷ Specification (Map Word64 Word64) Source #
fixedRange ∷ Specification (Map Int Int) Source #
rangeHint ∷ Specification (Map Int Int) Source #
rangeSumSize ∷ Specification (Map Int Int) Source #
elemSpec ∷ Specification (Int, Int, Map Int Int) Source #
lookupSpecific ∷ Specification (Int, Int, Map Int Int) Source #
mapRestrictedValues ∷ Specification (Map (Either Int ()) Int) Source #
mapRestrictedValuesThree ∷ Specification (Map Three Int) Source #
mapRestrictedValuesBool ∷ Specification (Map Bool Int) Source #
mapSetSmall ∷ Specification (Map (Set Int) Int) Source #
mapIsJust ∷ Specification (Int, Int) Source #
this tests the function saturatePred