TraversalArray.map_in_place: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/traversal_array.bend as TraversalArray
Lines 119-122 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=119&end_line=122

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

def map_in_place(~Element: Data,~Context: Data,~map: Context -> Element -> Element,
  count: Nat,position: U32,context: Context,output: Array<Element>) -> Array<Element>:
  mapped_output(~Element,~Context,Loop.run(~State<&2,&1,Unit,Array<Element>,Context>,
    ~map_step(~Element,~Context,~map),count,State{Unit{},output,position,context}))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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=map_step
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_array.bend&name=mapped_output
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_loop.bend&name=run