lapack-carray

Auto-generated interface to Fortran LAPACK via CArrays

http://hub.darcs.net/thielema/lapack-carray/

Version on this page:0.0.2
LTS Haskell 22.39:0.0.3@rev:1
Stackage Nightly 2024-10-31:0.0.3@rev:1
Latest on Hackage:0.0.3@rev:1

See all snapshots lapack-carray appears in

BSD-3-Clause licensed and maintained by Henning Thielemann
This version can be pinned in stack with:lapack-carray-0.0.2@sha256:3493864c85a855427f465528f43d2d904f248207c5fb1b61e8e757528773d951,2972

LAPACK is a package for efficient numerically robust linear algebra. The original implementation is written in FORTRAN. This is a semi-automatically generated mid-level wrapper. The functions are not ready to use for high-level applications, but they are a step closer.

The functions are all in IO monad because they are auto-generated and we cannot make sure automatically that unsafePerformIO is always safe. Instead of raw pointers we use CArrays and IOCArrays and assign and check array bounds to LAPACK function parameters, as far we can retrieve this information from the FORTRAN comments. We check consistency of dimensions where consistent dimensions are required, but we cannot do all kind of bound checks. We use immutable CArray for input and output parameters and mutable IOCArray for input/output parameters. LAPACK plays some nasty tricks of in-place array updates on input/output arrays even if the dimensions of input and output array differ (see e.g. GELS). The wrappers also manage allocation of memory for function parameters. This is necessary since FORTRAN passes all parameters by reference. Further on, the wrappers convert from Haskell values like Int to low-level values like CInt.

We provide bindings to functions of all variants for Float, Double, Complex Float and Complex Double. We do not use TemplateHaskell nor HSC nor CHS, but instead Haskell 98 code generated by the custom lapack-ffi-tools package.