The vector-sized package

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

Please see README.md


[Skip to Readme]

Properties

Versions 0.1.0.0, 0.2.0.0, 0.3.0.0, 0.3.2.0, 0.3.3.0, 0.4.0.0, 0.4.0.1, 0.4.1.0, 0.5.0.0, 0.5.1.0, 0.6.1.0
Change log changelog.md
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
Maintainer whats.our.vector.victor@monoid.al
Category Data
Home page http://github.com/expipiplus1/vector-sized#readme
Source repository head: git clone https://github.com/expipiplus1/vector-sized
Uploaded Fri Aug 4 08:52:30 UTC 2017 by jophish
Distributions LTSHaskell:0.5.1.0, NixOS:0.6.1.0, Stackage:0.6.1.0, Tumbleweed:0.5.1.0
Downloads 648 total (25 in the last 30 days)
Rating 2.25 (votes: 2) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for vector-sized-0.6.1.0

[back to package description]

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