App

:= { apply : AppConfig -> AppConfig }

default : Config

map2 : App(a), App(b), (a, b -> c) -> App(c)

config : App(a) -> Config

init : Config, InitCallback(model, errors) -> Init(model, errors)

Build app initialization from pure startup config plus the effectful callback that creates the first model after raylib/audio are ready.

title : Str -> App(Str)

width : I32 -> App(I32)

height : I32 -> App(I32)

size : { width : I32, height : I32 } -> App({ width : I32, height : I32 })

target_fps : I32 -> App(I32)

resizable : Bool -> App(Bool)

fullscreen : Bool -> App(Bool)

vsync : Bool -> App(Bool)

cursor_visible : Bool -> App(Bool)

Config : AppConfig

InitCallback : Host => Try(model, [Exit(I64), ..errors])

Effectful startup callback run after the host has initialized raylib and audio. Return Ok(model) to start the app, Err(Exit(code)) to quit before the first frame, or let other initialization errors propagate.

Init : {
    config : Config,
    run! : InitCallback(model, errors),
}