git.iko.soy/Idris-dev
on master help sign in
Forgot a few `export`s
394567bSynthetica9
libs/contrib/Data/SortedMap.idr+1
compare with master
unifiedsplit
@@ -214,6 +214,7 @@ insert k v (M _ t) =
214 Left t' => (M _ t')
214 Left t' => (M _ t')
215 Right t' => (M _ t')
215 Right t' => (M _ t')
216
216
217+export
217insertFrom : Foldable f => f (k, v) -> SortedMap k v -> SortedMap k v
218insertFrom : Foldable f => f (k, v) -> SortedMap k v -> SortedMap k v
218insertFrom = flip $ foldl $ flip $ uncurry insert
219insertFrom = flip $ foldl $ flip $ uncurry insert
219
220
libs/contrib/Data/SortedSet.idr+2
@@ -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
@@ -60,5 +61,6 @@ export
60Ord k => Monoid (SortedSet k) where
61Ord k => Monoid (SortedSet k) where
61 neutral = empty
62 neutral = empty
62
63
64+export
63keySet : SortedMap k v -> SortedSet k
65keySet : SortedMap k v -> SortedSet k
64keySet = SetWrapper . map (const ())
66keySet = SetWrapper . map (const ())