Add Foldable for SortedSet
commitbe534ded8c28e14608f3873aa248e16f5160936b
authorBrian McKenna <brian@brianmckenna.org>
dateSat 12 Apr 2014, 10:16 (13 years ago)
parent91043cc
libs/base/Data/SortedSet.idr+3
@@ -23,3 +23,6 @@ fromList l = SetWrapper (Data.SortedMap.fromList (map (\i => (i, ())) l))
2323
2424toList : SortedSet k -> List k
2525toList (SetWrapper m) = map (\(i, _) => i) (Data.SortedMap.toList m)
26+
27+instance Foldable SortedSet where
28+ foldr f e xs = foldr f e (Data.SortedSet.toList xs)