~/jendhub

def App.fold

Base · base.bend:3197

import Base
3197def App.fold(
3198  -S: Type, app: App<S>, events: List<Event>, state: S,
3199  rest: S -> IO(Maybe<S>)
3200) -> IO(Maybe<S>):
3201  App{view, tick} = app
3202  IO.bind(Maybe<S>, Maybe<S>, tick(events, state), App.more(S, rest))

Uses (7)

Used by (1)