<div dir="auto">That does seem to be what the source code says. The code only handles non-empty sets, but I *believe* the Maybe-wrapped version can handle intersections, albeit inefficiently. Can a version that looks like (a -> Bool) -> Maybe a work?</div><br><div class="gmail_quote"><div dir="ltr">On Sun, Dec 9, 2018, 1:41 PM MigMit <<a href="mailto:migmit@gmail.com">migmit@gmail.com</a> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">My guess — by finding a member that satisfies a predicate, if it's at all possible, and any member if the predicate is const False. It's actually pretty awesome.<br>
<br>
> On 9 Dec 2018, at 19:36, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" target="_blank" rel="noreferrer">allbery.b@gmail.com</a>> wrote:<br>
> <br>
> Naïvely, a set implemented as a predicate determining membership?<br>
> <br>
> On Sun, Dec 9, 2018 at 1:32 PM Siddharth Bhat <<a href="mailto:siddu.druid@gmail.com" target="_blank" rel="noreferrer">siddu.druid@gmail.com</a>> wrote:<br>
> I don't understand, how does <br>
> <br>
> (a -> Bool) -> a<br>
> <br>
> model a set?<br>
> <br>
> Thanks<br>
> Siddharth<br>
> <br>
> On Sun, 9 Dec, 2018, 22:08 Olaf Klinke, <<a href="mailto:olf@aatal-apotheke.de" target="_blank" rel="noreferrer">olf@aatal-apotheke.de</a>> wrote:<br>
> > Note that a concrete set "concretizes" anything it touches.  Don't take<br>
> > unions of these sets, though, it'll just be a mess.<br>
> > <br>
> > <br>
> > Won't a union just be the same as intersection but using || instead of && ?<br>
> > <br>
> > <br>
> > -Jan-Willem Maessen<br>
> <br>
> Unions of predicates and concrete sets are easy, thanks to Set.member:<br>
> <br>
> union (Pred p) (Concrete s) = Pred (\k -> p k || member k s)<br>
> <br>
> What you can not do, of course, is enumerate and fold these sets. <br>
> There is a set type [1] which supports a litte bit more: <br>
> <br>
> Set a = Maybe ((a -> Bool) -> a)<br>
> <br>
> It has unions, intersections and a Monad instance and can represent infinite sets. If the base type has an Ord instance, the set can be enumerated. If the base type has an Eq instance, so has (Set a). Some functions usually implemented using Foldable are also possible, e.g. minimum and maximum. <br>
> Caveat: Performance can be poor, depending on how the function inside the set was defined. <br>
> <br>
> Cheers,<br>
> Olaf<br>
> <br>
> [1] <a href="http://hackage.haskell.org/package/infinite-search" rel="noreferrer noreferrer" target="_blank">http://hackage.haskell.org/package/infinite-search</a><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
> -- <br>
> Sending this from my phone, please excuse any typos!<br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
> <br>
> <br>
> -- <br>
> brandon s allbery kf8nh<br>
> <a href="mailto:allbery.b@gmail.com" target="_blank" rel="noreferrer">allbery.b@gmail.com</a><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>