Re: Add newtype for Alternative using QuantifiedConstraints in base-4.13

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Re: Add newtype for Alternative using QuantifiedConstraints in base-4.13

Ruben Astudillo
I wonder if it is useful at all. If `f a` already has a Monoid instance,
you can use `(<>)` already instead of (<|>) with pretty much the same
laws. Plus you don't have to import `(<>)` as it comes from the Prelude
where `(<|>)` doesn't. Does this have an use case or is just for
aesthetic completeness?

--
-- Ruben
-- pgp: 4EE9 28F7 932E F4AD

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.

0x4EE928F7932EF4AD.asc (13K) Download Attachment