[Haskell-cafe] Monad Laws and Do Notation

[diazepan]

I've got this expression

expression = do
w - hello
y - to you
return w

I wanna know how can I reduce it using monad laws

--
View this message in context: 
http://haskell.1045720.n5.nabble.com/Monad-Laws-and-Do-Notation-tp4828598p4828598.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Monad Laws and Do Notation

[Ivan Lazar Miljenovic]

On 22 September 2011 11:46, diazepan spanishbizar...@yahoo.com wrote:
 I've got this expression

 expression = do
        w - hello
        y - to you
        return w

 I wanna know how can I reduce it using monad laws

I don't think you can: the best you can do is minimise it with other
monadic functions.  The general case you can do something like discard
from polyparse:
http://hackage.haskell.org/packages/archive/polyparse/latest/doc/html/Text-ParserCombinators-Poly-Base.html#v:discard

-- 
Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com
IvanMiljenovic.wordpress.com

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe