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

Index - M

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