def store

stelliferous@0.0.2.0 · traversal_array.bend:36

import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray

import Base

36def store(~Reader: Type,~Element: Data,~Context: Data,~destination: Context -> U32 -> U32,
37  +position: U32,+context: Context,output: Array<Element>,result: Reader & Element) -> State<&1,&1,Reader,Array<Element>,Context>:
38  (reader,value) = result
39  write_state(~Reader,~Element,~Context,reader,output,position,context,destination(context,position),value)

Uses (6)

Used by (4)