git.iko.soy/Idris-dev
on master help sign in
Added the operations specified in the TODO in contrib/Data/SortedSet

These were union, difference, and intersection. Also added a Monoid based on the union (`<+> = union`, `neutral = empty`)

commitdba8a5b8edcef5d23fb8971671f951e77c5aa121 authorSynthetica9 <patrickhilhorst97@gmail.com> dateWed 19 Apr 2017, 12:15 (10 years ago) parent385f848
1 file changed+1−2
compare with master
unifiedsplit
libs/contrib/Data/SortedMap.idr+1−2
libs/contrib/Data/SortedMap.idr+1−2
@@ -238,10 +238,9 @@ toList (M _ t) = treeToList t
238238treeMap : (a -> b) -> Tree n k a o -> Tree n k b o
239239treeMap f (Leaf k v) = Leaf k (f v)
240240treeMap f (Branch2 t1 k t2) = Branch2 (treeMap f t1) k (treeMap f t2)
241−treeMap f (Branch3 t1 k1 t2 k2 t3)
241+treeMap f (Branch3 t1 k1 t2 k2 t3)
242242 = Branch3 (treeMap f t1) k1 (treeMap f t2) k2 (treeMap f t3)
243243
244244implementation Functor (SortedMap k) where
245245 map _ Empty = Empty
246246 map f (M n t) = M _ (treeMap f t)
247−