git.iko.soy/Idris-dev
on master help sign in
Add Foldable for SortedSet
be534deBrian McKenna
libs/base/Data/SortedSet.idr+3
compare with master
unifiedsplit
@@ -23,3 +23,6 @@ fromList l = SetWrapper (Data.SortedMap.fromList (map (\i => (i, ())) l))
23
23
24toList : SortedSet k -> List k
24toList : SortedSet k -> List k
25toList (SetWrapper m) = map (\(i, _) => i) (Data.SortedMap.toList m)
25toList (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)