[CLEAN] removing NgramsRepo which is not used any more
[gargantext.git] / src / Gargantext / Data / HashMap / Strict / Utils.hs
index 8c85c0fa8c5b2a4f2044125f8e9a0c54a4d44a12..2349edc548d6f10c56810f34fec4d3b09a1897ac 100644 (file)
@@ -23,9 +23,6 @@ partitionWithKey :: (Ord a, Hashable k) => (k -> a -> Bool) -> HashMap k a -> (H
 partitionWithKey p m = (HashMap.filterWithKey p m, HashMap.filterWithKey (\k -> not . p k) m)
 
 
-mapKeys :: (Ord k2, Hashable k2) => (k1->k2) -> HashMap k1 a -> HashMap k2 a
-mapKeys f = HashMap.fromList . HashMap.foldrWithKey (\k x xs -> (f k, x) : xs) []
-
 ------------------------------------------------------------------------
 -- getKeyWithMaxValue :: Hashable k => HashMap k a -> Maybe k
 getKeysOrderedByValueMaxFirst :: (Ord k, Hashable k, Ord a) => HashMap k a -> [k]