parameterized-data-0.1.6: Parameterized data library implementing lightweight dependent types

Copyright(c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group
LicenseBSD-style (see the file LICENSE)
Maintaineralfonso.acosta@gmail.com
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell98

Data.Param

Description

This module is a wrapper for all the publicly usable types and functions of the parameterized-data library.

Documentation