Expand description
Layers are containers of lists of some type.
The intent is that they “attach” to an outer layer which has as many values as the layer has lists, thereby associating a list with each outer value. A sequence of layers, each matching the number of values in its predecessor, forms a layered trie: a tree with values of some type on nodes at each depth.
We will form tries here by layering [Keys, Vals, Upds]
or [Keys, Upds]
.
Structs§
- Upds
- A container for non-empty lists of updates.
- Upds
Builder - Helper type for constructing
Upds
containers. - Vals
- A container for non-empty lists of values.