def list.of

bend-blas-lapack@0.0.0.1 · mat.bend:58

import Base

58# the first count floats of an array, as a list
59def list.of(+count: Nat, a: Array<F32>) -> List<&2, F32>:
60  match count:
61    case 0n:
62      []
63    case 1n+p:
64      take.go(p, (U32.from_nat(p) : U32), Array.get(F32, a, U32.from_nat(p)), [])