Re: [Haskell-cafe] Re: Re: Full strict functor by abusing Haskell exceptions

On Thu, Sep 16, 2010 at 2:12 PM, Ben Franksen wrote:

Sjoerd Visscher wrote:

...

But StrictIncl can't be a pointed functor, only endofunctors can be pointed.

Could someone tell me what exactly a pointed functor is? I googled but did not find a definition.

Here you will find what a Pointed Functor would be => http://haskell.org/sitewiki/images/8/85/TMR-Issue13.pdf Look up for the Typeclassopedia, start reading functor, next thing you will find is the Pointed typeclass

Thanks Ben

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe