[Haskell-cafe] Restricted type classes

Ivan Lazar Miljenovic ivan.miljenovic at gmail.com
Mon Sep 6 00:09:29 EDT 2010

On 6 September 2010 04:25, David Menendez <dave at zednenem.com> wrote:
> On Sun, Sep 5, 2010 at 8:47 AM, Ivan Lazar Miljenovic
> <ivan.miljenovic at gmail.com> 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 at gmail.com

More information about the Haskell-Cafe mailing list