@@ -29,6 +29,7 @@ export
2929toList : SortedSet k -> List k
3030toList (SetWrapper m) = map (\(i, _) => i) (Data.SortedMap.toList m)
3131
32+export
3233Foldable SortedSet where
3334 foldr f e xs = foldr f e (Data.SortedSet.toList xs)
3435
@@ -52,8 +53,10 @@ export
5253intersection : (x, y : SortedSet k) -> SortedSet k
5354intersection x y = difference x (difference x y)
5455
56+export
5557Ord k => Semigroup (SortedSet k) where
5658 (<+>) = union
5759
60+export
5861Ord k => Monoid (SortedSet k) where
5962 neutral = empty