The reflection package

[Tags: bsd3, library]

This package provides an implementation of the ideas presented in the paper "Functional Pearl: Implicit Configurations" by Oleg Kiselyov and Chung-chieh Shan. However, the API has been streamlined to improve performance.

The original paper can be obtained from http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf.

Changes in 1.1.5:

Changes from 0.5 to 1.1:

Changes in 0.5:

Changes in 0.4:


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 (>=2 && <5), tagged (>=0.2.3 && <0.5)
LicenseBSD3
Copyright2009-2012 Edward A. Kmett, 2012 Elliott Hird, 2004 Oleg Kiselyov and Chung-chieh Shan
AuthorEdward A. Kmett, Elliott Hird, Oleg Kiselyov and Chung-chieh Shan
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityexperimental
CategoryData, Reflection, Dependent Types
Home pagehttp://github.com/ekmett/reflection
Bug trackerhttp://github.com/ekmett/reflection/issues
Source repositoryhead: git clone git://github.com/ekmett/reflection.git
Upload dateFri May 11 21:55:35 UTC 2012
Uploaded byEdwardKmett
DistributionsDebian:1.2.0.1, Fedora:1.4, FreeBSD:1.3.2, NixOS:1.5.1
Downloads57057 total (6406 in last 30 days)

Modules

[Index]

Flags

NameDescriptionDefault
slowDisabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees