vector-sized

Size tagged vectors http://github.com/expipiplus1/vector-sized#readme

Version on this page:0.5.1.0
LTS Haskell 8.2:0.5.1.0
Stackage Nightly 2017-02-20:0.5.1.0
Latest on Hackage:0.5.1.0
BSD3 licensed by Joe Hermaszewski
Maintained by whats.our.vector.victor@monoid.al

Module documentation for 0.5.1.0

Vector Sized

This package exports a newtype tagging the vectors from the vector package with a type level natural representing their size.

It also exports a few functions from vector appropriately retyped.

This package is fairly similar to the fixed-vector package. The difference is that fixed-vector uses Peano naturals to represent the size tag on the vectors and this package uses typelits.

The initial code for this package was written by @bgamari in a PR for vulkan

Changes

Change Log

[0.5.1.0] - 2017-02-01

  • Loosen upper bound on vector

[0.5.0.0] - 2017-01-04

  • Use Finite from finite-typelits for indexing.

[0.4.1.0] - 2016-11-24

  • Add withSized and withSizedList

[0.4.0.1] - 2016-11-12

  • Raise lower bound on base to 4.9

[0.4.0.0] - 2016-11-01

  • Correct type signature on index'

[0.3.3.0] - 2016-08-10

  • Add instances for Data, Typeable and Generic

[0.3.2.0] - 2016-03-29

  • Add overlapping Monoid instance for zero length vectors

[0.3.1.0] - 2016-03-29

  • Add Monoid instance

[0.3.0.0] - 2016-03-22

  • Export all of the available functionality from Data.Vector.Generic.
  • Add Storable
  • Add Unboxed

[0.2.0.0] - 2016-02-29

  • Tighter bounds on base to avoid compiling with GHC < 7.10.

[0.1.0.0] - 2016-02-28

  • Initial release.
Used by 2 packages:
comments powered byDisqus