TraversalArray.update_sample: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray
Lines 124-130 of stelliferous@0.0.2.0/traversal_array.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/traversal_array.bend&start_line=124&end_line=130

import Base

# Read the destination's current element, combine it with an owned reader, then
# store through the same traversal state. Distinct Array owners cannot alias.
def update_sample(~Reader: Type,~Element: Data,~Sample: Data,~Context: Data,
  ~combine: Element -> Sample -> Element,~destination: Context -> U32 -> U32,
  position: U32,context: Context,output: Array<Element>,current: Element,result: Reader & Sample) -> State<&1,&1,Reader,Array<Element>,Context>:
  (reader,sample) = result
  store(~Reader,~Element,~Context,~destination,position,context,output,(reader,combine(current,sample)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=store