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

Index - E

Element 
1 (Type/Class)Data.IntSet.Refined
2 (Type/Class)Data.HashSet.Refined
3 (Type/Class)Data.Set.Refined
empty 
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
EmptyProof 
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