Functor => Pointed => Applicative => Monad

[John Lato]

On Tue, Nov 30, 2010 at 4:05 PM, David Menendez <dave at zednenem.com> wrote:

> On Tue, Nov 30, 2010 at 5:31 AM, John Lato <jwlato at gmail.com> wrote:
> >> From: David Menendez <dave at zednenem.com>
> >>
> >> Is Pointed useful at all? The last time this discussion came up, I
> >> asked for algorithms which were generic over pointed functors (in the
> >> same way that traverse is generic over applicative functors) and no
> >> one could think of any.
> >
> > It's useful for 'singleton' on probabilistic data structures (e.g. a
> Bloom
> > filter).
>
> Again, I'm asking for clients, not implementations. Are there any
> useful, non-trivial functions which are parameterized by arbitrary
> Pointed functors?
>

I consider "singleton" itself to be a client, albeit somewhat trivial.  But
as a result of the last discussion, I'm no longer sure that "singleton" is a
proper use of "pointed" and I shouldn't have brought it up now.  I'm still
in favor of splitting Applicative for philosophical reasons though.

In any case there's the function posted by Ross Patterson, which seems to
fit all your criteria.

John
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20101130/17335947/attachment.htm>