Monad Laws and Do Notation
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-tp4828598p48... Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
On 22 September 2011 11:46, 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
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-P... -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com
participants (2)
-
diazepan -
Ivan Lazar Miljenovic