def without_context

stelliferous@0.0.2.0 · tensor_operations.bend:152

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

152# A mapper without a context, as the Unit-context case.
153def without_context(~Element: Data,~mapper: @+count: Nat -> @+position: U32 -> Storage.Buffer<Element> -> Storage.Buffer<Element>,+count: Nat,+position: U32,+context: Unit,buffer: Storage.Buffer<Element>) -> Storage.Buffer<Element>:
154  mapper(count,position,buffer)