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 from 0.5 to 1.1:

Changes in 0.5:

Changes in 0.4:


[Skip to ReadMe]

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, 1.5.1.1, 1.5.1.2, 1.5.2, 1.5.2.1, 2
Change logNone available
Dependenciesbase (==4.*), tagged (>=0.2.3 && <0.3) [details]
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
Source repositoryhead: git clone git://github.com/ekmett/reflection.git
UploadedSat Apr 7 11:32:44 UTC 2012 by EdwardKmett
DistributionsDebian:2, Fedora:1.5.1, FreeBSD:2, LTSHaskell:2, NixOS:2, Stackage:2
Downloads92157 total (1447 in last 30 days)
Votes
1 []
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Flags

NameDescriptionDefaultType
slowDisabledAutomatic

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

Readme for reflection-1.1

reflection
==========

This package provides an implementation of the ideas presented in the paper

  Oleg Kiselyov and Chung-Chieh Shan, "Functional Pearl: Implicit Configurations"
  <http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf>

However, the API has been modified to use Rank2Types and TypeFamilies and the
implementation has been streamlined to improve performance.