def copy_run

stelliferous@0.0.2.0 · tensor_access.bend:85

import Base
import stelliferous@0.0.2.0/tensor_view.bend as Views
import stelliferous@0.0.2.0/traversal_array.bend as Traversal
import stelliferous@0.0.2.0/tensor_cursor.bend as Cursor

85def copy_run(~Element: Data,contiguous: Bool,count: Nat,source: Views.View,destination: U32,
86  input: Array<Element>,output: Array<Element>) -> Array<Element> & Array<Element>:
87  match contiguous:
88    case True{}:
89      Views.View{axes,offset} = source
90      Traversal.copy(~Element,count,offset,destination,input,output)
91    case False{}: copy_strided(~Element,count,Cursor.prepare(source),destination,input,output)