@hackage tagged-list1.1
Lists tagged with a type-level natural number representing their length.
Categories
License
BSD-3-Clause
Maintainer
Gregory Crosswhite <gcrosswhite@gmail.com>
Links
Versions
Installation
Dependencies (8)
- AbortT-transformers >=1.0 && <1.1
- base >=3 && <5
- binary >=0.5 && <0.6
- natural-number >=1.0 && <1.1
- type-equality >=0.1 && <0.2
- type-level-natural-number >=1.0 && <1.2 Show all…
Dependents (1)
@hackage/acme-everything
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.*