The latest version of tagged-list is 1.1-0.
tagged-list
Version 1.0 revision 0 uploaded by GregoryCrosswhite.
Package meta
- Synopsis
- Lists tagged with a type-level natural number representing their length.
- Description
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.
- Author
- Gregory Crosswhite
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- Gregory Crosswhite <gcross@phys.washington.edu>
- Package URL
- n/a
- Stability
- Provisional