def App.more

import Base

3189def App.more(-S: Type, rest: S -> IO(Maybe<S>), next: Maybe<S>) ->
3190  IO(Maybe<S>):
3191  match next:
3192    case None{}:
3193      IO.pure(Maybe<S>, None{})
3194    case Some{state}:
3195      rest(state)

Uses (3)

Maybe
IO
IO.pure

Used by (1)

App.fold