sized-types: Sized types in Haskell using the GHC Nat kind.

[ bsd3, language, library ] [ Propose Tags ]
Versions 0.1,,,, 0.5.0, 0.5.1
Change log
Dependencies array (>=0.4), base (>=4.6 && <5), base‑compat (>=0.8.1 && <1), containers (==0.5.*), singletons (>=0.10 && <2.3), sized‑types (==0.5.1) [details]
License BSD-3-Clause
Copyright (c) 2009-2013 The University of Kansas
Author Andy Gill
Maintainer Andy Gill <>
Revised Revision 3 made by ryanglscott at Sun Jun 19 15:32:45 UTC 2016
Category Language
Home page
Source repo head: git clone
Uploaded by ryanglscott at Tue May 19 17:09:05 UTC 2015
Distributions NixOS:0.5.1
Executables sized-types-example1
Downloads 2613 total (19 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-05-23 [all 1 reports]
Hackage Matrix CI

Providing matrixes, sparse matrixes, and signed and unsigned bit vectors, using GHC Nat kind.

[Skip to Readme]





Enable full development tree


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees

Readme for sized-types-0.5.1

[back to package description]

sized-types Hackage version Build Status

To build development version, and run tests use

% cabal configure -fall
% cabal build

To run tests, do

% make runtests

The reference outputs are in /ref, and the outputs from the current run are in /run.