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