Module place 

Places in state that compiled code names for writes that happen later, such as where a download reports or a file dialog answers: a state, then a path of fields and items.

Structs

Location 🔒

Where a value lives inside a state, with list positions already checked not to be negative.

PathStep

One step of a path: a struct’s field, or a list’s item, by position.

PlaceDesc

A place in state, as compiled code builds one for a call: state state, then len steps at steps.

StateOf 🔒

A context’s state, read for finding where a download’s id went. Download bindings are typed by the checker, so the place above a list position holds a list, and an id’s place a string.

Enums

StepKind