The hmatrix-static package

[ Tags: gpl, 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 && <0.4), base (>=3 && <5), haskell-src-meta (>= && <0.2), hmatrix (>=0.7 && <0.9), parsec (==2.*), template-haskell, tfp (==0.2.*) [details]
License GPL
Author Reiner Pope
Maintainer Reiner Pope <>
Category Math
Home page
Uploaded Sun Sep 12 03:41:07 UTC 2010 by ReinerPope
Distributions NixOS:
Downloads 1783 total (25 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]
Hackage Matrix CI


  • Data
    • Packed
      • Data.Packed.Static
        • Data.Packed.Static.Convert
        • Data.Packed.Static.Imports
        • Data.Packed.Static.Matrix
        • Data.Packed.Static.ST
        • Data.Packed.Static.Shapes
        • Data.Packed.Static.Syntax
        • Data.Packed.Static.Vector
  • Numeric
    • LinearAlgebra
      • Numeric.LinearAlgebra.Static
        • Numeric.LinearAlgebra.Static.Algorithms


Maintainer's Corner

For package maintainers and hackage trustees