~/jendhub

def listed

stelliferous@0.0.2.0 · tensor.bend:134

import stelliferous@0.0.2.0/tensor.bend as Tensor
import Base

134def listed(~Element: Data,+shape: List<&2,U32>,count: Maybe<&2,U32>,+values: List<&2,Element>,+fill: Element) -> Tensor<Element>:
135  match count:
136    case Some{+count}: listed_count(~Element,Nat.is_eq(List.length(&2,Element,values),U32.to_nat(count)),shape,count,values,fill)
137    case None{}: failed(~Element,"from_list",InvalidShape{shape},shape,fill,1)

Uses (10)

Used by (1)