
28 Apr
2009
28 Apr
'09
7:47 a.m.
Steffen Schuldenzucker wrote:
Uhm, isn't it:
class (Functor f) => Pointed f where pure :: a -> f a -- singleton, return, unit etc.
Got it from: The Typeclassopedia by Brent Yorgey (forgot the URL, sorry)
Yes, but also: http://thread.gmane.org/gmane.comp.lang.haskell.cafe/54685 So maybe functor is not strictly more powerful than pointed and vice versa. I don't know. Martijn.