sized: Sized sequence data-types
A wrapper to make length-parametrized data-type from functorial data-types.
Downloads
- sized-1.0.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
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'.
Versions [RSS] | 0.1.0.0, 0.2.0.0, 0.2.1.0, 0.2.1.1, 0.3.0.0, 0.3.0.1, 0.4.0.0, 0.5.0.0, 0.6.0.0, 0.7.0.0, 0.8.0.0, 0.9.0.0, 1.0.0.0 (info) |
---|---|
Dependencies | base (>=4 && <5), constraints, containers (>=0.5), deepseq (>=1.4), equational-reasoning (>=0.5), ghc-typelits-knownnat, ghc-typelits-presburger (>=0.5), hashable (>=1.2), lens (>=0.14), mono-traversable (>=0.10), subcategories, these, type-natural (>=1.0), vector (>=0.12) [details] |
License | BSD-3-Clause |
Author | Hiromi ISHII |
Maintainer | konn.jinro_at_gmail.com |
Revised | Revision 3 made by HiromiIshii at 2021-01-17T17:13:08Z |
Category | Data |
Source repo | head: git clone git://github.com/konn/sized.git |
Uploaded | by HiromiIshii at 2021-01-17T16:52:06Z |
Distributions | LTSHaskell:1.0.0.0, NixOS:1.0.0.0, Stackage:1.0.0.0 |
Downloads | 4721 total (45 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2021-01-17 [all 1 reports] |