| ! | |
| 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 |