def only_value

stelliferous@0.0.2.0 · tensor.bend:220

import stelliferous@0.0.2.0/tensor.bend as Tensor

import Base

220def only_value(~Element: Data,+shape: List<&2,U32>,values: List<&2,Element>) -> Result<&2,&2,Problem,Element>:
221  match values:
222    case Con{value,Nil{}}: Done{value}
223    case values: Fail{Problem{"item",InvalidShape{shape}}}

Uses (5)

Used by (1)

stelliferous@0.0.2.0/tensor:single