def App.draw

Base · base.bend:3158

3158def App.draw(
3159  -S: Type, window: Window, drawn: S & Image,
3160  tick: List<Event> -> S -> IO(Maybe<S>), rest: Window -> S -> IO(Unit)
3161) -> IO(Unit):
3162  (state, image) = drawn
3163  do IO<Unit>:
3164    shown : Window & Image & List<Event> <- Window.frame(window, image)
3165    App.turn(S, shown, tick, state, rest)