def Mat.svd.wrap
bend-blas-lapack@0.0.0.1 · mat.bend:284
import bend-blas-lapack@0.0.0.1/mat.bend as Mat
import Base
284def Mat.svd.wrap(-m: Nat, -n: Nat, r: Result<&1, &1, U32 & String, Array<F32> & (Array<F32> & Array<F32>)>) -> IO(Result<&1, &1, U32 & String, Vec<Nat.min(m, n)> & (Mat<m, Nat.min(m, n)> & Mat<Nat.min(m, n), n>)>):
285 match r:
286 case Fail{e}:
287 IO.pure(Result<&1, &1, U32 & String, Vec<Nat.min(m, n)> & (Mat<m, Nat.min(m, n)> & Mat<Nat.min(m, n), n>)>, Fail{e})
288 case Done{v}:
289 match v:
290 case (s, uv):
291 Mat.svd.fin(m, n, s, uv)