def App.next

Base · base.bend:3139

3139def App.next(
3140  -S: Type, window: Window, rest: Window -> S -> IO(Unit), next: Maybe<S>
3141) -> IO(Unit):
3142  match next:
3143    case None{}:
3144      Window.close(window)
3145    case Some{state}:
3146      rest(window, state)