hmatrix-static

hmatrix with vector and matrix sizes encoded in types

http://code.haskell.org/hmatrix-static/

Latest on Hackage:0.3.0.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

LicenseRef-GPL licensed by Reiner Pope
Maintained by Reiner Pope

A thin, lightweight wrapper over hmatrix to support static checking of matrix and vector sizes (for instance, addition of different-sized vectors will be disallowed at compile-time).

Objects whose sizes are not statically known are given the special size Unknown, which allows a syntactically cheap way to step down to the statically unchecked system of hmatrix. This is cheap in comparison to representing unknown sizes with exisential types, which forces pervasive continuation passing style.

WARNING: when using the QuasiQuoting in this package, be aware of infix expressions. See the note in Data.Packed.Static.Syntax for details.