git.iko.soy/Idris-dev
on master help sign in
Removed old version of SortedSet from `base`.
7dc5098Jan de Muijnck-Hughes
libs/base/Data/SortedSet.idrdeleted−28
compare with master
unifiedsplit
@@ -1,28 +0,0 @@
1−module Data.SortedSet
2−
3−import Data.SortedMap
4−
5−-- TODO: add intersection, union, difference
6−
7−data SortedSet k = SetWrapper (Data.SortedMap.SortedMap k ())
8−
9−empty : SortedSet k
10−empty = SetWrapper Data.SortedMap.empty
11−
12−insert : Ord k => k -> SortedSet k -> SortedSet k
13−insert k (SetWrapper m) = SetWrapper (Data.SortedMap.insert k () m)
14−
15−delete : Ord k => k -> SortedSet k -> SortedSet k
16−delete k (SetWrapper m) = SetWrapper (Data.SortedMap.delete k m)
17−
18−contains : Ord k => k -> SortedSet k -> Bool
19−contains k (SetWrapper m) = isJust (Data.SortedMap.lookup k m)
20−
21−fromList : Ord k => List k -> SortedSet k
22−fromList l = SetWrapper (Data.SortedMap.fromList (map (\i => (i, ())) l))
23−
24−toList : SortedSet k -> List k
25−toList (SetWrapper m) = map (\(i, _) => i) (Data.SortedMap.toList m)
26−
27−implementation Foldable SortedSet where
28− foldr f e xs = foldr f e (Data.SortedSet.toList xs)