Documentation

mapElemSpec ∷ Specification BaseFn (Map Int (Bool, Int)) Source #

mapPairSpec ∷ Specification BaseFn (Map Int Int, Set Int) Source #

mapEmptyDomainSpec ∷ Specification BaseFn (Map Int Int) Source #

mapSubSize ∷ Specification BaseFn (Map Int Int) Source #

knownDomainMap ∷ Specification BaseFn (Map Int Int) Source #

mapSizeConstrained ∷ Specification BaseFn (Map Three Int) Source #

sumRange ∷ Specification BaseFn (Map Word64 Word64) Source #

fixedRange ∷ Specification BaseFn (Map Int Int) Source #

rangeHint ∷ Specification BaseFn (Map Int Int) Source #

rangeSumSize ∷ Specification BaseFn (Map Int Int) Source #

elemSpec ∷ Specification BaseFn (Int, Int, Map Int Int) Source #

lookupSpecific ∷ Specification BaseFn (Int, Int, Map Int Int) Source #

mapRestrictedValues ∷ Specification BaseFn (Map (Either Int ()) Int) Source #

mapRestrictedValuesThree ∷ Specification BaseFn (Map Three Int) Source #

mapRestrictedValuesBool ∷ Specification BaseFn (Map Bool Int) Source #

mapSetSmall ∷ Specification BaseFn (Map (Set Int) Int) Source #

mapIsJust ∷ Specification BaseFn (Int, Int) Source #