pub struct RelationReading {
pub enclosing: WindowProfile,
pub echoing: WindowProfile,
pub regime: WindowProfile,
pub phase: WindowProfile,
}Expand description
The readings of a token’s related context: one fold per relation that admits earlier tokens, each over every token the relation names.
A window admits by distance. These admit by relation, and because a reading is a monoid the context needs no members kept and none evicted: each is a running fold, exact and unbounded in range, that costs one combine when a token joins it.
Fields§
§enclosing: WindowProfileThe heads of the brackets enclosing the token, outermost first: the path up the enclosure tree.
echoing: WindowProfileEvery earlier occurrence of the token’s key, the token itself left out; identity for a first appearance or an unkeyed token.
regime: WindowProfileThe significant tokens since the byte grain’s last regime change, the token itself left out.
phase: WindowProfileEvery earlier significant token at the same phase of the dominant token-kind period, the token itself left out; identity when the stream has no period.