hmatrix-vector-sized v0.1.3.0 Release Notes

Release Date: 2020-02-11 // almost 3 years ago
  • February 11, 2020


    • Added "generic" versions of vector conversions, to cover the common use cases involving conversion to and from non-storable vectors. This includes:

      • grVec
      • gvecR
      • gcVec
      • gvecC
      • glVec
      • gvecL
      • gmVec
      • gvecM

      Rewrite rules are included so that you can use these with storable vectors without any cost, but don't rely on those.

    • ๐Ÿ“š Added big-O analysis to documentation for all functions.

Previous changes from v0.1.2.0

  • August 17, 2019


    • ๐Ÿ›  Fixed bugs that would occur if ever converting anything that contained an hmatrix vector or matrix that was created using konst. This does change the API slightly in a potentially breaking way, as some functions now require KnownNat constraints.