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.


[Last Documentation]

  • 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

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 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 && <3), template-haskell, tfp (>=0.2 && <0.3) [details]
License LicenseRef-GPL
Author Reiner Pope
Maintainer Reiner Pope <>
Category Math
Home page
Uploaded by ReinerPope at 2010-09-12T03:41:07Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 3927 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]