@hackage parameterized-data0.1.2

Parameterized data library implementing lightweight dependent types

Categories
License
BSD-3-Clause
Maintainer
alfonso.acosta@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.1.6 Fri, 8 Jul 2016
- 0.1.5 Fri, 25 Jun 2010
- 0.1.4 Mon, 11 Jan 2010
- 0.1.3 Sat, 27 Sep 2008
- 0.1.2 Mon, 4 Aug 2008
- 0.1 Thu, 28 Feb 2008

Installation
In your cabal file:
Dependencies (3)
- base
- template-haskell >2.0
- type-level
Dependents (3)
@hackage/ForSyDe, @hackage/acme-everything, @hackage/forsyde-deep

This library provides an implementation of parameterized types using type-level computations to implement the type parameters and emulate dependent types. Right now only fixed-sized vectors are provided.

@hackage parameterized-data0.1.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (3)

Dependents (3)