8.2. Control Structures

Normally, programs written in IO use the same control structures as those written in other monads. There is one specific IO helper.

IO.iterate {α β : Type} (a : α)
    (f : α → IO (α ⊕ β)) : IO β