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

Index - R

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