The latest version of reflection is 2.1.8-0.
reflection
Version 1.5.1 revision 0 uploaded by EdwardKmett.
Package meta
- Synopsis
- Reifies arbitrary terms into types that can be reflected back into terms
- Description
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.
For a summary of the approach taken by this library, along with more motivating examples, see Austin Seipp's tutorial at https://www.fpcomplete.com/user/thoughtpolice/using-reflection.
- Author
- Edward A. Kmett, Elliott Hird, Oleg Kiselyov and Chung-chieh Shan
- Bug reports
- http://github.com/ekmett/reflection/issues
- Category
- Data, Reflection, Dependent Types
- Copyright
- 2009-2013 Edward A. Kmett, 2012 Elliott Hird, 2004 Oleg Kiselyov and Chung-chieh Shan
- Homepage
- http://github.com/ekmett/reflection
- Maintainer
- Edward A. Kmett <ekmett@gmail.com>
- Package URL
- n/a
- Stability
- experimental