Functor (TotalSubsetMap s k) Source # | |
|
(Ord k, Subset s k) => Applicative (TotalSubsetMap s k) Source # | Zippy applicative. Complexity: pure O(n), <*> O(n). |
|
Foldable (TotalSubsetMap s k) Source # | |
|
Traversable (TotalSubsetMap s k) Source # | |
|
(Ord k, Subset s k) => Distributive (TotalSubsetMap s k) Source # | Complexity: distribute O(n * fmap) |
|
(Ord k, Subset s k) => Representable (TotalSubsetMap s k) Source # | Convert from and to a partial function that would be total if
restricted to s. Complexity: tabulate O(n), index O(log n) |
|
(Ord k, Subset s k) => Serial1 (TotalSubsetMap s k) Source # | Complexity: serializeWith O(n), deserializeWith O(n * log n) |
|
Keyed (TotalSubsetMap s k) Source # | |
|
Ord k => Zip (TotalSubsetMap s k) Source # | |
|
Ord k => ZipWithKey (TotalSubsetMap s k) Source # | |
|
Ord k => Indexable (TotalSubsetMap s k) Source # | |
|
Ord k => Lookup (TotalSubsetMap s k) Source # | |
|
Ord k => Adjustable (TotalSubsetMap s k) Source # | |
|
Ord k => FoldableWithKey (TotalSubsetMap s k) Source # | |
|
Ord k => TraversableWithKey (TotalSubsetMap s k) Source # | Complexity: traverseWithKey O(n) |
|
(Ord k, Subset s k) => Metric (TotalSubsetMap s k) Source # | Complexity: all O(n) |
|
(Ord k, Subset s k) => Additive (TotalSubsetMap s k) Source # | Complexity: all O(n) |
|
(Eq a, Eq k) => Eq (TotalSubsetMap s k a) Source # | |
|
(Ord a, Ord k) => Ord (TotalSubsetMap s k a) Source # | |
|
(Read a, Read k, Ord k) => Read (TotalSubsetMap s k a) Source # | |
|
(Show a, Show k) => Show (TotalSubsetMap s k a) Source # | |
|
(Ord k, Subset s k, Serial a) => Serial (TotalSubsetMap s k a) Source # | Complexity: serialize O(n), deserialize O(n * log n) |
|
type Rep (TotalSubsetMap s k) Source # | |
|
type Key (TotalSubsetMap s k) Source # | |
|