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
- FilterableWithIndexis a superclass of- WitherableWithIndex.
- Remove deprecated Data.Witherablemodule. UseWitherablemodule.
- Relax FilterableWithIndexcomposition law so list-like instances are lawful.
- Add drain :: f a -> f bmethod (with default implementationdrain = mapMaybe (Const Nothing)) to theFilterable.
0.4.2
- Supported GHC 9.2
- Improved the instances for vector
0.4.1
- Added ordNubBy,hashNubBy,ordNubByOf, andhashNubByOf.
- Use alterFfor nub-function implementations
- Implement witherMinWitherable Vectorinstance.
- Mark modules as Trustworthy
- ordNuband- hashNubare productive, start to produce results immediately and work for infinite lists.
0.4
- FilterableWithIndexand- WitherableWithIndexare now subclasses of the ones from indexed-traversable
- Removed the orphan instances for MonoidalMap
0.3.5
- Make witherandwitherMmethods ofWitherable []instance
good consumers for list fusion.
- Added instances for Reverse,Backwards,ZipList, and types fromGHC.Generics
- Added Wither,WitherLike,Wither'andWitherLike', deprecatingFilterand the variants
- Moved FilterableandWitherableinto a separate package,witherable-class
0.3.4
0.3.3
- Added FilterableWithIndexandWitherableWithIndex.
- Added WrappedFoldable
0.3.2
- Added Filterable (MonoidalMap k)andWitherable (MonoidalMap k)
0.3.1
- Added (<$?>)as an alias formapMaybe, 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 HashMapoperations 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 tis equivalent to- (Traversable t, Filterable t)
 
- Removed Chipped
0.1.3.3
- Added forMaybeOfandforMaybe
0.1.3.2
- Exported witherM,blightM
- Fixed the default definition of catMaybes
0.1.3
- Now witherabledepends onbase-orphansto prevent a tragedy of duplicate orphans
- Added generalized combinators according to the lensconvention
0.1.2.3
- Added ordNub,hashNub
- Data.Witherable is now Trustworthy
0.1.2.2