[Haskell-cafe] [Alternative] some/many narrative

Gregory Crosswhite gcrosswhite at gmail.com
Fri Dec 16 02:09:14 CET 2011


On Dec 16, 2011, at 3:34 AM, Bryan O'Sullivan wrote:

> This is both confusing and incorrect. It's entirely possible for an action in the Maybe type to fail.

Okay, so inserting the phrases "that either fail eventually or" and "that succeed forever if they do not immediately fail" so that that the documentation reads:

   -- [Warning]: This is only defined for actions that either fail immediately or that eventually fail
   -- after being performed repeatedly, such as parsing. For pure values such
   -- as 'Maybe' that succeed forever if they do not immediately fail, this will cause an infinite loop.

makes the situation more clear.

Cheers,
Greg

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20111216/728a6c98/attachment.htm>


More information about the Haskell-Cafe mailing list