def map_whole_context

stelliferous@0.0.2.0 · tensor_band.bend:216

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage

216# A mapper over the whole of one band.
217def map_whole_context(~Element: Data,~Context: Data,~mapper: @+count: Nat -> @+position: U32 -> @+context: Context -> Storage.Buffer<Element> -> Storage.Buffer<Element>,+context: Context,buffer: Storage.Buffer<Element>) -> Storage.Buffer<Element>:
218  Storage.Buffer{storage,+length,certificate} = buffer
219  mapper(length,0,context,Storage.Buffer{storage,length,certificate})