def with_status

stelliferous@0.0.2.0 · tensor.bend:334

import Base

334def with_status(~Element: Data,status: Status,tensor: Tensor<Element>) -> Tensor<Element>:
335  match tensor:
336    case Tensor{storage,shape,fill,previous,workers}: Tensor{storage,shape,fill,status,workers}
337    case Banded{bands,geometry,shape,fill,previous,workers}: Banded{bands,geometry,shape,fill,status,workers}