refined-containers-0.1.0.1: Type-checked proof that a key exists in a container and can be safely indexed.

Index - U

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