Difference between revisions of "Talk:GHC/Type families"
Jump to navigation
Jump to search
m (GMapInt or GMAp Int) |
m |
||
Line 1: | Line 1: | ||
− | I believe the instance declaration: |
||
− | |||
− | instance GMapKey Int where |
||
− | data GMap Int v = GMapInt (Data.Map.Map Int v) |
||
− | empty = GMapInt Data.Map.empty |
||
− | lookup k (GMapInt m) = Data.Map.lookup k m |
||
− | insert k v (GMapInt m) = GMapInt (Data.Map.insert k v m) |
||
− | should be: |
||
− | |||
− | instance GMapKey Int where |
||
− | data GMap Int v = GMap Int (Data.Map.Map Int v) |
||
− | empty = GMap Int Data.Map.empty |
||
− | lookup k (GMapInt m) = Data.Map.lookup k m |
||
− | insert k v (GMapInt m) = GMap Int (Data.Map.insert k v m) |