On Thu, Sep 16, 2010 at 2:12 PM, Ben Franksen <ben.frank...@online.de>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 >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe