Export Functor (SortedMap k)
commit61023b56aa97ad80873af7fc4e2a230a118f48aa
authorBelleve Invis <belleve@typeof.net>
dateFri 21 Apr 2017, 17:58 (10 years ago)
parent385f848
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)