Function itemHandlesOf

The item handles one of the screen's own lists shows over fresh data: the same item definitions and the screen as their origin, so their edges and state are the screen's. list names a list the screen declares and data carries the field that list reads (at), typed from the declaration. An action answers with rows the app has just received (a rail a follow reloaded) through it, via actionWithHandle, instead of the visit's snapshot.

Items is the screen's own items type (typeof profileItems): the rows are typed by that list's item inputs, so a row of another shape does not compile. A row that still reaches the item's decoder (a caller outside the type) is a ScreenDataError, never a defect. The item definitions' enters run, so the effect carries their errors and services as the host's enter does — except the process services a handle's checkpoint() captures, which an item handle has no checkpoint() to need — and the handles are typed by ScreenItemHandles. Showing the list is a transition — the screen holds the top while the item enters run — and the effect carries that too (ScreenEnterConcurrentError, ScreenStack, MobileNavigation).