Module documentation for 0.1.1.0
Efficient and optimized non-empty (by construction) versions of types from containers. Inspired by non-empty-containers library, except attempting a more faithful port (with under-the-hood optimizations) of the full containers API. Also contains a convenient typeclass abstraction for converting between non-empty and possibly-empty variants, as well as pattern synonym-based conversion methods.
Non-empty by construction means that the data type is implemented using a data structure where it is structurally impossible to represent an empty collection.
Unlike similar packages (see below), this package is defined to be a drop-in replacement for the containers API in most situations. More or less every single function is implemented with the same asymptotics and typeclass constraints. An extensive test suite (with 457 total tests) is provided to ensure that the behavior of functions are identical to their original containers counterparts.
Care is also taken to modify the interface of specific functions to reflect non-emptiness and emptiness as concepts, including:
Functions that might return empty results (like
filter) return possibly-empty variants instead.
Functions that totally partition a non-empty collection (like
span) would previously return a tuple of either halves:
mapEither :: (a -> Either b c) -> Map k a -> (Map k b, Map k c)
The final result is always a total partition (every item in the original map is represented in the result), so, to reflect this,
Theseis returned instead:
data These a b = This a | That b | These a b mapEither :: (a -> Either b c) -> NEMap k a -> These (NEMap k b) (NEMap k c)
This preserves the invariance of non-emptiness: either we have a non-empty map in the first camp (containing all original values), a non-empty map in the second camp (containing all original values), or a split between two non-empty maps in either camp.
Typeclass-polymorphic functions are made more general (or have more general variants provided) whenever possible. This means that functions like
foldMapWithKeyare written for all
Semigroup minstead of only
Monoid m, and
traverseWithKey1is provided to work for all
Apply finstances (instead of only
Traversable1instances are also provided, to provide
Functions that can “potentially delete” (like
updateAt) return possibly-empty variants. However, alternatives are offered (whenever not already present) with variants that disallow deletion, allowing for guaranteed non-empty maps to be returned.
Contains non-empty versions for:
A typeclass abstraction (in Data.Containers.NonEmpty) is provided to allow
for easy conversions between non-empty and possibly-empty variants. Note that
Tree, from Data.Tree, is already non-empty by construction.
Similar packages include:
- non-empty-containers: Similar approach with similar data types, but API is limited to a few choice functions.
- nonemptymap: Another similar approach, but is limited only to
Map, and is also not a complete API port.
- non-empty-sequence: Similar to nonemptymap, but for
Seq. Also not a complete API port.
- non-empty: Similar approach with similar data types, but is meant to be more general and work for a variety of more data types.
- nonempty-alternative: Similar approach, but is instead a generalized
data type for all
Currently not implemented:
- Extended merging functions. However, there aren’t too many benefits to be gained from lifting extended merging functions, because their emptiness/non-emptiness guarantees are difficult to statically conclude.
- Strict variants of Map functions. This is something that I wouldn’t mind, and might add in the future. PR’s are welcomed!
December 8, 2018
Comonadinstances added for
IntMap, based on Faucelme’s suggestion
- Initial release