Struct StateOf 

pub(crate) struct StateOf<'a>(pub &'a Context);

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.

Tuple Fields

0: &'a Context

Trait Implementations

impl StateReader for StateOf<'_>

type Place = Location

fn list_len(&self, place: &Location) -> Option<usize>

How many items the list at place has; None when there’s no such place.

fn holds_text(&self, place: &Location, text: &str) -> bool

Whether the text at place is text; false when there’s no such place.