<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Is there a good reason why it does not have:<br>
<br>
A good question. See<br>
- (2017) <a class="moz-txt-link-freetext" href="https://gitlab.haskell.org/ghc/ghc/-/issues/13573">https://gitlab.haskell.org/ghc/ghc/-/issues/13573</a><br>
- (2017)
<a class="moz-txt-link-freetext" href="https://www.reddit.com/r/haskell/comments/6d0vgt/could_we_have_foldable1_and_traversable1_in_base/">https://www.reddit.com/r/haskell/comments/6d0vgt/could_we_have_foldable1_and_traversable1_in_base/</a><br>
- (2019)
<a class="moz-txt-link-freetext" href="https://mail.haskell.org/pipermail/libraries/2019-November/030059.html">https://mail.haskell.org/pipermail/libraries/2019-November/030059.html</a><br>
- (2020)
<a class="moz-txt-link-freetext" href="https://mail.haskell.org/pipermail/libraries/2020-December/031003.html">https://mail.haskell.org/pipermail/libraries/2020-December/031003.html</a><br>
- (2021) <a class="moz-txt-link-freetext" href="https://twitter.com/kmett/status/1363774888603914242">https://twitter.com/kmett/status/1363774888603914242</a><br>
<br>
For recent bits and bobs of the possible answers.</p>
<p>- Oleg<br>
</p>
<div class="moz-cite-prefix">On 14.5.2021 22.54, <a class="moz-txt-link-abbreviated" href="mailto:coot@coot.me">coot@coot.me</a> wrote:<br>
</div>
<blockquote type="cite"
cite="mid:yZh2jjADlfjtHJzXSdaknlGlGhWW9BWjg585DKfRVB5GXfAkLjRwC2wcvb9lVcylvvuyODWbf9BLuSI2eimYxqU37INY7JlX_GzHwGEAsVA=@coot.me">
<pre class="moz-quote-pre" wrap="">Base has:
* foldMap :: (Foldable t, Monoid a) => (x -> a) -> t x -> a
* foldr1 :: (Foldable t) => (a -> a -> a) -> t x -> a
Is there a good reason why it does not have:
```
foldMap1 :: (Foldable t, Semigroup a, Functor f) => (a -> a) -> t x -> a
foldMap1 = fodlr1 (<>) . fmap f
```
Like `foldr1` it is partial for any foldable that can be empty.
Best regards,
Marcin Szamotulski
Sent with ProtonMail Secure Email.</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
Only members subscribed via the mailman list are allowed to post.</pre>
</blockquote>
</body>
</html>