def Mat.eigh.wrap
bend-blas-lapack@0.0.0.1 · mat.bend:301
import bend-blas-lapack@0.0.0.1/mat.bend as Mat
import Base
301def Mat.eigh.wrap(-n: Nat, r: Result<&1, &1, U32 & String, Array<F32> & Array<F32>>) -> IO(Result<&1, &1, U32 & String, Vec<n> & Mat<n, n>>):
302 match r:
303 case Fail{e}:
304 IO.pure(Result<&1, &1, U32 & String, Vec<n> & Mat<n, n>>, Fail{e})
305 case Done{v}:
306 match v:
307 case (w, vs):
308 IO.pure(Result<&1, &1, U32 & String, Vec<n> & Mat<n, n>>, Done{(VecA{w}, MatA{vs})})