BSD-3-Clause licensed by Fumiaki Kinoshita
This version can be pinned in stack with:witherable-0.5@sha256:85bab588ebca37996fc3171b9d8b2e065eb0536c9f44224bcf037c0849a881de,2343
Module documentation for 0.5
A stronger variant of traverse which can remove elements and generalised mapMaybe, catMaybes, filter
0.5
FilterableWithIndex is a superclass of WitherableWithIndex.
- Remove deprecated
Data.Witherable module. Use Witherable module.
- Relax
FilterableWithIndex composition law so list-like instances are lawful.
- Add
drain :: f a -> f b method (with default implementation drain = mapMaybe (Const Nothing)) to the Filterable.
0.4.2
- Supported GHC 9.2
- Improved the instances for
vector
0.4.1
- Added
ordNubBy, hashNubBy, ordNubByOf, and hashNubByOf.
- Use
alterF for nub-function implementations
- Implement
witherM in Witherable Vector instance.
- Mark modules as Trustworthy
ordNub and hashNub are productive, start to produce results immediately and work for infinite lists.
0.4
FilterableWithIndex and WitherableWithIndex are now subclasses of the ones from indexed-traversable
- Removed the orphan instances for
MonoidalMap
0.3.5
- Make
wither and witherM methods of Witherable [] instance
good consumers for list fusion.
- Added instances for
Reverse, Backwards, ZipList, and types from GHC.Generics
- Added
Wither, WitherLike, Wither' and WitherLike', deprecating Filter and the variants
- Moved
Filterable and Witherable into a separate package, witherable-class
0.3.4
0.3.3
- Added
FilterableWithIndex and WitherableWithIndex.
- Added
WrappedFoldable
0.3.2
- Added
Filterable (MonoidalMap k) and Witherable (MonoidalMap k)
0.3.1
- Added
(<$?>) as an alias for mapMaybe, with fixity matching (<$>).
- Added
(<&?>) = flip (<$?>), with fixity matching (<&>).
0.3
- Added
(Filterable f, Filterable g) => Filterable (Product f g)
- Added
(Witherable f, Witherable g) => Witherable (Product f g)
- Added
(Filterable f, Filterable g) => Filterable (Sum f g)
- Added
(Witherable f, Witherable g) => Witherable (Sum f g)
- Added
Filterable f => Filterable (IdentityT f)
- Added
Witherable f => Witherable (IdentityT f)
- Switched from strict
HashMap operations to lazy ones. This
matches the behavior of the rest of the instances.
- Changed the definition of
witherM
0.2
- Added
Traversable t => Witherable (MaybeT t)
- New class:
Filterable
Witherable t is equivalent to (Traversable t, Filterable t)
- Removed
Chipped
0.1.3.3
- Added
forMaybeOf and forMaybe
0.1.3.2
- Exported
witherM, blightM
- Fixed the default definition of
catMaybes
0.1.3
- Now
witherable depends on base-orphans to prevent a tragedy of duplicate orphans
- Added generalized combinators according to the
lens convention
0.1.2.3
- Added
ordNub, hashNub
- Data.Witherable is now Trustworthy
0.1.2.2