Re: [Haskell-cafe] Restricted type classes

On 6 September 2010 04:25, David Menendez wrote:

On Sun, Sep 5, 2010 at 8:47 AM, Ivan Lazar Miljenovic wrote:

...

I _can_ think of a data type that could conceivably be an instance of Pointed but not Applicative: a BloomFilter (though there's not really any point in having a BloomFilter with only one value that I can see, but maybe someone can since there's the singletonB function).

Do Bloom filters have a Functor instance?

Nope; once something is in the bloom filter you can't change it (you can't even apply an a -> a map if I understand correctly). -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com