@hackage parameterized-data0.1.6

Parameterized data library implementing lightweight dependent types

Categories
License
BSD-3-Clause
Maintainer
Hosein Attarzadeh (shan2@kth.se)
Links
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:
Tested Compilers
- 7.10.3
Dependencies (3)
- base >=4 && <6
- template-haskell >2.0
- type-level >=0.3.0
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. A tutorial on how to use them can be found at https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#FSVec

@hackage parameterized-data0.1.6

Categories

License

Maintainer

Links

Versions

Installation

Tested Compilers

Dependencies (3)

Dependents (3)