module Hydra.Lib.Maps where import qualified Data.Map as M map :: (v1 -> v2) -> M.Map k v1 -> M.Map k v2 map :: forall v1 v2 k. (v1 -> v2) -> Map k v1 -> Map k v2 map = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b fmap size :: M.Map k v -> Int size :: forall k v. Map k v -> Int size = forall k v. Map k v -> Int M.size