def shape

stelliferous@0.0.2.0 · tensor.bend:177

import stelliferous@0.0.2.0/tensor.bend as Tensor

import Base

177def shape(~Element: Data,tensor: Tensor<Element>) -> Tensor<Element> & List<&2,U32>:
178  match tensor:
179    case Tensor{storage,+shape,fill,status,workers}: (Tensor{storage,shape,fill,status,workers},shape)
180    case Banded{bands,geometry,+shape,fill,status,workers}: (Banded{bands,geometry,shape,fill,status,workers},shape)

Uses (5)

Used by (4)