def read

stelliferous@0.0.2.0 · tensor_indexed.bend:13

import stelliferous@0.0.2.0/tensor_indexed.bend as TensorIndexed

import Base

13def read(~Element: Data,~Context: Data,~index: Context -> U32 -> U32,~operation: U32 -> Element -> Element,
14  source: Array<Element>,context: Context,position: U32) -> Array<Element> & Element:
15  +position = position
16  value(~Element,~Context,~index,~operation,context,position,Array.get(Element,source,position))

Uses (5)

Used by (5)