containers-verified-0.6.0.1: Formally verified drop-in replacement of containers

Index

delete 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
difference 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
disjoint 
1 (Function)Data.IntSet
2 (Function)Data.Set
dropData.Set
elems 
1 (Function)Data.IntSet
2 (Function)Data.Set
empty 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
filter 
1 (Function)Data.IntSet
2 (Function)Data.Set
foldData.IntSet
foldl 
1 (Function)Data.IntSet
2 (Function)Data.Set
foldl'Data.IntSet
foldr 
1 (Function)Data.IntSet
2 (Function)Data.Set
foldr'Data.IntSet
fromAscListData.Set
fromDescListData.Set
fromDistinctAscListData.Set
fromDistinctDescListData.Set
fromList 
1 (Function)Data.IntSet
2 (Function)Data.Set
fromSetData.Map
insert 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
intersection 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
IntSetData.IntSet
isProperSubsetOfData.IntSet
isSubsetOf 
1 (Function)Data.IntSet
2 (Function)Data.Set
KeyData.IntSet
lookupData.Map
lookupMaxData.Set
lookupMinData.Set
MapData.Map
mapData.Set
mapMonotonicData.Set
maxViewData.Set
member 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
minViewData.Set
notMember 
1 (Function)Data.IntSet
2 (Function)Data.Set
null 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
partition 
1 (Function)Data.IntSet
2 (Function)Data.Set
SetData.Set
singleton 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
size 
1 (Function)Data.IntSet
2 (Function)Data.Set
split 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
splitAtData.Set
splitMember 
1 (Function)Data.IntSet
2 (Function)Data.Set
takeData.Set
toAscList 
1 (Function)Data.IntSet
2 (Function)Data.Set
toDescList 
1 (Function)Data.IntSet
2 (Function)Data.Set
toList 
1 (Function)Data.IntSet
2 (Function)Data.Set
union 
1 (Function)Data.IntSet
2 (Function)Data.Map
3 (Function)Data.Set
unionsData.Set
\\Data.IntSet