Programming-Idioms

History of Idiom 78 > diff from v16 to v17

Edit summary for version 17 :

Version 16

2015-09-05, 13:12:50

Version 17

2015-09-05, 13:14:37

Idiom #78 "do while" loop

Execute a block once, then execute it again as long as boolean condition c is true.

Idiom #78 "do while" loop

Execute a block once, then execute it again as long as boolean condition c is true.

Code
dowhile c b = do a <- b
  if c a then dowhile c b else return a

dowhile (/="END") getLine
Code
doWhile c b = do a <- b
  if c a then doWhile c b else return a

dowhile (=="") getLine