Merge pull request #3776 from be5invis/patch-1
Export `Functor (SortedMap k)`
commitd0fc5e785b237027b318e36d84b8ff0adbf41821
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateMon 24 Apr 2017, 11:26 (9 years ago)
parent385f84861023b5
libs/contrib/Data/SortedMap.idr+1
@@ -241,6 +241,7 @@ treeMap f (Branch2 t1 k t2) = Branch2 (treeMap f t1) k (treeMap f t2)
241241treeMap f (Branch3 t1 k1 t2 k2 t3)
242242 = Branch3 (treeMap f t1) k1 (treeMap f t2) k2 (treeMap f t3)
243243
244+export
244245implementation Functor (SortedMap k) where
245246 map _ Empty = Empty
246247 map f (M n t) = M _ (treeMap f t)