void update({ List<Example> examples = const [], Style? style, }) { batch(() { this.style.value = defaultStyle.merge(style); this.examples.assign(_examplesToMap(examples)); }); }