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