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

Index - P

PartialDifferenceProof 
1 (Type/Class)Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.Map.Refined, Data.Map.Strict.Refined
2 (Data Constructor)Data.HashMap.Refined, Data.HashMap.Strict.Refined, Data.IntMap.Refined, Data.IntMap.Strict.Refined, Data.Map.Refined, Data.Map.Strict.Refined
PartialPartitionProof 
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
partition 
1 (Function)Data.IntSet.Refined
2 (Function)Data.HashSet.Refined
3 (Function)Data.Set.Refined
PartitionProof 
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
partitionWithKey 
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
ProductProof 
1 (Type/Class)Data.Set.Refined
2 (Data Constructor)Data.Set.Refined