def rejected

stelliferous@0.0.2.0 · tensor.bend:102

import Base

102# A usable tensor fails with an invalid argument of the operation; a failed one keeps its problem.
103def rejected(~Element: Data,name: String,tensor: Tensor<Element>) -> Tensor<Element>:
104  match tensor:
105    case Tensor{storage,+shape,fill,Usable{},workers}: Tensor{storage,shape,fill,Failed{Problem{name,InvalidArgument{shape}}},workers}
106    case Tensor{storage,shape,fill,Failed{problem},workers}: Tensor{storage,shape,fill,Failed{problem},workers}
107    case Banded{bands,geometry,+shape,fill,Usable{},workers}: Banded{bands,geometry,shape,fill,Failed{Problem{name,InvalidArgument{shape}}},workers}
108    case Banded{bands,geometry,shape,fill,Failed{problem},workers}: Banded{bands,geometry,shape,fill,Failed{problem},workers}