Send Beginners mailing list submissions to
        beginners@haskell.org

To subscribe or unsubscribe via the World Wide Web, visit
        http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
        beginners-requ...@haskell.org

You can reach the person managing the list at
        beginners-ow...@haskell.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."


Today's Topics:

   1.  Understanding the function monad ((->) r) (Olumide)
   2. Re:  Understanding the function monad ((->) r) (Benjamin Edwards)
   3. Re:  Understanding the function monad ((->) r) (Olumide)


----------------------------------------------------------------------

Message: 1
Date: Tue, 21 Feb 2017 10:15:24 +0000
From: Olumide <50...@web.de>
To: The Haskell-Beginners Mailing List - Discussion of primarily
        beginner-level topics related to Haskell <beginners@haskell.org>
Subject: [Haskell-beginners] Understanding the function monad ((->) r)
Message-ID: <08dd31b5-01c8-ad20-5d8d-39814b728...@web.de>
Content-Type: text/plain; charset=utf-8; format=flowed

Hello List,

I am having enormous difficulty understanding the definition of the bind 
operator of ((->) r) as show below and would appreciate help i  this regard.

instance Monad ((->) r) where
     return x = \_ -> x
     h >>= f = \w -> f (h w) w

Thanks,

- Olumide



------------------------------

Message: 2
Date: Tue, 21 Feb 2017 10:25:02 +0000
From: Benjamin Edwards <edwards.b...@gmail.com>
To: The Haskell-Beginners Mailing List - Discussion of primarily
        beginner-level topics related to Haskell <beginners@haskell.org>
Subject: Re: [Haskell-beginners] Understanding the function monad
        ((->) r)
Message-ID:
        <can6k4njv-h5zgrrbxkmfk0cevhmon6evsszf4vm-ypgkt_4...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"

What is it that you are having difficulty with? Is it "why" this is a good
definition? Is it that you don't understand how it works?

Ben

On Tue, 21 Feb 2017 at 10:15 Olumide <50...@web.de> wrote:

> Hello List,
>
> I am having enormous difficulty understanding the definition of the bind
> operator of ((->) r) as show below and would appreciate help i  this
> regard.
>
> instance Monad ((->) r) where
>      return x = \_ -> x
>      h >>= f = \w -> f (h w) w
>
> Thanks,
>
> - Olumide
>
> _______________________________________________
> Beginners mailing list
> Beginners@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
<http://mail.haskell.org/pipermail/beginners/attachments/20170221/ab6588f7/attachment-0001.html>

------------------------------

Message: 3
Date: Tue, 21 Feb 2017 11:34:41 +0000
From: Olumide <50...@web.de>
Cc: The Haskell-Beginners Mailing List - Discussion of primarily
        beginner-level topics related to Haskell <beginners@haskell.org>
Subject: Re: [Haskell-beginners] Understanding the function monad
        ((->) r)
Message-ID: <366f7be1-330c-b446-d20d-fe8beee76...@web.de>
Content-Type: text/plain; charset=utf-8; format=flowed

On 21/02/2017 10:25, Benjamin Edwards wrote:
> What is it that you are having difficulty with? Is it "why" this is a
> good definition? Is it that you don't understand how it works?

I simply can't grok f (h w) w.

- Olumide

> On Tue, 21 Feb 2017 at 10:15 Olumide <50...@web.de
> <mailto:50...@web.de>> wrote:
>
>     Hello List,
>
>     I am having enormous difficulty understanding the definition of the bind
>     operator of ((->) r) as show below and would appreciate help i  this
>     regard.
>
>     instance Monad ((->) r) where
>          return x = \_ -> x
>          h >>= f = \w -> f (h w) w
>
>     Thanks,
>
>     - Olumide
>
>     _______________________________________________
>     Beginners mailing list
>     Beginners@haskell.org <mailto:Beginners@haskell.org>
>     http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>
>
>
> _______________________________________________
> Beginners mailing list
> Beginners@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>



------------------------------

Subject: Digest Footer

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners


------------------------------

End of Beginners Digest, Vol 104, Issue 11
******************************************

Reply via email to