total-maps 1.0.0.2 → 1.0.0.3

raw patch · 1 files changed

+2/−2 lines, 1 filesdep ~reflectionPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: reflection

API changes (from Hackage documentation)

- Data.Total.Array: instance (Enum k, Bounded k) => Additive (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Adjustable (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Applicative (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Distributive (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => FoldableWithKey (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Indexable (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Keyed (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Lookup (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Metric (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Representable (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => Serial1 (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => TraversableWithKey (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k) => ZipWithKey (TotalArray k)

- Data.Total.Array: instance (Enum k, Bounded k, Serial a) => Serial (TotalArray k a)

- Data.Total.Array: instance Eq a => Eq (TotalArray k a)

- Data.Total.Array: instance Foldable (TotalArray k)

- Data.Total.Array: instance Functor (TotalArray k)

- Data.Total.Array: instance Ord a => Ord (TotalArray k a)

- Data.Total.Array: instance Read a => Read (TotalArray k a)

- Data.Total.Array: instance Show a => Show (TotalArray k a)

- Data.Total.Array: instance Traversable (TotalArray k)

- Data.Total.Array: instance Zip (TotalArray k)

- Data.Total.Array.Subset: instance (Ord k, Subset s k) => Adjustable (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance (Ord k, Subset s k) => Indexable (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance (Ord k, Subset s k) => Lookup (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance (Ord k, Subset s k) => Representable (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance (Subset s k, Serial a) => Serial (TotalSubsetArray s k a)

- Data.Total.Array.Subset: instance Eq a => Eq (TotalSubsetArray s k a)

- Data.Total.Array.Subset: instance Foldable (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Functor (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Ord a => Ord (TotalSubsetArray s k a)

- Data.Total.Array.Subset: instance Read a => Read (TotalSubsetArray s k a)

- Data.Total.Array.Subset: instance Show a => Show (TotalSubsetArray s k a)

- Data.Total.Array.Subset: instance Subset s k => Additive (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => Applicative (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => Distributive (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => FoldableWithKey (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => Keyed (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => Metric (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => Serial1 (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => TraversableWithKey (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Subset s k => ZipWithKey (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Traversable (TotalSubsetArray s k)

- Data.Total.Array.Subset: instance Zip (TotalSubsetArray s k)

- Data.Total.Internal.SparseFold: instance (Reifies s m, Monoid m) => Semigroup (SparseFold s m)

- Data.Total.Internal.SparseFold: instance Typeable SparseFold

- Data.Total.Map: instance (Eq k, Eq a) => Eq (TotalMap k a)

- Data.Total.Map: instance (Ord k, Enum k, Bounded k) => Additive (TotalMap k)

- Data.Total.Map: instance (Ord k, Enum k, Bounded k) => Applicative (TotalMap k)

- Data.Total.Map: instance (Ord k, Enum k, Bounded k) => Distributive (TotalMap k)

- Data.Total.Map: instance (Ord k, Enum k, Bounded k) => Metric (TotalMap k)

- Data.Total.Map: instance (Ord k, Enum k, Bounded k) => Representable (TotalMap k)

- Data.Total.Map: instance (Ord k, Enum k, Bounded k) => Serial1 (TotalMap k)

- Data.Total.Map: instance (Ord k, Enum k, Bounded k, Serial a) => Serial (TotalMap k a)

- Data.Total.Map: instance (Ord k, Ord a) => Ord (TotalMap k a)

- Data.Total.Map: instance (Ord k, Read k, Read a) => Read (TotalMap k a)

- Data.Total.Map: instance (Show k, Show a) => Show (TotalMap k a)

- Data.Total.Map: instance Foldable (TotalMap k)

- Data.Total.Map: instance Functor (TotalMap k)

- Data.Total.Map: instance Keyed (TotalMap k)

- Data.Total.Map: instance Ord k => Adjustable (TotalMap k)

- Data.Total.Map: instance Ord k => FoldableWithKey (TotalMap k)

- Data.Total.Map: instance Ord k => Indexable (TotalMap k)

- Data.Total.Map: instance Ord k => Lookup (TotalMap k)

- Data.Total.Map: instance Ord k => TraversableWithKey (TotalMap k)

- Data.Total.Map: instance Ord k => Zip (TotalMap k)

- Data.Total.Map: instance Ord k => ZipWithKey (TotalMap k)

- Data.Total.Map: instance Traversable (TotalMap k)

- Data.Total.Map.Sparse: instance (Ord k, Enum k, Bounded k) => Foldable (TotalSparseMap k)

- Data.Total.Map.Sparse: instance (Ord k, Enum k, Bounded k) => Metric (TotalSparseMap k)

- Data.Total.Map.Sparse: instance (Ord k, Enum k, Bounded k, Eq a) => Eq (TotalSparseMap k a)

- Data.Total.Map.Sparse: instance (Ord k, Enum k, Bounded k, Ord a) => Ord (TotalSparseMap k a)

- Data.Total.Map.Sparse: instance (Ord k, Enum k, Bounded k, Serial k) => Serial1 (TotalSparseMap k)

- Data.Total.Map.Sparse: instance (Ord k, Enum k, Bounded k, Serial k, Serial a) => Serial (TotalSparseMap k a)

- Data.Total.Map.Sparse: instance (Ord k, Read k, Read a) => Read (TotalSparseMap k a)

- Data.Total.Map.Sparse: instance (Show k, Show a) => Show (TotalSparseMap k a)

- Data.Total.Map.Sparse: instance Functor (TotalSparseMap k)

- Data.Total.Map.Sparse: instance Ord k => Additive (TotalSparseMap k)

- Data.Total.Map.Sparse: instance Ord k => Adjustable (TotalSparseMap k)

- Data.Total.Map.Sparse: instance Ord k => Applicative (TotalSparseMap k)

- Data.Total.Map.Sparse: instance Ord k => Indexable (TotalSparseMap k)

- Data.Total.Map.Sparse: instance Ord k => Lookup (TotalSparseMap k)

- Data.Total.Map.Sparse: instance Ord k => Zip (TotalSparseMap k)

- Data.Total.Map.Subset: instance (Eq k, Eq a) => Eq (TotalSubsetMap s k a)

- Data.Total.Map.Subset: instance (Ord k, Ord a) => Ord (TotalSubsetMap s k a)

- Data.Total.Map.Subset: instance (Ord k, Read k, Read a) => Read (TotalSubsetMap s k a)

- Data.Total.Map.Subset: instance (Ord k, Subset s k) => Additive (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance (Ord k, Subset s k) => Applicative (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance (Ord k, Subset s k) => Distributive (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance (Ord k, Subset s k) => Metric (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance (Ord k, Subset s k) => Representable (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance (Ord k, Subset s k) => Serial1 (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance (Ord k, Subset s k, Serial a) => Serial (TotalSubsetMap s k a)

- Data.Total.Map.Subset: instance (Show k, Show a) => Show (TotalSubsetMap s k a)

- Data.Total.Map.Subset: instance Foldable (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Functor (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Keyed (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Ord k => Adjustable (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Ord k => FoldableWithKey (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Ord k => Indexable (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Ord k => Lookup (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Ord k => TraversableWithKey (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Ord k => Zip (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Ord k => ZipWithKey (TotalSubsetMap s k)

- Data.Total.Map.Subset: instance Traversable (TotalSubsetMap s k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Bytes.Serial.Serial1 (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Distributive.Distributive (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Functor.Rep.Representable (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Key.Adjustable (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Key.FoldableWithKey (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Key.Indexable (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Key.Keyed (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Key.Lookup (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Key.TraversableWithKey (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Key.ZipWithKey (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => GHC.Base.Applicative (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Linear.Metric.Metric (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k) => Linear.Vector.Additive (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance (GHC.Enum.Enum k, GHC.Enum.Bounded k, Data.Bytes.Serial.Serial a) => Data.Bytes.Serial.Serial (Data.Total.Array.TotalArray k a)

+ Data.Total.Array: instance Data.Foldable.Foldable (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance Data.Key.Zip (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance Data.Traversable.Traversable (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance GHC.Base.Functor (Data.Total.Array.TotalArray k)

+ Data.Total.Array: instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Total.Array.TotalArray k a)

+ Data.Total.Array: instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Total.Array.TotalArray k a)

+ Data.Total.Array: instance GHC.Read.Read a => GHC.Read.Read (Data.Total.Array.TotalArray k a)

+ Data.Total.Array: instance GHC.Show.Show a => GHC.Show.Show (Data.Total.Array.TotalArray k a)

+ Data.Total.Array.Subset: instance (Data.Total.Subset.Subset s k, Data.Bytes.Serial.Serial a) => Data.Bytes.Serial.Serial (Data.Total.Array.Subset.TotalSubsetArray s k a)

+ Data.Total.Array.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Data.Functor.Rep.Representable (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Data.Key.Adjustable (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Data.Key.Indexable (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Data.Key.Lookup (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Foldable.Foldable (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Key.Zip (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Data.Bytes.Serial.Serial1 (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Data.Distributive.Distributive (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Data.Key.FoldableWithKey (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Data.Key.Keyed (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Data.Key.TraversableWithKey (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Data.Key.ZipWithKey (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => GHC.Base.Applicative (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Linear.Metric.Metric (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Total.Subset.Subset s k => Linear.Vector.Additive (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance Data.Traversable.Traversable (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance GHC.Base.Functor (Data.Total.Array.Subset.TotalSubsetArray s k)

+ Data.Total.Array.Subset: instance GHC.Classes.Eq a => GHC.Classes.Eq (Data.Total.Array.Subset.TotalSubsetArray s k a)

+ Data.Total.Array.Subset: instance GHC.Classes.Ord a => GHC.Classes.Ord (Data.Total.Array.Subset.TotalSubsetArray s k a)

+ Data.Total.Array.Subset: instance GHC.Read.Read a => GHC.Read.Read (Data.Total.Array.Subset.TotalSubsetArray s k a)

+ Data.Total.Array.Subset: instance GHC.Show.Show a => GHC.Show.Show (Data.Total.Array.Subset.TotalSubsetArray s k a)

+ Data.Total.Internal.SparseFold: instance (Data.Reflection.Reifies s m, GHC.Base.Monoid m) => Data.Semigroup.Semigroup (Data.Total.Internal.SparseFold.SparseFold s m)

+ Data.Total.Map: instance (GHC.Classes.Eq a, GHC.Classes.Eq k) => GHC.Classes.Eq (Data.Total.Map.TotalMap k a)

+ Data.Total.Map: instance (GHC.Classes.Ord a, GHC.Classes.Ord k) => GHC.Classes.Ord (Data.Total.Map.TotalMap k a)

+ Data.Total.Map: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Bytes.Serial.Serial1 (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Distributive.Distributive (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Functor.Rep.Representable (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => GHC.Base.Applicative (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => Linear.Metric.Metric (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => Linear.Vector.Additive (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k, Data.Bytes.Serial.Serial a) => Data.Bytes.Serial.Serial (Data.Total.Map.TotalMap k a)

+ Data.Total.Map: instance (GHC.Read.Read a, GHC.Read.Read k, GHC.Classes.Ord k) => GHC.Read.Read (Data.Total.Map.TotalMap k a)

+ Data.Total.Map: instance (GHC.Show.Show a, GHC.Show.Show k) => GHC.Show.Show (Data.Total.Map.TotalMap k a)

+ Data.Total.Map: instance Data.Foldable.Foldable (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance Data.Key.Keyed (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance Data.Traversable.Traversable (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Base.Functor (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Classes.Ord k => Data.Key.Adjustable (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Classes.Ord k => Data.Key.FoldableWithKey (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Classes.Ord k => Data.Key.Indexable (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Classes.Ord k => Data.Key.Lookup (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Classes.Ord k => Data.Key.TraversableWithKey (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Classes.Ord k => Data.Key.Zip (Data.Total.Map.TotalMap k)

+ Data.Total.Map: instance GHC.Classes.Ord k => Data.Key.ZipWithKey (Data.Total.Map.TotalMap k)

+ Data.Total.Map.Sparse: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => Data.Foldable.Foldable (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k) => Linear.Metric.Metric (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k, Data.Bytes.Serial.Serial k) => Data.Bytes.Serial.Serial1 (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k, Data.Bytes.Serial.Serial k, Data.Bytes.Serial.Serial a) => Data.Bytes.Serial.Serial (Data.Total.Map.Sparse.TotalSparseMap k a)

+ Data.Total.Map.Sparse: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k, GHC.Classes.Eq a) => GHC.Classes.Eq (Data.Total.Map.Sparse.TotalSparseMap k a)

+ Data.Total.Map.Sparse: instance (GHC.Classes.Ord k, GHC.Enum.Enum k, GHC.Enum.Bounded k, GHC.Classes.Ord a) => GHC.Classes.Ord (Data.Total.Map.Sparse.TotalSparseMap k a)

+ Data.Total.Map.Sparse: instance (GHC.Read.Read a, GHC.Read.Read k, GHC.Classes.Ord k) => GHC.Read.Read (Data.Total.Map.Sparse.TotalSparseMap k a)

+ Data.Total.Map.Sparse: instance (GHC.Show.Show a, GHC.Show.Show k) => GHC.Show.Show (Data.Total.Map.Sparse.TotalSparseMap k a)

+ Data.Total.Map.Sparse: instance GHC.Base.Functor (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance GHC.Classes.Ord k => Data.Key.Adjustable (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance GHC.Classes.Ord k => Data.Key.Indexable (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance GHC.Classes.Ord k => Data.Key.Lookup (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance GHC.Classes.Ord k => Data.Key.Zip (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance GHC.Classes.Ord k => GHC.Base.Applicative (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Sparse: instance GHC.Classes.Ord k => Linear.Vector.Additive (Data.Total.Map.Sparse.TotalSparseMap k)

+ Data.Total.Map.Subset: instance (GHC.Classes.Eq a, GHC.Classes.Eq k) => GHC.Classes.Eq (Data.Total.Map.Subset.TotalSubsetMap s k a)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord a, GHC.Classes.Ord k) => GHC.Classes.Ord (Data.Total.Map.Subset.TotalSubsetMap s k a)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Data.Bytes.Serial.Serial1 (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Data.Distributive.Distributive (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Data.Functor.Rep.Representable (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => GHC.Base.Applicative (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Linear.Metric.Metric (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k) => Linear.Vector.Additive (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance (GHC.Classes.Ord k, Data.Total.Subset.Subset s k, Data.Bytes.Serial.Serial a) => Data.Bytes.Serial.Serial (Data.Total.Map.Subset.TotalSubsetMap s k a)

+ Data.Total.Map.Subset: instance (GHC.Read.Read a, GHC.Read.Read k, GHC.Classes.Ord k) => GHC.Read.Read (Data.Total.Map.Subset.TotalSubsetMap s k a)

+ Data.Total.Map.Subset: instance (GHC.Show.Show a, GHC.Show.Show k) => GHC.Show.Show (Data.Total.Map.Subset.TotalSubsetMap s k a)

+ Data.Total.Map.Subset: instance Data.Foldable.Foldable (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance Data.Key.Keyed (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance Data.Traversable.Traversable (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Base.Functor (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Classes.Ord k => Data.Key.Adjustable (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Classes.Ord k => Data.Key.FoldableWithKey (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Classes.Ord k => Data.Key.Indexable (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Classes.Ord k => Data.Key.Lookup (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Classes.Ord k => Data.Key.TraversableWithKey (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Classes.Ord k => Data.Key.Zip (Data.Total.Map.Subset.TotalSubsetMap s k)

+ Data.Total.Map.Subset: instance GHC.Classes.Ord k => Data.Key.ZipWithKey (Data.Total.Map.Subset.TotalSubsetMap s k)

- Data.Total.Map.Subset: restrict :: Map k a -> (forall s. Subset s k => TotalSubsetMap s k a -> r) -> r

+ Data.Total.Map.Subset: restrict :: forall k a r. Map k a -> (forall s. Subset s k => TotalSubsetMap s k a -> r) -> r

Files

total-maps.cabal +2/−2

total-maps.cabal view

@@ -1,5 +1,5 @@ name:                total-maps-version:             1.0.0.2+version:             1.0.0.3 synopsis:            Dense and sparse total maps. description:   Total maps are maps that contain a value for every key. This library provides@@ -44,7 +44,7 @@                        Data.Total.Internal.SparseFold   default-extensions:  FlexibleContexts, FlexibleInstances,                        ScopedTypeVariables, AutoDeriveTypeable-  build-depends:       base ==4.*, containers >=0.3 && <1, reflection == 1.*,+  build-depends:       base ==4.*, containers >=0.3 && <1, reflection <3,                        keys ==3.*, linear >=1.1 && <2, bytes >=0.2 && <1,                        distributive ==0.*, adjunctions ==4.*,                        semigroups ==0.*, vector >=0.10 && <1,