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

Versions 0.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, 2.1, 2.1.1, 2.1.1.1, 2.1.2
Dependencies base (==4.*), tagged (>=0.2.2 && <0.3) [details]
License BSD3
Copyright 2009 Edward A. Kmett, 2004 Oleg Kiselyov and Chung-chieh Shan
Author Edward A. Kmett, Oleg Kiselyov and Chung-chieh Shan
Maintainer Edward A. Kmett <ekmett@gmail.com>
Category Data, Reflection, Dependent Types
Home page http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf
Uploaded Tue Jun 28 20:10:30 UTC 2011 by EdwardKmett
Distributions Arch:2.1.2, Debian:2.1.1.1, Fedora:2.1.2, FreeBSD:2, LTSHaskell:2.1.2, NixOS:2.1.2, Stackage:2.1.2, Tumbleweed:2.1.2
Downloads 116751 total (6136 in the last 30 days)
Votes
1 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees