Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #