! | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
:-> | Data.IntSet.Refined, Data.HashSet.Refined, Data.Set.Refined |
adjust | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
adjustMaxWithKey | |
1 (Function) | Data.IntMap.Refined |
2 (Function) | Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined |
4 (Function) | Data.Map.Strict.Refined |
adjustMinWithKey | |
1 (Function) | Data.IntMap.Refined |
2 (Function) | Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined |
4 (Function) | Data.Map.Strict.Refined |
adjustWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
asHashSet | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.Set.Refined |
asIntSet | |
1 (Function) | Data.HashSet.Refined |
2 (Function) | Data.Set.Refined |
asSet | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
backpermuteKeys | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
bind | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
cartesianProduct | Data.Set.Refined |
cast | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
castElement | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
castFlavor | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
castKey | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
CoproductProof | |
1 (Type/Class) | Data.Set.Refined |
2 (Data Constructor) | Data.Set.Refined |
delete | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
difference | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
DifferenceProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
differenceWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
disjoint | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
DisjointProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
disjointUnion | Data.Set.Refined |
Element | |
1 (Type/Class) | Data.IntSet.Refined |
2 (Type/Class) | Data.HashSet.Refined |
3 (Type/Class) | Data.Set.Refined |
empty | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
EmptyProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
filter | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
filterWithKey | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
Flavor | Data.IntSet.Refined, Data.HashSet.Refined, Data.Set.Refined |
foldl | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
foldl' | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
foldlWithKey | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
foldlWithKey' | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
foldMap | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
foldMapWithKey | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
foldr | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
foldr' | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
foldrWithKey | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
foldrWithKey' | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
fromHashMap | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
fromHashSet | Data.HashSet.Refined |
fromIntMap | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
fromIntSet | Data.IntSet.Refined |
fromMap | Data.Map.Refined, Data.Map.Strict.Refined |
fromSet | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
7 (Function) | Data.Set.Refined |
fromTraversable | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
FromTraversableProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
fromTraversableWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
Hashed | Data.HashSet.Refined |
HashMap | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
HashSet | Data.HashSet.Refined |
insert | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.IntSet.Refined |
6 (Function) | Data.HashSet.Refined |
7 (Function) | Data.Map.Refined |
8 (Function) | Data.Map.Strict.Refined |
9 (Function) | Data.Set.Refined |
insertLookupWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
InsertProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
InSet | |
1 (Type/Class) | Data.IntSet.Refined, Data.HashSet.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.IntSet.Refined, Data.HashSet.Refined, Data.Set.Refined |
Int | Data.IntSet.Refined |
intersection | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
IntersectionProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
intersectionWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
IntMap | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
IntSet | Data.IntSet.Refined |
isSubmapOfBy | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
isSubsetOf | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
Key | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Type/Class) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Type/Class) | Data.Map.Refined, Data.Map.Strict.Refined |
keysSet | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
KnownHashSet | Data.HashSet.Refined |
KnownIntSet | Data.IntSet.Refined |
KnownSet | Data.Set.Refined |
lookup | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
lookupGE | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
3 (Function) | Data.IntSet.Refined |
4 (Function) | Data.Set.Refined |
lookupGT | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
3 (Function) | Data.IntSet.Refined |
4 (Function) | Data.Set.Refined |
lookupLE | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
3 (Function) | Data.IntSet.Refined |
4 (Function) | Data.Set.Refined |
lookupLT | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
3 (Function) | Data.IntSet.Refined |
4 (Function) | Data.Set.Refined |
Map | Data.Map.Refined, Data.Map.Strict.Refined |
map | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
mapAccumLWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
mapAccumRWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
mapEitherWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
mapKeysWith | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
mapMaybeWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
MapProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
mapWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
maxView | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.Set.Refined |
maxViewWithKey | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
member | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
minView | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.Set.Refined |
minViewWithKey | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
null | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
PartialDifferenceProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.Map.Refined, Data.Map.Strict.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.Map.Refined, Data.Map.Strict.Refined |
PartialPartitionProof | |
1 (Type/Class) | Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
partition | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
PartitionProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
partitionWithKey | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
ProductProof | |
1 (Type/Class) | Data.Set.Refined |
2 (Data Constructor) | Data.Set.Refined |
Regular | Data.Set.Refined |
reinsert | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
restrictKeys | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
revealPredicate | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
Set | Data.Set.Refined |
singleton | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.IntSet.Refined |
6 (Function) | Data.HashSet.Refined |
7 (Function) | Data.Map.Refined |
8 (Function) | Data.Map.Strict.Refined |
9 (Function) | Data.Set.Refined |
SingletonProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
Some2HashMapWith | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
Some2HashSetWith | |
1 (Type/Class) | Data.HashSet.Refined |
2 (Data Constructor) | Data.HashSet.Refined |
Some2IntMapWith | |
1 (Type/Class) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Data Constructor) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
Some2IntSetWith | |
1 (Type/Class) | Data.IntSet.Refined |
2 (Data Constructor) | Data.IntSet.Refined |
Some2MapWith | |
1 (Type/Class) | Data.Map.Refined, Data.Map.Strict.Refined |
2 (Data Constructor) | Data.Map.Refined, Data.Map.Strict.Refined |
Some2SetWith | |
1 (Type/Class) | Data.Set.Refined |
2 (Data Constructor) | Data.Set.Refined |
SomeHashMap | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
SomeHashMapWith | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
SomeHashSet | |
1 (Type/Class) | Data.HashSet.Refined |
2 (Data Constructor) | Data.HashSet.Refined |
SomeHashSetWith | |
1 (Type/Class) | Data.HashSet.Refined |
2 (Data Constructor) | Data.HashSet.Refined |
SomeIntMap | |
1 (Type/Class) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Data Constructor) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
SomeIntMapWith | |
1 (Type/Class) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Data Constructor) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
SomeIntSet | |
1 (Type/Class) | Data.IntSet.Refined |
2 (Data Constructor) | Data.IntSet.Refined |
SomeIntSetWith | |
1 (Type/Class) | Data.IntSet.Refined |
2 (Data Constructor) | Data.IntSet.Refined |
SomeMap | |
1 (Type/Class) | Data.Map.Refined, Data.Map.Strict.Refined |
2 (Data Constructor) | Data.Map.Refined, Data.Map.Strict.Refined |
SomeMapWith | |
1 (Type/Class) | Data.Map.Refined, Data.Map.Strict.Refined |
2 (Data Constructor) | Data.Map.Refined, Data.Map.Strict.Refined |
SomeSet | |
1 (Type/Class) | Data.Set.Refined |
2 (Data Constructor) | Data.Set.Refined |
SomeSetWith | |
1 (Type/Class) | Data.Set.Refined |
2 (Data Constructor) | Data.Set.Refined |
spanAntitone | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
3 (Function) | Data.IntSet.Refined |
4 (Function) | Data.Set.Refined |
splitLookup | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
splitMember | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.Set.Refined |
SplitProof | |
1 (Type/Class) | Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
SubsetProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
SupersetProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
toDescList | |
1 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
3 (Function) | Data.IntSet.Refined |
4 (Function) | Data.Set.Refined |
toIntMap | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
toList | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
4 (Function) | Data.IntSet.Refined |
5 (Function) | Data.HashSet.Refined |
6 (Function) | Data.Set.Refined |
toMap | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
traverseWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
union | |
1 (Function) | Data.IntSet.Refined |
2 (Function) | Data.HashSet.Refined |
3 (Function) | Data.Set.Refined |
UnionProof | |
1 (Type/Class) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
2 (Data Constructor) | Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.IntSet.Refined, Data.HashSet.Refined, Data.Map.Refined, Data.Map.Strict.Refined, Data.Set.Refined |
unionWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
update | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
updateLookupWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |
updateMaxWithKey | |
1 (Function) | Data.IntMap.Refined |
2 (Function) | Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined |
4 (Function) | Data.Map.Strict.Refined |
updateMinWithKey | |
1 (Function) | Data.IntMap.Refined |
2 (Function) | Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined |
4 (Function) | Data.Map.Strict.Refined |
with2HashMapWith | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
with2HashSetWith | Data.HashSet.Refined |
with2IntMapWith | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
with2IntSetWith | Data.IntSet.Refined |
with2MapWith | Data.Map.Refined, Data.Map.Strict.Refined |
with2SetWith | Data.Set.Refined |
withHashMap | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
withHashMapWith | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
withHashSet | Data.HashSet.Refined |
withHashSetWith | Data.HashSet.Refined |
withIntMap | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
withIntMapWith | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
withIntSet | Data.IntSet.Refined |
withIntSetWith | Data.IntSet.Refined |
withMap | Data.Map.Refined, Data.Map.Strict.Refined |
withMapWith | Data.Map.Refined, Data.Map.Strict.Refined |
withoutKeys | |
1 (Function) | Data.HashMap.Refined, Data.HashMap.Strict.Refined |
2 (Function) | Data.IntMap.Refined, Data.IntMap.Strict.Refined |
3 (Function) | Data.Map.Refined, Data.Map.Strict.Refined |
withSet | Data.Set.Refined |
withSetWith | Data.Set.Refined |
zipWithKey | |
1 (Function) | Data.HashMap.Refined |
2 (Function) | Data.HashMap.Strict.Refined |
3 (Function) | Data.IntMap.Refined |
4 (Function) | Data.IntMap.Strict.Refined |
5 (Function) | Data.Map.Refined |
6 (Function) | Data.Map.Strict.Refined |