The vector-sized package

[Tags:bsd3, library]

Please see

[Skip to Readme]


Change log
Dependencies base (>=4.9 && <5), deepseq (>=1.1 && <1.5), finite-typelits (>=0.1), vector (>=0.11 && <0.13) [details]
License BSD3
Copyright 2016 Joe Hermaszewski
Author Joe Hermaszewski
Category Data
Home page
Source repository head: git clone
Uploaded Wed Feb 1 13:11:49 UTC 2017 by jophish
Distributions LTSHaskell:, NixOS:, Stackage:, Tumbleweed:
Downloads 496 total (29 in the last 30 days)
2 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for vector-sized

Readme for vector-sized-

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