def map_step
import stelliferous@0.0.2.0/traversal_array.bend as TraversalArrayimport Base
110def map_step(~Element: Data,~Context: Data,~map: Context -> Element -> Element,
111 state: State<&2,&1,Unit,Array<Element>,Context>) -> State<&2,&1,Unit,Array<Element>,Context>:
112 State{Unit{},output,+position,context} = state
113 mapped_value(~Element,~Context,~map,position,context,Array.get(Element,output,position))
Uses (5)
Used by (7)
- stelliferous@0.0.2.0/traversal_array:map_in_place
- stelliferous@0.0.2.0/proofs/traversal_witness:map_in_place
- stelliferous@0.0.2.0/proofs/traversal_lanes_refinement:scalar
- stelliferous@0.0.2.0/proofs/traversal_array_refinement:map_loop_refines_model
- stelliferous@0.0.2.0/proofs/traversal_array_refinement:map_step_refines_model
- …