hmatrix-static: hmatrix with vector and matrix sizes encoded in types

[ library, math ] [ Propose Tags ]

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.

Versions 0.1, 0.2, 0.3,,
Dependencies array (==0.2.*), base (==4.*), haskell-src-meta (>= && <0.0.7), hmatrix (==0.7.*), parsec (==3.*), template-haskell, tfp (==0.2.*) [details]
License LicenseRef-GPL
Author Reiner Pope
Maintainer Reiner Pope <>
Category Math
Home page
Uploaded by ReinerPope at Wed Dec 16 16:14:36 UTC 2009
Distributions NixOS:
Downloads 2006 total (11 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees