The tagged-list package
This package contains a datatype, TaggedList, that provides a fixed-length list tagged with a phantom type-level natural number that corresponds to the length of the list. It also contains some basic operations on these lists, as well as a typeclass for converting tagged lists to and from tuples.
Properties
| Versions | 1.0, 1.1 |
|---|---|
| Dependencies | AbortT-transformers (1.0.*), base (≥3 & <5), binary (0.5.*), natural-number (1.0.*), type-level-natural-number (≥1.0 & <1.2), type-level-natural-number-induction (1.0.*), type-level-natural-number-operations (1.0.*) |
| License | BSD3 |
| Author | Gregory Crosswhite |
| Maintainer | Gregory Crosswhite <gcross@phys.washington.edu> |
| Stability | Provisional |
| Category | Data |
| Upload date | Thu Oct 14 01:41:21 UTC 2010 |
| Uploaded by | GregoryCrosswhite |
| Built on | ghc-6.12 |
| Build failure | ghc-7.0 (log) |
Modules
- Data
- List
Downloads
- tagged-list-1.0.tar.gz (Cabal source package)
- package description (included in the package)