Fwd: 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
|

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

Ruben Astudillo

Forwarding the replies sent incorrectly to -cafe.

-------- Forwarded Message --------
Subject: Re: Add newtype for Alternative using QuantifiedConstraints in
base-4.13
Date: Sun, 17 Feb 2019 21:05:12 -0300
From: Ruben Astudillo <[hidden email]>
To: theindigamer <[hidden email]>, Haskell Cafe
<[hidden email]>

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


_______________________________________________
Libraries mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

0x4EE928F7932EF4AD.asc (13K) Download Attachment