def copy

stelliferous@0.0.2.0 · tensor_layout.bend:75

import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

75def copy(~Element: Data,tensor: Tensors.Tensor<Element>) -> Tensors.Tensor<Element> & Tensors.Tensor<Element>:
76  match tensor:
77    case Tensors.Tensor{storage,+shape,fill,status,workers}:
78      swapped(~Element,gather_status(~Element,"copy",status,Tensors.view_of(shape),shape,shape,storage,shape,fill,workers))
79    case Tensors.Banded{bands,geometry,shape,fill,status,workers}: copy_bands(~Element,status,bands,geometry,shape,fill,workers)