You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
folded :: Foldable f => Fold (f a) a
mapped :: Functor f => Setter (f a) (f b) a b
traverse :: Traversable f => Traversal (f a) (f b) a b
So witherable should have:
filtered :: Filterable f => Filter (f a) (f b) a b
wither :: Witherable f => Wither (f a) (f b) a b
The existing Filter would have to be renamed to Wither as it actually only works for Witherable types, not just for Filterable types. A new Filter would be added with type forall f. Settable f => FilterLike f s t a b.
wither already exists and has the correct type, so just some docs to indicate as such seems fine. filtered would have to actually be added: filtered = sets mapMaybe.
The text was updated successfully, but these errors were encountered:
In
lens
there is:So
witherable
should have:The existing
Filter
would have to be renamed toWither
as it actually only works forWitherable
types, not just forFilterable
types. A newFilter
would be added with typeforall f. Settable f => FilterLike f s t a b
.wither
already exists and has the correct type, so just some docs to indicate as such seems fine.filtered
would have to actually be added:filtered = sets mapMaybe
.The text was updated successfully, but these errors were encountered: