Readonlymain: AndroidIgpapiMain<AndroidScreenHandleOf<Top>, A, E, R>What the caller does with the process, from the first screen on.
Optional Readonlyotherwise?: AndroidOtherwise<unknown>The screens the app can show instead of the expected one, built once with
defineOtherwise: over the start and over every effect the screens
run inside main, each branch answers its screen until the challenge
closes, and the interrupted effect runs again. What the branches cannot
settle rejects the call with its typed error (UnexpectedScreenError for a
screen no branch covers), never main's channel.
Readonlycheckpoint: ScreenCheckpoint<Top>Optional Readonlyscreen?: undefinedReadonlymain: AndroidIgpapiMain<AndroidScreenHandleOf<Screen["id"]>, A, E, R>What the caller does with the process, from the first screen on.
Optional Readonlyotherwise?: AndroidOtherwise<unknown>The screens the app can show instead of the expected one, built once with
defineOtherwise: over the start and over every effect the screens
run inside main, each branch answers its screen until the challenge
closes, and the interrupted effect runs again. What the branches cannot
settle rejects the call with its typed error (UnexpectedScreenError for a
screen no branch covers), never main's channel.
Readonlycheckpoint: objectReadonlyscreen: ScreenReadonlymain: AndroidIgpapiMain<AndroidScreenHandle, A, E, R>What the caller does with the process, from the first screen on.
Optional Readonlyotherwise?: AndroidOtherwise<unknown>The screens the app can show instead of the expected one, built once with
defineOtherwise: over the start and over every effect the screens
run inside main, each branch answers its screen until the challenge
closes, and the interrupted effect runs again. What the branches cannot
settle rejects the call with its typed error (UnexpectedScreenError for a
screen no branch covers), never main's channel.
Readonlycheckpoint: objectOptional Readonlyscreen?: undefined
What a resume entry takes: a typed checkpoint, a named screen, or the union the checkpoint cannot name.
otherwiseis on every form, so one constant built by defineOtherwise serves every entry.