def from_values
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Coreimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
407def from_values(+shape: Shape.Shape, +values: List<&2, F32>) -> Result<&2, &1, Error, Tensor<shape>>:
408 from_values_counted(shape, values,
409 Shape.bool_case(Nat.is_eq(List.length(&2, F32, values), Shape.elements(shape))))
Uses (11)
Used by (14)
- bendtorch-core@0.1.0.0/src/tensor/core:construct_shape
- bendtorch-core@0.1.0.0/src/tensor/from_values_contract:from_values_lift
- bendtorch-core@0.1.0.0/src/tensor/construction_LAWS:FromValuesModel
- bendtorch-core@0.1.0.0/src/tensor/construction_PROOF:from_values_complete
- bendtorch-core@0.1.0.0/src/tensor/from_values_records:FromValuesContract
- …