Proposal? foldAlt :: (Foldable t, Alternative f) => t a -> f a

Fumiaki Kinoshita fumiexcel at gmail.com
Wed Nov 29 04:12:34 UTC 2017


We found this quite useful, but we are not 100% about the name and
documentation.

-- | Try—in the 'Alternative' sense—to return all the values in a 'Foldable'
-- container.
--
-- @
-- foldAlt ≡ 'listToMaybe' :: [a] -> 'Maybe' a
-- foldAlt ≡ 'maybeToList' :: 'Maybe' a -> [a]
-- foldAlt ≡ 'MaybeT' . 'return' :: ('Monad' m) => 'Maybe' a -> 'MaybeT' m a
-- foldAlt ≡ 'Pipes.ListT' . 'Pipes.each' :: ('Monad' m) => [a] ->
'Pipes.ListT' m a
-- foldAlt ≡ id :: 'Maybe' a -> 'Maybe' a
-- @
foldAlt :: (Foldable t, Alternative f) => t a -> f a
foldAlt = getAlt . foldMap (Alt . pure)
{-# INLINE foldAlt #-}

I propose adding this to either `Data.Foldable` or `Control.Applicative`.
Any thoughts?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20171129/89c32525/attachment.html>


More information about the Libraries mailing list