Loop

Repeatedly apply a function to a value while or until a predicate holds.

Looping

while : (a -> Bool) -> (a -> a) -> a -> a

Repeatedly apply a function to a value while a predicate holds.

while (\ n -> n < 10) ((+) 5) 2 == 12

until : (a -> Bool) -> (a -> a) -> a -> a

Repeatedly apply a function to a value until a predicate holds.

until (\ n -> n > 10) ((+) 5) 2 == 12