The reflection package

[ Tags: bsd3, data, dependent-types, library, reflection ] [ Propose Tags ]

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 modified to use Rank2Types and TypeFamilies and the implementation has been streamlined to improve performance.

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

Changes in 0.9:

Changes in 0.8:

Changes in 0.7:

Changes in 0.6:

Changes in 0.5:

Changes in 0.4:


[Skip to Readme]

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.4 && <5), tagged (>=0.2.3 && <0.3) [details]
License BSD3
Copyright 2009-2012 Edward A. Kmett, 2012 Elliott Hird, 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://github.com/ekmett/reflection
Source repository head: git clone git://github.com/ekmett/reflection.git
Uploaded Sat Apr 7 08:04:08 UTC 2012 by EdwardKmett
Updated Sun Jan 3 09:21:16 UTC 2016 by HerbertValerioRiedel to revision 1
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 134397 total (5330 in the last 30 days)
Rating 2.25 (2 ratings) [clear rating]
  • λ
  • λ
  • λ
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


Readme for reflection-0.9

[back to package description]
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.