def map

stelliferous@0.0.2.0 · traversal_cells.bend:30

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

30# `cells` rounds from `position`; the scratch array holds 64 cells.
31def map(~Owner: Type,~Cell: Data,~Context: Data,~gather: Owner -> U32 -> Context -> Owner & Cell,
32  ~scatter: Owner -> U32 -> Cell -> Owner,~width: U32,
33  cells: Nat,position: U32,context: Context,values: Owner,scratch: Array<Cell>) -> Owner:
34  output(~Owner,~Cell,~Context,Loop.run(~State<Owner,Cell,Context>,~step(~Owner,~Cell,~Context,~gather,~scatter,~width),
35    cells,State{values,scratch,position,0,context}))