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.
New in version 1.1: added function castTag, improved error reporting in fromList, and fixed compiler error with GHC 7.0.*
Properties
| Versions | 1.0, 1.1 |
|---|---|
| Dependencies | AbortT-transformers (1.0.*), base (≥3 & <5), binary (0.5.*), natural-number (1.0.*), type-equality (0.1.*), 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 <gcrosswhite@gmail.com> |
| Stability | Provisional |
| Category | Data |
| Source repository | git clone git://github.com/gcross/tagged-list.git |
| Upload date | Fri Oct 21 02:28:58 UTC 2011 |
| Uploaded by | GregoryCrosswhite |
| Built on | ghc-7.2 |
Modules
- Data
- List
Downloads
- tagged-list-1.1.tar.gz (Cabal source package)
- package description (included in the package)