def update

stelliferous@0.0.2.0 · traversal_array.bend:145

import Base
import stelliferous@0.0.2.0/traversal_loop.bend as Loop

145def update(~Reader: Type,~Element: Data,~Sample: Data,~Context: Data,
146  ~read: Reader -> Context -> U32 -> Reader & Sample,~combine: Element -> Sample -> Element,
147  ~destination: Context -> U32 -> U32,count: Nat,state: State<&1,&1,Reader,Array<Element>,Context>) -> State<&1,&1,Reader,Array<Element>,Context>:
148  Loop.run(~State<&1,&1,Reader,Array<Element>,Context>,
149    ~update_step(~Reader,~Element,~Sample,~Context,~read,~combine,~destination),count,state)