File: ScopedTypeVariables.hs

package info (click to toggle)
haskell-ghc-exactprint 1.7.1.0-1
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,044 kB
  • sloc: haskell: 32,076; makefile: 7
file content (10 lines) | stat: -rw-r--r-- 380 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
 
{-# LANGUAGE ScopedTypeVariables #-}
-- from https://ocharles.org.uk/blog/guest-posts/2014-12-20-scoped-type-variables.html

import qualified Data.Map as Map

insertMany ::  forall k v . Ord k => (v -> v -> v) -> [(k,v)] -> Map.Map k v -> Map.Map k v
insertMany f vs m = foldr f1 m vs
  where
    f1 :: (k, v) -> Map.Map k v -> Map.Map k v
    f1 (k,v) m = Map.insertWith f k v m