def App.play

Base · base.bend:3204

3204def App.play(~S: Type, ~app: App<S>, frames: List<List<Event>>, state: S) ->
3205  IO(Maybe<S>):
3206  match frames:
3207    case Nil{}:
3208      IO.pure(Maybe<S>, Some{state})
3209    case events <> rest:
3210      App.fold(S, app, events, state, s => App.play(~S, ~app, rest, s))