Re: [Haskell-cafe] (Newbie Question) How to get the value of an "IO String" Monad?
Hi, Apart from the other posts, you might also want to read http://www.haskell.org/hawiki/IntroductionToIO which is a quick intro to the way IO is handled in Haskell and http://www.haskell.org/hawiki/UsingIo which covers similar ground, but which also goes into a number of other common questions. - Cale On 17/02/06, Peter <[EMAIL PROTECTED]> wrote: > Hello, > > For the purpose of familiarizing myself with Haskell, and also because I > love Haskell :), > I am trying to re-make a script that I made in Python that sends a > request to a server and extracts the list of email addresses from a > Mailman web-page by using an XML Parser on the page's HTML that has been > converted to XHTML by "HTML Tidy". > > However, I cannot seem to figure out a way to get the state of a Monad; > Specifically I cannot get the value of an "IO String" Monad. > > I have read some tutorials on Monads but I guess I must have missed > something. > > I have read that the >>= operator is the only way to extract the state > of an action as a string, and pipe it to a function. So far so good. > But, That does not seem to work, because as I understand the >>= > operator, it expects the function on the right hand side to return an IO > Monad, which completely defeats the purpose here. > > So, How am I supposed to get the value of an IO Monad, such as "IO > String", without returning an IO Monad? > > If this is of any help, here is the function I am stuck on: > recv_headers' :: Socket.Socket -> String -> IO [[String]] > recv_headers' sock bulk > | received == ""= error "Connection died unexpectedly." > | received == "\n" > && endswith bulk "\r\n\r" = return [["foo", "bar"]] > | otherwise = recv_headers' sock (bulk ++ received) > where received = (Socket.recv sock 1) > --- End code --- > > And here is the (expected) error I get from trying to compare "IO > String" to "String": > MemberBackup.hs:29:18: > Couldn't match `IO String' against `[Char]' > Expected type: IO String > Inferred type: [Char] > In the second argument of `(==)', namely `""' > In a pattern guard for >the definition of `recv_headers'': > received == "" > Failed, modules loaded: none. > --- End error --- > > Thanks for the help, > Peter > > ___ > 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
Re: [Haskell-cafe] (Newbie Question) How to get the value of an "IO String" Monad?
Peter wrote: > So, How am I supposed to get the value of an IO Monad, such as "IO > String", without returning an IO Monad? You read correctly, this is impossible. You already got some valid answers, and here's another variant that preserves most of the nice guarded expressions: recv_headers' :: Socket.Socket -> String -> IO [[String]] recv_headers' sock bulk = Socket.recv sock 1 >>= dispatch where dispatch ""= error "Connection died unexpectedly." dispatch "\n" | endswith bulk "\r\n\r" = return [["foo", "bar"]] dispatch _ = recv_headers' sock (bulk ++ received) Udo. -- "Gadgets are not necessarily an improvement, vide the succession: Blackboard -> Overhead Projector -> PowerPoint" -- E. W. Dijkstra signature.asc Description: Digital signature ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] (Newbie Question) How to get the value of an "IO String" Monad?
Hi, Am Freitag, 17. Februar 2006 14:42 schrieb Peter: > Hello, > > For the purpose of familiarizing myself with Haskell, and also because I > love Haskell :), very good! > I am trying to re-make a script that I made in Python that sends a > request to a server and extracts the list of email addresses from a > Mailman web-page by using an XML Parser on the page's HTML that has been > converted to XHTML by "HTML Tidy". > > However, I cannot seem to figure out a way to get the state of a Monad; > Specifically I cannot get the value of an "IO String" Monad. > > I have read some tutorials on Monads but I guess I must have missed > something. > > I have read that the >>= operator is the only way to extract the state > of an action as a string, and pipe it to a function. So far so good. > But, That does not seem to work, because as I understand the >>= > operator, it expects the function on the right hand side to return an IO > Monad, which completely defeats the purpose here. I find do-notation often more readable, then you write val <- action and val is an ordinary value, you can use afterwards (within the same do-block, of course) > > So, How am I supposed to get the value of an IO Monad, such as "IO > String", without returning an IO Monad? > > If this is of any help, here is the function I am stuck on: > recv_headers' :: Socket.Socket -> String -> IO [[String]] > recv_headers' sock bulk > > | received == ""= error "Connection died unexpectedly." > | received == "\n" > > && endswith bulk "\r\n\r" = return [["foo", "bar"]] > > | otherwise = recv_headers' sock (bulk ++ received) > > where received = (Socket.recv sock 1) > --- End code --- This should do it: recv_headers' :: Socket.Socket -> String -> IO [[String]] recv_headers' sock bulk = do { received <- Socket.recv sock 1 ; case received of "" -> error "Connection died unexpectedly." "\n" | endswith bulk "\r\n\r" -> return [["foo", "bar"]] _ -> recv_headers' sock (bulk ++ received) } at least, it compiles. > > And here is the (expected) error I get from trying to compare "IO > String" to "String": > MemberBackup.hs:29:18: > Couldn't match `IO String' against `[Char]' > Expected type: IO String > Inferred type: [Char] > In the second argument of `(==)', namely `""' > In a pattern guard for >the definition of `recv_headers'': > received == "" > Failed, modules loaded: none. > --- End error --- > > Thanks for the help, > Peter > Cheers, Daniel -- "In My Egotistical Opinion, most people's C programs should be indented six feet downward and covered with dirt." -- Blair P. Houghton ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] (Newbie Question) How to get the value of an "IO String" Monad?
On 2/17/06, Peter <[EMAIL PROTECTED]> wrote: > Hello, > > For the purpose of familiarizing myself with Haskell, and also because I > love Haskell :), > I am trying to re-make a script that I made in Python that sends a > request to a server and extracts the list of email addresses from a > Mailman web-page by using an XML Parser on the page's HTML that has been > converted to XHTML by "HTML Tidy". > > However, I cannot seem to figure out a way to get the state of a Monad; > Specifically I cannot get the value of an "IO String" Monad. > > I have read some tutorials on Monads but I guess I must have missed > something. > > I have read that the >>= operator is the only way to extract the state > of an action as a string, and pipe it to a function. So far so good. > But, That does not seem to work, because as I understand the >>= > operator, it expects the function on the right hand side to return an IO > Monad, which completely defeats the purpose here. > > So, How am I supposed to get the value of an IO Monad, such as "IO > String", without returning an IO Monad? > > If this is of any help, here is the function I am stuck on: > recv_headers' :: Socket.Socket -> String -> IO [[String]] > recv_headers' sock bulk > | received == ""= error "Connection died unexpectedly." > | received == "\n" > && endswith bulk "\r\n\r" = return [["foo", "bar"]] > | otherwise = recv_headers' sock (bulk ++ received) > where received = (Socket.recv sock 1) Try: recv_headers' sock bulk = do received <- Socket.recv sock 1 case received of "" -> error ... "\n" | endswith bulk "\r\n\r" -> ... _ -> recv_headers' sock (bulk ++ received) -- Friendly, Lemmih ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] (Newbie Question) How to get the value of an "IO String" Monad?
Peter <[EMAIL PROTECTED]> writes: > So, How am I supposed to get the value of an IO Monad, such as "IO > String", without returning an IO Monad? Short answer: you don't. IO is a one way street. Build your application top down in the IO monad (starting with 'main'), and bottom up with pure code, and hope you can make them meet somewhere in the middle. :-) -k -- If I haven't seen further, it is by standing in the footprints of giants ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Re: [Haskell-cafe] (Newbie Question) How to get the value of an "IO String" Monad?
You can access IO values only from within do blocks (see any tutorial, previous posts or google). It looks like this then: do= myvalue <- functionwhichreturnsIOValue dosomethingwith myvalue Due to monads you don't have to leave the IO monad this way. Oh. Have to go now. do is translated into >>= syntax, see do expansion. Hope this did help else wait for another longer answer ;-) Marc ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe