Vec: Fixed-length lists and low-dimensional linear algebra.

[ bsd3, data, library, math ] [ Propose Tags ]

Vectors are represented by lists with type-encoded lengths. The constructor is :., which acts like a cons both at the value and type levels, with () taking the place of nil. So x:.y:.z:.() is a 3d vector. The library provides a set of common list-like functions (map, fold, etc) for working with vectors. Built up from these functions are a small but useful set of linear algebra operations: matrix multiplication, determinants, solving linear systems, inverting matrices.

Versions 0.9.0, 0.9.1, 0.9.2, 0.9.3, 0.9.4, 0.9.5, 0.9.6, 0.9.7, 0.9.8, 0.9.9, 1.0, 1.0.1, 1.0.5
Dependencies base, QuickCheck (<2) [details]
License BSD-3-Clause
Author Scott E. Dillard
Maintainer Scott E. Dillard <>
Category Data, Math
Uploaded by ScottDillard at Wed Nov 5 19:11:38 UTC 2008
Distributions NixOS:1.0.5
Downloads 6526 total (36 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 2017-01-02 [all 9 reports]
Hackage Matrix CI


  • Data
    • Data.Vec
      • Data.Vec.Base
      • Data.Vec.LinAlg
      • Data.Vec.Nat
      • Data.Vec.Packed


Maintainer's Corner

For package maintainers and hackage trustees