def write_state

stelliferous@0.0.2.0 · traversal_array.bend:32

import Base

32def write_state(~Reader: Type,~Element: Data,~Context: Data,reader: Reader,output: Array<Element>,position: U32,context: Context,
33  destination: U32,value: Element) -> State<&1,&1,Reader,Array<Element>,Context>:
34  State{reader,Array.set(Element,output,destination,value),(position + 1 : U32),context}