Set | Data.Set.Base |
setSplit2 | Dpfs.DavisPutnamFiniteSets |
setToInt | Dpfs.DavisPutnamFiniteSets |
shiftLL | Data.IntMap.Base |
shiftRL | Data.IntMap.Base |
shorter | Data.IntMap.Base |
showTree | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
showTreeWith | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
showVar | Dpfs.Simp |
singleton | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base |
4 (Function) | Data.Map.Base |
5 (Function) | Data.Map.Strict |
6 (Function) | Data.IntMap.Strict |
size | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
split | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
3 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
4 (Function) | Data.Map.Base, Data.Map.Strict |
splitLookup | |
1 (Function) | Data.IntMap.Base, Data.IntMap.Strict |
2 (Function) | Data.Map.Base, Data.Map.Strict |
splitMember | |
1 (Function) | Data.Set.Base |
2 (Function) | Data.IntSet.Base, Data.IntSet |
strictPair | Data.StrictPair |
substituteSimilarUnits | Dpfs.DavisPutnamFiniteSets |
suffixBitMask | Data.IntSet.Base |