def App.step

import Base

3167def App.step(
3168  -S: Type, app: App<S>, window: Window, state: S,
3169  rest: Window -> S -> IO(Unit)
3170) -> IO(Unit):
3171  App{view, tick} = app
3172  App.draw(S, window, view(state), tick, rest)

Uses (5)

Unit
IO
Window
App
App.draw

Used by (1)

App.loop