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