git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3832 from Synthetica9/patch-3
b6b28feNiklas Larsson
libs/contrib/Data/SortedSet.idr+3
compare with master
unifiedsplit
@@ -29,6 +29,7 @@ export
29toList : SortedSet k -> List k
29toList : SortedSet k -> List k
30toList (SetWrapper m) = map (\(i, _) => i) (Data.SortedMap.toList m)
30toList (SetWrapper m) = map (\(i, _) => i) (Data.SortedMap.toList m)
31
31
32+export
32Foldable SortedSet where
33Foldable SortedSet where
33 foldr f e xs = foldr f e (Data.SortedSet.toList xs)
34 foldr f e xs = foldr f e (Data.SortedSet.toList xs)
34
35
@@ -52,8 +53,10 @@ export
52intersection : (x, y : SortedSet k) -> SortedSet k
53intersection : (x, y : SortedSet k) -> SortedSet k
53intersection x y = difference x (difference x y)
54intersection x y = difference x (difference x y)
54
55
56+export
55Ord k => Semigroup (SortedSet k) where
57Ord k => Semigroup (SortedSet k) where
56 (<+>) = union
58 (<+>) = union
57
59
60+export
58Ord k => Monoid (SortedSet k) where
61Ord k => Monoid (SortedSet k) where
59 neutral = empty
62 neutral = empty