def visit_update_sample
stelliferous@0.0.2.0 · traversal_array.bend:187
import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray
import Base
187def visit_update_sample(~Reader: Type,~Element: Data,~Context: Data,~combine: Element -> Element -> Element,
188 +position: U32,output: Array<Element>,current: Element,result: Reader & Visited<Context,Element>) -> State<&1,&1,Reader,Array<Element>,Context>:
189 (reader,Visited{context,value}) = result
190 write_state(~Reader,~Element,~Context,reader,output,position,context,position,combine(current,value))