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

Portabilitynon-portable
Stabilityexperimental
Maintaineralfonso.acosta@gmail.com

Data.Param

Description

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

Documentation