The reflection package

[Tags: bsd3, library]

Implementation of the ideas presented in the paper Functional Pearl: Implicit Configurations by Oleg Kiselyov and Chung-chieh Shan. Modified to avoid the use of scoped type variables, and to use a phantom type wrapper rather than dummy arguments.


Properties

Versions0.0.0, 0.1.0, 0.1.1, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.5, 0.4.0, 0.4.0.1, 0.4.0.2, 0.4.1, 0.4.1.1, 0.5, 0.5.0.1, 0.6, 0.7, 0.8, 0.9, 1.0, 1.1, 1.1.1, 1.1.2, 1.1.3, 1.1.4, 1.1.5, 1.1.5.1, 1.1.6, 1.1.7, 1.2.0.1, 1.3, 1.3.1, 1.3.2, 1.4, 1.5.1
Dependenciesbase (==4.*)
LicenseBSD3
Copyright2009 Edward A. Kmett, 2004 Oleg Kiselyov and Chung-chieh Shan
AuthorEdward A. Kmett, Oleg Kiselyov and Chung-chieh Shan
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityexperimental
CategoryData, Reflection, Dependent Types
Home pagehttp://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
UploadedSat Aug 15 08:01:54 UTC 2009 by EdwardKmett
DistributionsDebian:1.2.0.1, Fedora:1.4, FreeBSD:1.3.2, NixOS:1.5.1, Stackage:1.5.1
Downloads82960 total (3300 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees