Personal tools

Restrict type of monadic binding

From HaskellWiki

Revision as of 07:24, 5 November 2007 by Lemming (Talk | contribs)
Jump to: navigation, search

According to Do notation considered harmful#Safety the type of the monadic binding combinator (>>) should be restricted to 

(>>) :: m () -> m a -> m a
This way, you can omit
_ <-
only if the monadic return value has type
()
.
Retrieved from "http://www.haskell.org/haskellwiki/Restrict_type_of_monadic_binding"

Category: Proposals