[Haskell-cafe] Re: Converting IO [XmlTree] to [XmlTree]

Steffen Schuldenzucker Steve.Schuldenzucker at web.de
Tue Apr 28 03:36:18 EDT 2009


On 22:19 Mon 27 Apr     , Martijn van Steenbergen wrote:
> Tillmann Rendel wrote:
>> Achim Schneider wrote:
>>> In other words:
>>>
>>> 1) Explain Pointed
>>> 2) Explain Functor
>>> 3) Explain Applicative
>>> 4) Explain Monad
>> Why Pointed first? Functor seems more useful and more basic.
>
> They are in order of power: every monad is an applicative; every 
> applicative is a functor; every functor is pointed.

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)

Steffen




More information about the Haskell-Cafe mailing list