Forgot a few `export`s
commit394567b7c43d9aa909db82ead367a171c81b5cb7
authorSynthetica9 <patrickhilhorst97@gmail.com>
dateMon 19 Jun 2017, 11:41 (9 years ago)
parent5b70287
libs/contrib/Data/SortedMap.idr+1
@@ -214,6 +214,7 @@ insert k v (M _ t) =
214214 Left t' => (M _ t')
215215 Right t' => (M _ t')
216216
217+export
217218insertFrom : Foldable f => f (k, v) -> SortedMap k v -> SortedMap k v
218219insertFrom = flip $ foldl $ flip $ uncurry insert
219220
libs/contrib/Data/SortedSet.idr+2
@@ -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
@@ -60,5 +61,6 @@ export
6061Ord k => Monoid (SortedSet k) where
6162 neutral = empty
6263
64+export
6365keySet : SortedMap k v -> SortedSet k
6466keySet = SetWrapper . map (const ())