def run

stelliferous@0.0.2.0 · traversal_array.bend:47

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

47def run(~Reader: Type,~Element: Data,~Context: Data,
48  ~read: Reader -> Context -> U32 -> Reader & Element,~destination: Context -> U32 -> U32,
49  count: Nat,state: State<&1,&1,Reader,Array<Element>,Context>) -> State<&1,&1,Reader,Array<Element>,Context>:
50  Loop.run(~State<&1,&1,Reader,Array<Element>,Context>,~step(~Reader,~Element,~Context,~read,~destination),count,state)